2006 · 82 citations · 19 references
ComputingComputer ScienceSystems EngineeringSoftware EngineeringSystems ArchitectureSystems ModelingModel TransformationModel-driven DevelopmentModel-driven Software EngineeringSoftware DesignSoftware ModelingUse Case ModelingModel Comparison CriteriaModel-driven EngineeringMulti-criteria ComparisonScenario ModelingScenario SynthesisScenario-based ModelingState Machine ModelsState Models
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize state-based models from scenario-based models. However, little work has been done to comprehensively compare these different synthesis approaches. In this paper, we define a set of comparison criteria, and survey 21 different synthesis approaches presented in the literature based on the criteria. The differences and similarities are highlighted in the comparison results. We then discuss the challenges that current approaches may face and provide suggestions for future work for state-based model syntheses.
19
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
LSCs: Breathing Life into Message Sequence Charts
Werner Damm, David Harel · Formal Methods in System Design · 2001 · 822 citations
Specification and Description Language (SDL)
Itu-T · Medical Entomology and Zoology · 1999 · 655 citations
Generating statechart designs from scenarios
Jon Whittle, Johann Schumann · 2000 · 360 citations