Skip to main content
SpringerLink
Log in

From scenarios to code: An air traffic control case study

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

There has been much recent interest in synthesis algorithms that generate finite state machines from scenarios of intended system behavior. One of the uses of such algorithms is in the transition from requirements scenarios to design. Despite much theoretical work on the nature of these algorithms, there has been very little work on applying the algorithms to practical applications. In this paper, we apply the Whittle & Schumann synthesis algorithm [32] to a component of an air traffic advisory system under development at NASA Ames Research Center. We not only apply the algorithm to generate state machine designs from scenarios but also show how to generate code from the generated state machines using existing commercial code generation tools. The results demonstrate the possibility of generating application code directly from scenarios of system behavior.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alur R, Etessami K, Yannakakis M (2003) Inference of Message Sequence Charts. IEEE Transactions on Software Engineering 29(7), July

  2. Alur R, Holzmann GJ, Peled D (1996) An Analyzer for Message Sequence Charts. In: Proceedings of TACAS96, Lecture Notes in Computer Science, vol 1055. Springer Verlag

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

    Google Scholar 

  4. Bordeleau F, Corriveau J (2002) On the need for state machine implementation design patterns. In: Systä T (ed) Proceedings of the ICSE2002 Workshop on Scenarios amd state machines: models, algorithms, and tools

  5. Damm W, Harel D (1999) LSCs : Breathing life into message sequence charts. In: 3rd International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS99). Kluwer, pp 293–312

  6. Denery D, Erzberger H, Davis T, Green S, McNally B (1997) Challenges of air traffic management research: Analysis, simulation and field test. In: AIAA Guidance, Navigation and Control Conference

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

  8. Harel D (1987) Statecharts: A visual formalism for complex systems. Science of Computer Programming 8:231–274

    Article  MathSciNet  Google Scholar 

  9. Harel D, Kugler H (2000) Synthesizing state-based object systems from LSC specifications. In: Fifth International Conference on Implementation and Application of Automata (CIAA2000), Lecture Notes in Computer Science, vol 2088. Springer-Verlag

  10. Khriss I, Elkoutbi M, Keller R (1999) Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In: Bézivin J, Muller P (eds) UML98: Beyond the Notation, Lecture Notes in Computer Science, vol 1618. Springer-Verlag, pp 132–147

  11. Klockwork SDL Synthesizer (2004) Klockwork, Ottawa, Canada. http://www.klocwork.com

  12. Krüger I (2000) Distributed System Design with Message Sequence Charts. PhD thesis, Technical University of Munich

  13. Leue S, Mehrmann L, Rezai M (1998) Synthesizing software architecture descriptions from Message Sequence Chart specifications. In: Automated Software Engineering. Honolulu, Hawaii, pp 192–195

  14. Makinen E, Systä T (2001) MAS: An interactive synthesizer to support behavioral modeling in UML. In: Proceedings of the International Conference on Software Engineering (ICSE01). IEEE Computer Society, pp 15–24

  15. Männistö T, Systä T, Tuomi J (1994) SCED report and user manual. Report A-1994-5, Dept of Computer Science, University of Tampere

  16. Message sequence chart (MSC) (2004) ITU-T Recommendation Z.120 (previously CCITT Recommendation), Formal description techniques

  17. The Object Management Group (2001) Unified Modeling Language specification version 1.4, September. Available from http://www.omg.org

  18. The Object Management Group (2004) Unified Modeling Language specification version 2.0, January. Available from http://www.omg.org

  19. Rational Rose RealTime (2004) IBM Corporation, White Plains, NY

  20. In: Systä T (ed) (2000) Proceedings of the OOPSLA2000 Workshop on Scenario-based Round Trip Engineering

  21. In: Systä T (ed) (2002) Proceedings of the ICSE2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools

    Google Scholar 

  22. In: Uchitel S, Whittle J, Zündorf A, Krüger I (eds) (2003) Proceedings of the ICSE2003 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools

    Google Scholar 

  23. Schumann J (2000) Automatic debugging support for UML designs. In: Ducasse M (ed) Proceedings of the 4th International Workshop on Automated Debugging (AADEBUG), Munich, Germany

  24. Somé S, Dssouli R (1995) From scenarios to timed automata: building specifications from users requirements. In: Asia Pacific Software Engineering Conference, pp 48–57

  25. Systä T (2000) Incremental construction of dynamic models for object oriented software systems. Journal of Object Oriented Programming 13(5):18–27

    Google Scholar 

  26. Uchitel S, Kramer J (2001) A workbench for synthesizing behavior models from scenarios. In: Proceedings of the 23rd IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada

  27. Uchitel S, Kramer J, Magee J (2001) Detecting implied scenarios in message sequence chart specifications. In: Proceedings of the 9th European Software Engineering Conference (ESEC01), Vienna, Austria

  28. van Lamsweerde A, Willemet L (1998) Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering 24(12):1089–1114

    Article  Google Scholar 

  29. Warmer J, Kleppe A (1999) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Series. Addison-Wesley

    Google Scholar 

  30. Weidenhaupt K, Pohl K, Jarke M, Haumer P (1998) Scenarios in system development: Current practice. IEEE Software, pp 34–45, March/April 1998

    Google Scholar 

  31. Whittle J, Saboo J, Kwan R (2003) From scenarios to code: An air traffic control case study. In: Proceedings of the 25th International Conference on Software Engineering (ICSE2003), pp 490–497

  32. Whittle J, Schumann J (2000) Generating Statechart Designs From Scenarios. In: Proceedings of the International Conference on Software Engineering (ICSE 2000). Limerick, Ireland, pp 314–323, June 2000

Download references

Author information

Authors and Affiliations

  1. QSS Group Inc./NASA Ames Research Center, Moffett Field, CA, 94035, USA

    Jon Whittle & Jyoti Saboo

  2. Aerospace Computing Inc./NASA Ames Research Center, Moffett Field, CA, 94035, USA

    Richard Kwan

Authors
  1. Jon Whittle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Kwan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jyoti Saboo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jon Whittle.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Whittle, J., Kwan, R. & Saboo, J. From scenarios to code: An air traffic control case study. Softw Syst Model 4, 71–93 (2005). https://doi.org/10.1007/s10270-004-0067-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-004-0067-9

Keywords

Search

Navigation