More Web Proxy on the site http://driver.im/

Article

Free access

Generating statechart designs from scenarios

Authors:

Johann SchumannAuthors Info & Claims

ICSE '00: Proceedings of the 22nd international conference on Software engineering

Pages 314 - 323

https://doi.org/10.1145/337180.337217

Published: 01 June 2000 Publication History

Abstract

This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements and design is important for a successful application of UML's highly iterative, distributed software development process. There are three main issues which must be addressed when generating statecharts from sequence diagrams. Firstly, conflicts arising from the merging of independently developed sequence diagrams must be detected and resolved. Secondly, different sequence diagrams often contain identical or similar behaviors. For a true interleaving of the sequence diagrams, these behaviors must be recognized and merged. Finally, generated statecharts usually are only an approximation of the system and thus must be hand-modified and refined by designers. As such, the generated artifact should be highly structured and readable. In terms of statecharts, this corresponds to the introduction of hierarchy. Our algorithm successfully tackles all three of these aspects and will be illustrated in this paper with a well-known ATM example.

References

[1]

A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.

Digital Library

[2]

Argo/UML. University of California, Irvine, 1999. http://www.ics.uci.edu/pub/arch/uml/index.html.

[3]

A. Biermann and R. Krishnaswamy. Constructing programs from example computations. IEEE Transactions on Software Engineering, SE- 2(3):141{153, 1976.

[4]

T. Gehrke and T. Firley. Generative sequence diagrams with textual annotations. In Formale Beschreibungstechniken f. ur verteilte Systeme (FBT99), pages 65{72, 1999.

[5]

M. Glinz. An integrated formal model of scenarios based on statecharts. In 5th European Software Engineering Conference (ESEC), pages 254{271, Sitges, Spain, 1995.

Digital Library

[6]

D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231{274, 1987.

Digital Library

[7]

D. Harel, A. Pnueli, J. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proc. 2nd LICS, pages 54{64. Springer, 1987.

[8]

C. Heitmeyer, R. Jeords, and B. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231{261, 1996.

Digital Library

[9]

I. Horrocks. Constructing the User Interface with Statecharts. Addison-Wesley, 1999.

Digital Library

[10]

I. Khriss, M. Elkoutbi, and R. Keller. Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In UML98: Beyond the Notation, pages 132{147. Springer, 1999.

Digital Library

[11]

K. Kimbler. Feature Interactions in Telecommunications and Software Systems V. IOS Press, 1998.

Digital Library

[12]

S. Leue, L. Mehrmann, and M. Rezai. Synthesizing software architecture descriptions from Message Sequence Chart specifications. In Automated Software Engineering, pages 192{195, Honolulu, Hawaii, 1998.

Digital Library

[13]

T. M.annist. o, T. Syst. a, and J. Tuomi. SCED report and user manual. Report A-1994-5, Dept of Computer Science, University ofTampere, 1994.

[14]

Rational Rose. Rational Software Corporation, Cupertino, CA, 1999.

[15]

Rhapsody. I-Logix Inc., Andover, MA, 1999.

[16]

S. Some andR. Dssouli. From scenarios to timed automata: building specifications from users requirements. In Asia Pacic Software Engineering Conference, pages 48{57, 1995.

Digital Library

[17]

Unified Modeling Language Speci cation, Version 1.3, 1999. Available from Rational Software Corporation, Cupertino, CA.

[18]

A. van Lamsweerde. Inferring declarative requirements specications from operational scenarios. IEEE Transactions on Software Engineering, 24(12):1089{1114, 1998.

Digital Library

[19]

K. Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer. Scenarios in system development: Current practice. IEEE Software, pages 34{45, 1998.

Digital Library

Cited By

Jiang XLi HHou Y(2023)Research on the transformation from the activity diagram to the sequence diagram considering the element mappingInternational Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023)10.1117/12.3011517(44)Online publication date: 7-Dec-2023
https://doi.org/10.1117/12.3011517
Zameni Tvan Den Bos PTretmans JFoederer JRensink A(2023)From BDD Scenarios to Test Case Generation2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW58534.2023.00019(36-44)Online publication date: Apr-2023
https://doi.org/10.1109/ICSTW58534.2023.00019
Iyer PMasoumzadeh A(2022)Learning Relationship-Based Access Control Policies from Black-Box SystemsACM Transactions on Privacy and Security10.1145/351712125:3(1-36)Online publication date: 19-May-2022
https://dl.acm.org/doi/10.1145/3517121
Show More Cited By

Index Terms

Generating statechart designs from scenarios
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

UML Statechart Diagrams on the ADONIS Metamodeling Platform

The metamodeling platform ADONIS has originally been implemented for the use in business process management. Its method independency and extensive customization functionalities also allow for the application in many different other areas such as ...
Software performance models from system scenarios

The earliest definition of a software system may be in the form of Use Cases, which may be elaborated as scenarios. In this work, performance models are created from scenarios, to permit the earliest possible analysis of potential performance issues. ...
Consistency of UML class, object and statechart diagrams using ontology reasoners

We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '00: Proceedings of the 22nd international conference on Software engineering

June 2000

843 pages

ISBN:1581132069

DOI:10.1145/337180

Chairmen:
Carlo Ghezzi
Politecnico di Milano, Milau, Italy
,
Mehdi Jazayeri
Technical Univ. of Vienna, Vienna, Austria
,
Alexander L. Wolf
Univ. of Colorado, Boulder, USA

Copyright © 2000 ACM.

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

Irish Comp Soc: Irish Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE00

Sponsor:

Irish Comp Soc
SIGSOFT
IEEE-CS

ICSE00: 22nd International Conference on Software Engineering

June 4 - 11, 2000

Limerick, Ireland

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

261
Total Citations
View Citations
1,725
Total Downloads

Downloads (Last 12 months)148
Downloads (Last 6 weeks)34

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jiang XLi HHou Y(2023)Research on the transformation from the activity diagram to the sequence diagram considering the element mappingInternational Conference on Algorithms, High Performance Computing, and Artificial Intelligence (AHPCAI 2023)10.1117/12.3011517(44)Online publication date: 7-Dec-2023
https://doi.org/10.1117/12.3011517
Zameni Tvan Den Bos PTretmans JFoederer JRensink A(2023)From BDD Scenarios to Test Case Generation2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW58534.2023.00019(36-44)Online publication date: Apr-2023
https://doi.org/10.1109/ICSTW58534.2023.00019
Iyer PMasoumzadeh A(2022)Learning Relationship-Based Access Control Policies from Black-Box SystemsACM Transactions on Privacy and Security10.1145/351712125:3(1-36)Online publication date: 19-May-2022
https://dl.acm.org/doi/10.1145/3517121
Dixit ADeval VDwivedi VNorta ADraheim D(2022)Towards user-centered and legally relevant smart-contract development: A systematic literature reviewJournal of Industrial Information Integration10.1016/j.jii.2021.10031426(100314)Online publication date: Mar-2022
https://doi.org/10.1016/j.jii.2021.100314
Mashkoor AEgyed A(2021)Evaluating the alignment of sequence diagrams with system behaviorProcedia Computer Science10.1016/j.procs.2021.01.267180(502-506)Online publication date: 2021
https://doi.org/10.1016/j.procs.2021.01.267
Wiecher CGreenyer JWolff CAnacker HDumitrescu R(2021)Iterative and Scenario-Based Requirements Specification in a System of Systems ContextRequirements Engineering: Foundation for Software Quality10.1007/978-3-030-73128-1_12(165-181)Online publication date: 12-Apr-2021
https://dl.acm.org/doi/10.1007/978-3-030-73128-1_12
Koo BBae JKim SPark KKim H(2020)Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded SystemsElectronics10.3390/electronics90507979:5(797)Online publication date: 12-May-2020
https://doi.org/10.3390/electronics9050797
Kahani NBagherzadeh MCordy JSyriani ESahraoui H(2020)Synthesis of state machine modelsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410936(274-284)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410936
Jahan MAbad ZFar B(2020)Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)10.1109/MoDRE51215.2020.00010(31-38)Online publication date: Aug-2020
https://doi.org/10.1109/MoDRE51215.2020.00010
Romashchenko AZimand M(2019)An Operational Characterization of Mutual Information in Algorithmic Information TheoryJournal of the ACM10.1145/335686766:5(1-42)Online publication date: 19-Sep-2019
https://dl.acm.org/doi/10.1145/3356867
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents