Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
On the development of reactive systems
Logics and models of concurrent systems
Object-oriented software engineering
Object-oriented software engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Object-oriented modeling and design
Object-oriented modeling and design
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Synthesizing State-Based Object Systems from LSC Specifications
Synthesizing State-Based Object Systems from LSC Specifications
Structured Analysis and System Specification
Structured Analysis and System Specification
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
UML for real
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Specifying and executing requirements: the play-in/play-out approach
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Modeling biological systems: a unified approach
ACM SIGSOFT Software Engineering Notes
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Enhancing problem frames with scenarios and histories: a preliminary study
Proceedings of the 2006 international workshop on Advances and applications of problem frames
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Code from Scenario and State Based Models to Address Crosscutting Concerns
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
GUIDE: Games with UML for interactive design exploration
Knowledge-Based Systems
Mining modal scenarios from execution traces
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Mining modal scenario-based specifications from execution traces of reactive systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
Translating Message Sequence Charts to other Process Languages Using Process Mining
Transactions on Petri Nets and Other Models of Concurrency I
Specification mining of symbolic scenario-based models
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Modeling biological reactivity: statecharts vs. Boolean logic
Proceedings of the Working Conference on Advanced Visual Interfaces
GUIDE: Games with UML for Interactive Design Exploration
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Mining Scenario-Based Triggers and Effects
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Object composition in scenario-based programming
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Scenario-based and value-based specification mining: better together
Proceedings of the IEEE/ACM international conference on Automated software engineering
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Scenario-Based interactive intention understanding in pen-based user interfaces
ACII'05 Proceedings of the First international conference on Affective Computing and Intelligent Interaction
The complexity of live sequence charts
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Lightweight formal methods for scenario-based software engineering
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Communications of the ACM
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
Counter play-out: executing unrealizable scenario-based specifications
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 4.12 |
The author describes a scheme for developing complex reactive systems. The scheme makes it possible to go from a user-friendly requirements capture method, called play-in scenarios, via a rich language for describing message sequencing to full behavioral descriptions of system parts, and from there to final implementation. The author's proposal combines ideas that have been known for a long time with more recent ones. Central to the proposal is a cyclic process of verifying the system against requirements and synthesizing system parts from the requirements. The article focuses on the languages, methods, and computerized tools that allow smooth but rigorous transitions between the scheme's various stages. In contrast to database systems, this article concentrates on systems that have a dominant reactive, event-driven facet for which modeling and analyzing behavior is the most crucial and problematic issue.