Academic
Publications
From Play-In Scenarios To Code: An Achievable Dream

From Play-In Scenarios To Code: An Achievable Dream,10.1007/3-540-46428-X_3,David Harel

From Play-In Scenarios To Code: An Achievable Dream   (Citations: 94)
BibTex | RIS | RefWorks Download
We discuss the possibility of a complete system development scheme, supported by semantically rigorous automated tools, within which one can go from an extremely high-level, user-friendly requirement capture method, which we call play-in scenarios, to a final implementation. A cyclic process consisting of verification against requirements and synthesis from requirements plays an important part in the scheme, which is not quite as imaginary as it may sound.
Conference: Description Logics - DLog , pp. 9-34, 2000
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Finding ways to construct executable systems based on inter-object, scenariobased specifications, appears to be an interesting challenge [4]...

    David Harelet al. On the Power of Play-Out for Scenario-Based Programs

    • ...Such a semantical precision is critical to upgrading the LSCs from a formal specification tool to an achievable dream of becoming a scenario-based programming language [9], since mandatory behaviors exactly tell what to expect at system runtime...
    • ...This is closely aligned with the original objective of LSCs to become a scenario-based programming language [9], where the PLAY-tree can potentially serve as an automated simulation and debugging tool for running LSCs...

    Hai-feng Guoet al. Consistency Checking for LSC Specifications

    • ...formal specification tool to an achievable dream of becoming a scenario-based programming language [10], since mandatory behaviors exactly tell what to expect at system runtime...
    • ...This is closely aligned with the original objective of LSCs to become a scenario-based programming language [10], where the PLAY-tree can potentially serve as an automated simulation and debugging tool for running LSCs...

    Hai-feng Guoet al. L2C2: logic-based LSC consistency checking

    • ...Scenarios, depicted using variants of sequence diagrams, are popular means for specifying the inter-object behavior of reactive systems (see, e.g, [8,12,18,20]), are included in the UML standard [19], and are supported by many modeling tools...

    Yoram Atiret al. Object Composition in Scenario-Based Programming

    • ...For example, high-level MSCs are being used [16, 27, 28] or there are \precharts", \state conditions" or similar concepts to explicitly relate MSCs [11, 20, 21]...
    • ...Harel et al. [11, 20, 21] have worked on the notion of Live Sequence Charts (LSCs)...

    Kristian Bisgaard Lassenet al. Translating Message Sequence Charts to other Process Languages Using P...

Sort by: