skip to main content
10.1145/1138953.1138956acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

A comparative survey of scenario-based to state-based model synthesis approaches

Published: 27 May 2006 Publication History

Abstract

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.

References

[1]
D. Amyot and A. Eberlein. An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems, 24(1):61--94, 2003.]]
[2]
A. W. Biermann and R. Krishnaswamy. Constructing programs from example computations. IEEE Transactions on Software Engineering, 2(3):141--153, 1976.]]
[3]
Y. Bontemps and P. Heymans. As fast as sound (lightweight formal scenario synthesis and verification). In 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM '04), Edinburgh, UK, 2004.]]
[4]
F. Bordeleau, J.-P. Corriveau, and B. Selic. A scenario-based approach to hierarchical state machine design. In 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '00), Newport Beach, California, USA, March 2000.]]
[5]
W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In Formal Methods in System Design 19, 1, pages 45--80, 2001.]]
[6]
B. Dano, H. Briand, and F. Barbier. An approach based on the concept of use case to produce dynamic object-oriented specifications. In Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE '97), pages 54--64, 1997.]]
[7]
I. Diethelm, L. Geiger, T. Maier, and A. Zündorf. Turning collaboration diagram strips into storycharts. In Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM '02), Orlando, Florida, USA, 2002.]]
[8]
M. Elkoutbi and R. K. Keller. User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. In 21st International Conference on Application and Theory of Petri Nets (ICATPN '00), pages 166--186, 2000.]]
[9]
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, June 1987.]]
[10]
D. Harel and H. Kugler. Synthesizing State-Based Object Systems from LSC Specifications. In 5th International Conference on Implementation and Application of Automata(CIAA '00), pages 1--33, London, UK, 2001. Springer-Verlag.]]
[11]
D. Harel, H. Kugler, and A. Pnueli. Synthesis revisited: Generating statechart models from scenario-based requirements. Formal Methods in Software and System Modeling, Lecture Notes in Computer Science, 3393:309--324, 2005.]]
[12]
D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2003.]]
[13]
ITU. ITU-T Recommendation Z.100: Specification and Description Language (SDL), 2000.]]
[14]
ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC), 2000.]]
[15]
I. Jacobson and P. Ng. Aspect-Oriented Software Development with Use Cases. Addison Wesley Professional, 1st edition, Dec 2004.]]
[16]
I. Khriss, M. Elkoutbi, and R. K. Keller. Automatic synthesis of behavioral object specifications from scenarios. Transactions of Society for Design and Process Science (SDPS), 5(3):53--77, September 2001.]]
[17]
L. Kloul and J. Küster-Filipe. From Interaction Overview Diagrams to PEPA nets. In 4th Workshop on Process Algebras and Timed Activities (PASTA'05), Edinburgh, 2005.]]
[18]
K. Koskimies and E. Mäkinen. Automatic synthesis of state machines from trace diagrams. Softw. Pract. Exper., 24(7):643--658, 1994.]]
[19]
I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to statecharts. In IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems(DIPES '98), pages 61--71, Norwell, MA, USA, 1999. Kluwer Academic Publishers.]]
[20]
S. Leue, L. Mehrmann, and M. Rezai. Synthesizing room models from message sequence chart specifications. Technical report, Dept. of Electrical and Computer Engineering,University of Waterloo, Waterloo, Ontario, Canada, 1998.]]
[21]
T. Maier and A. Zündorf. The Fujaba Statechart Synthesis Approach. In Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM '03), Portland, Oregon, USA, May 2003.]]
[22]
E. Mäkinen and T. Systä. MAS: an interactive synthesizer to support behavioral modelling in UML. In 23rd International Conference on Software Engineering (ICSE '01), pages 15--24, Washington, DC, USA, 2001. IEEE Computer Society.]]
[23]
N. Mansurov and D. Zhukov. Automatic synthesis of SDL models in use case methodology. In Ninth SDL Forum (SDL'99), Montr'eal, Canada, 1999.]]
[24]
H. Muccini. Detecting implied scenarios analyzing non-local branching choices. In Fundamental Approaches to Software Engineering, pages 372--386, 2003.]]
[25]
H. Nicolás and C. Martínez. Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. In SDL Forum, pages 339--359, 2005.]]
[26]
OMG. Unified Modeling Language. Online, http://www.omg.org, 2005.]]
[27]
W. Reisig. Petri Nets, An Introduction. Springer Verlag, Berlin, 1985.]]
[28]
M. Sgroi, A. Kondratyev, Y. Watanabe, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of Petri Nets from Message Sequence Charts Specifications for Protocol Design. In Design, Analysis and Simulation of Distributed Systems Symposium (DASD '04), Washington DC, USA, April 2004.]]
[29]
S. Somé, R. Dssouli, and J. Vaucher. From scenarios to timed automata: Building specifications from users requirements. In Second Asia Pacific Software Engineering Conference (APSEC '95), page 48, Washington, DC, USA, 1995. IEEE Computer Society.]]
[30]
S. Uchitel and M. Chechik. Merging partial behavioural models. In SIGSOFT FSE, pages 43--52, 2004.]]
[31]
S. Uchitel and J. Kramer. A workbench for synthesising behaviour models from scenarios. In 23rd IEEE International Conference on Software Engineering (ICSE '01), May 2001.]]
[32]
S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In 8th European Software Engineering Conference/9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-9), pages 74--82, New York, NY, USA, 2001. ACM Press.]]
[33]
S. Uchitel, J. Kramer, and J. Magee. Negative scenarios for implied scenario elicitation. SIGSOFT Softw. Eng. Notes, 27(6):109--118, 2002.]]
[34]
J. Whittle, R. Kwan, and J. Saboo. From scenarios to code: An air traffic control case study. Software and System Modeling, 4(1):71--93, 2005.]]
[35]
J. Whittle and J. Schumann. Generating statechart designs from scenarios. In 22nd International Conference on Software Engineering (ICSE '00), pages 314--323, New York, NY, USA, 2000. ACM Press.]]
[36]
T. Ziadi, L. Hélouët, and J. Jézéquel. Revisiting statechart synthesis with an algebraic approach. In 26th International Conference on Software Engineering (ICSE '04), pages 242--251, Washington, DC, USA, 2004. IEEE Computer Society.]]

Cited By

View all
  • (2021)Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive SystemsIEEE Design & Test10.1109/MDAT.2020.300680538:5(35-47)Online publication date: Oct-2021
  • (2020)Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded SystemsElectronics10.3390/electronics90507979:5(797)Online publication date: 12-May-2020
  • (2018)Realizability of Choreography Given by Two ScenariosIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.E101.A.345E101.A:2(345-356)Online publication date: 2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
May 2006
93 pages
ISBN:1595933948
DOI:10.1145/1138953
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. MSC
  2. SDL
  3. UML
  4. model
  5. petri nets
  6. scenario
  7. state machines
  8. synthesis

Qualifiers

  • Article

Conference

ICSE06
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)17
  • Downloads (Last 6 weeks)5
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2021)Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive SystemsIEEE Design & Test10.1109/MDAT.2020.300680538:5(35-47)Online publication date: Oct-2021
  • (2020)Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded SystemsElectronics10.3390/electronics90507979:5(797)Online publication date: 12-May-2020
  • (2018)Realizability of Choreography Given by Two ScenariosIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.E101.A.345E101.A:2(345-356)Online publication date: 2018
  • (2018)Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee SpecificationsProcedia Manufacturing10.1016/j.promfg.2018.06.04624(153-158)Online publication date: 2018
  • (2018)Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations10.1007/978-3-319-74730-9_23(247-262)Online publication date: 23-Jan-2018
  • (2017)Synthesizing state machines from two scenarios and a case study on business process management2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)10.1109/SMC.2017.8122874(1782-1786)Online publication date: Oct-2017
  • (2017)Timed runtime monitoring for multiparty conversationsFormal Aspects of Computing10.1007/s00165-017-0420-829:5(877-910)Online publication date: 1-Sep-2017
  • (2016)Choreography Realization by Re-Constructible Decomposition of Acyclic RelationsIEICE Transactions on Information and Systems10.1587/transinf.2015FOP0001E99.D:6(1420-1427)Online publication date: 2016
  • (2016)On the synthesis of protocol state machines from contractsProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976783(76-85)Online publication date: 2-Oct-2016
  • (2016)Smart home environment — Agent-based models with scenarios implementation support2016 Global Information Infrastructure and Networking Symposium (GIIS)10.1109/GIIS.2016.7814949(1-5)Online publication date: Oct-2016
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media