Synthesizing State-Based Object Systems from LSC Specifications

@article{Harel2002SynthesizingSO,
  title={Synthesizing State-Based Object Systems from LSC Specifications},
  author={David Harel and Hillel Kugler},
  journal={Int. J. Found. Comput. Sci.},
  year={2002},
  volume={13},
  pages={5-51}
}

• David Harel, Hillel Kugler
• Published 2002 in Int. J. Found. Comput. Sci.
• DOI:10.1142/S0129054102000935

Live sequence charts (LSCs) have been defined recently as an extension of message sequence charts (MSCs; or their UML variant, sequence diagrams) for rich inter-object specification. One of the main additions is the notion of universal charts and hot, mandatory behavior, which, among other things, enables one to specify forbidden scenarios. LSCs are thus essentially as expressive as statecharts. This paper deals with synthesis, which is the problem of deciding, given an LSC specification, if… CONTINUE READING

Save to Library

Create Alert

Cite

View via Publisher