Playing with Time: On the Specification and Execution of Time-Enriched LSCs

Authors:
D. Harel;R. Marelly
Affiliations:
-;-
Venue:
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Year:
2002

Citing 0
Cited 27

Multiple instances and symbolic variables in executable sequence charts

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Smart Play-out of Behavioral Requirements

FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Formal Modeling of C. elegans Development: A Scenario-Based Approach

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Message sequence charts

UML for real
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
CESC: a visual formalism for specification and verification of SoCs

Proceedings of the 14th ACM Great Lakes symposium on VLSI
Visual Timed Event Scenarios

Proceedings of the 26th International Conference on Software Engineering
Smart Play-Out Extended: Time and Forbidden Elements

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties

IEEE Transactions on Software Engineering
Nobody's perfect: interactive synthesis from parametrized real-time scenarios

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
From multi-modal scenarios to code: compiling LSCs into aspectJ

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming

IEEE Transactions on Software Engineering
Graphical scenarios for specifying temporal properties: an automated approach

Automated Software Engineering
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
An evaluation of timed scenario notations

Journal of Systems and Software
Timed Property Sequence Chart

Journal of Systems and Software
Joint structural and temporal property specification using timed story scenario diagrams

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Testing scenario-based models

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
A real-time profile for UML and how to adapt it to SDL

SDL'03 Proceedings of the 11th international conference on System design
Some results on the expressive power and complexity of LSCs

Pillars of computer science
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ

ACM Transactions on Software Engineering and Methodology (TOSEM)
On tracing reactive systems

Software and Systems Modeling (SoSyM)
Pattern synthesis from multiple scenarios for parameterized real-time UML models

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Synthesis from scenario-based specifications

Journal of Computer and System Sciences
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend live sequence charts (LSCs), a highly expressivevariant of sequence diagrams, with timing constructs, thus makingthe language suitable for specifying the behavioral requirementsof time-intensive systems. We follow Alur and Henzingerin basing the extension on a single clock object. We have implementedthe extension in full in our play-engine tool, whichprovides user-friendly ways to play in the timing constraints, togetherwith a powerful mechanism that can execute, or play out,the time-enriched requirements directly, without the need for anintra-object system model. It seems that in addition to many advantagesin testing and requirements engineering, for some kindsof systems this could lead to the requirements actually serving asthe final implementation.