From play-in scenarios to code: an achievable dream
- 1 January 2001
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 34 (5) , 53-60
- https://doi.org/10.1109/2.895118
Abstract
The article presents a general, rather sweeping development scheme for complex reactive systems, combining ideas that have been known for a long time with more recent ones. The scheme makes it possible to go from a high-level user-friendly requirements capture method, which is called play-in scenarios, via a rich language for describing message sequencing to a full model of the system, and from there to final implementation. A cyclic process of verifying the system against requirements and synthesizing system parts from the requirements is central to the proposal. The article puts special emphasis on the languages, methods, and computerized tools that allow smooth but rigorous transitions between the various stages of the scheme. In contrast to database systems, the article focuses on systems that have a dominant reactive, event-driven facet. For these systems, modeling and analyzing behavior is the most crucial and problematic issue.Keywords
This publication has 12 references indexed in Scilit:
- Specification and verification of system-level hardware designs using time diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Nature ,1999
- Executable object modeling with statechartsComputer, 1997
- Verification of Sequential and Concurrent ProgramsPublished by Springer Nature ,1997
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- On the synthesis of a reactive modulePublished by Association for Computing Machinery (ACM) ,1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976