Tools

"... While message sequence charts (MSCs) are widely used in industry to document the interworking of processes or objects, they are expressively weak, being based on the modest semantic notion of a partial ordering of events as defined, e.g., in the ITU standard. A highly expressive and rigorously defin ..."

While message sequence charts (MSCs) are widely used in industry to document the interworking of processes or objects, they are expressively weak, being based on the modest semantic notion of a partial ordering of events as defined, e.g., in the ITU standard. A highly expressive and rigorously

"... Using the Cybernetix case study, we display how LSCs can be used to analyze a production line systematically. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play-in/play-out methodology. 1 ..."

Using the Cybernetix case study, we display how LSCs can be used to analyze a production line systematically. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play-in/play-out methodology. 1

by
David Harel, Rami Marelly
- In Proc. 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS’02), Fort, 2002

"... We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, with timing constructs, thus making the language suitable for specifying the behavioral requirements of time-intensive systems. We follow Alur and Henzinger in basing the extension on a single clock object. We h ..."

We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, with timing constructs, thus making the language suitable for specifying the behavioral requirements of time-intensive systems. We follow Alur and Henzinger in basing the extension on a single clock object. We

"... Abstract. This paper presents how a model-based development process can be enhanced by the combination of using Live Sequence Charts (LSC) as the formal language to describe interactions together with automatic formal verification techniques that decide whether communication sequences are exhibitabl ..."

Abstract. This paper presents how amodel-based development process can be enhanced by the combination of using Live Sequence Charts (LSC) as the formal language to describe interactions together with automatic formal verification techniques that decide whether communication sequences

"... brief description and the page number reference for this documentation file. This file contains headings corresponding to each use case followed by each uLSC within the use case together with an explanation of the behaviors it specifies. Within the explanations, we use the convention “LSC name (use ..."

case name) ” when referring to LSCs. The existential LSCs (eLSCs) are provided in a separate Supplementary Material document (Model Documentation: existential LSCs). These are organized in use cases in the model according to the data table they represent. 23 Core Behaviors This use case contains LSCs

"... programming The scenario-based approach to programming is adapted for use in tactical simulators, in which highly structured interentity scenarios are used for practicing and assessing decision making. The adapted approach, using the LSC language, enables end-users to capture scenario specification ..."

programming The scenario-based approach to programming is adapted for use in tactical simulators, in which highly structured interentity scenarios are used for practicing and assessing decision making. The adapted approach, using the LSC language, enables end-users to capture scenario specification

"... We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a trace-based semantics and an operational semantics. The expressive power of the language is then examined by describing transla ..."

We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a trace-based semantics and an operational semantics. The expressive power of the language is then examined by describing

"... We display how LSCs can be used to analyze a production line systematically and synthesize a scheduler from the model. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play-in/play-out methodol ..."

We display how LSCs can be used to analyze a production line systematically and synthesize a scheduler from the model. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play

"... We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification, in order to construct a new way of executing systems based on the latter. Specifically, we transform multimodal scenario-based specifications, given in the ..."

in the translation. The transformation/compilation scheme is fully implemented in a UML2-compliant tool we term the S2A compiler (for Scenarios to Aspects), which provides full code generation of reactive behavior from inter-object multimodal scenarios. S2A supports advanced scenario-based programming features

"... We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification, in order to construct a new way of executing systems based on the latter. Specifically, we transform multimodal scenario-based specifications, given in the ..."

in the translation. The transformation/compilation scheme is fully implemented in a UML2-compliant tool we term the S2A compiler (for Scenarios to Aspects), which provides full code generation of reactive behavior from inter-object multimodal scenarios. S2A supports advanced scenario-based programming features