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}
}
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
Highly Influential
This paper has highly influenced 25 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 337 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 157 extracted citations

Resolving race conditions in asynchronous partial order scenarios

IEEE Transactions on Software Engineering • 2005
View 6 Excerpts
Highly Influenced

Resolving uncertainty in automotive feature interactions

2012 20th IEEE International Requirements Engineering Conference (RE) • 2012
View 4 Excerpts
Highly Influenced

A New Mathematical Approach for Synthesis of State Based Models from Scenario Based Models

2009 Second International Conference on Computer and Electrical Engineering • 2009
View 7 Excerpts
Method Support
Highly Influenced

Characterizing Communication Channel Deadlocks in Sequence Diagrams

IEEE Transactions on Software Engineering • 2008
View 5 Excerpts
Highly Influenced

Lazy buffer semantics for partial order scenarios

Automated Software Engineering • 2007
View 4 Excerpts
Highly Influenced

From live sequence charts to state machines and back: a guided tour

IEEE Transactions on Software Engineering • 2005
View 6 Excerpts
Highly Influenced

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

Formal Methods in Software and Systems Modeling • 2005
View 7 Excerpts
Method Support
Highly Influenced

338 Citations

0102030'00'04'09'14'19
Citations per Year
Semantic Scholar estimates that this publication has 338 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 30 references

Breathing Life into Message Sequence Charts", Formal Methods in System Design

W. Damm, D. Harel, LSCs
(Early version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems, • 2001
View 18 Excerpts
Highly Influenced

Reactive Systems are Hard to Synthesize

A. Pnueli, R. Rosner, Distributed
Proc. 31st IEEE Symp. on Foundations of Computer Science, • 1990
View 5 Excerpts
Highly Influenced

Constructing Programs from Example Computations

IEEE Transactions on Software Engineering • 1976
View 4 Excerpts
Highly Influenced

Executable Object Modeling with Statecharts

ICSE • 1996
View 4 Excerpts
Highly Influenced

Automata Representation of Live Sequence Charts", Proc. Tools and Algorithms for the Construction and Analysis of Systems

J. Klose, H. Wittke
2001
View 1 Excerpt