{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:28:38Z","timestamp":1761323318059},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,2,1]],"date-time":"2005-02-01T00:00:00Z","timestamp":1107216000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,2]]},"DOI":"10.1007\/s10270-004-0067-9","type":"journal-article","created":{"date-parts":[[2004,11,9]],"date-time":"2004-11-09T10:04:34Z","timestamp":1099994674000},"page":"71-93","source":"Crossref","is-referenced-by-count":31,"title":["From scenarios to code: An air traffic control case study"],"prefix":"10.1007","volume":"4","author":[{"given":"Jon","family":"Whittle","sequence":"first","affiliation":[]},{"given":"Richard","family":"Kwan","sequence":"additional","affiliation":[]},{"given":"Jyoti","family":"Saboo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,2,1]]},"reference":[{"key":"67_CRalurImplied","doi-asserted-by":"crossref","unstructured":"Alur R, Etessami K, Yannakakis M (2003) Inference of Message Sequence Charts. IEEE Transactions on Software Engineering 29(7), July","DOI":"10.1109\/TSE.2003.1214326"},{"key":"67_CRubet","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-61042-1_37"},{"key":"67_CRbiermann-krishnaswamy","doi-asserted-by":"crossref","unstructured":"Biermann A, Krishnaswamy R (1976) Constructing programs from example computations. IEEE Transactions on Software Engineering SE-2(3):141\u2013153","DOI":"10.1109\/TSE.1976.233812"},{"key":"67_CRstatemachineimppatterns","unstructured":"Bordeleau F, Corriveau J (2002) On the need for state machine implementation design patterns. In: Syst\u00e4 T (ed) Proceedings of the ICSE2002 Workshop on Scenarios amd state machines: models, algorithms, and tools"},{"key":"67_CRlscs","doi-asserted-by":"crossref","unstructured":"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\u2013312","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"67_CRctas","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.2514\/6.1997-3832"},{"key":"67_CRglinz","doi-asserted-by":"crossref","unstructured":"Glinz M (1995) An integrated formal model of scenarios based on statecharts. In: 5th European Software Engineering Conference (ESEC), Sitges, Spain, pp 254\u2013271","DOI":"10.1007\/3-540-60406-5_19"},{"key":"67_CRharel-statecharts","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: A visual formalism for complex systems. Science of Computer Programming 8:231\u2013274","journal-title":"Science of Computer Programming"},{"key":"67_CRharel-kugler","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-44674-5_1"},{"key":"67_CRKhriss98","doi-asserted-by":"crossref","unstructured":"Khriss I, Elkoutbi M, Keller R (1999) Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In: B\u00e9zivin J, Muller P (eds) UML98: Beyond the Notation, Lecture Notes in Computer Science, vol 1618. Springer-Verlag, pp 132\u2013147","DOI":"10.1007\/978-3-540-48480-6_11"},{"key":"67_CRklocwork","unstructured":"Klockwork SDL Synthesizer (2004) Klockwork, Ottawa, Canada. http:\/\/www.klocwork.com"},{"key":"67_CRkruger-thesis","unstructured":"Kr\u00fcger I (2000) Distributed System Design with Message Sequence Charts. PhD thesis, Technical University of Munich"},{"key":"67_CRmsc-to-room","doi-asserted-by":"crossref","unstructured":"Leue S, Mehrmann L, Rezai M (1998) Synthesizing software architecture descriptions from Message Sequence Chart specifications. In: Automated Software Engineering. Honolulu, Hawaii, pp 192\u2013195","DOI":"10.1109\/ASE.1998.732635"},{"key":"67_CRmas-icse","unstructured":"Makinen E, Syst\u00e4 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\u201324"},{"key":"67_CRSCED","unstructured":"M\u00e4nnist\u00f6 T, Syst\u00e4 T, Tuomi J (1994) SCED report and user manual. Report A-1994-5, Dept of Computer Science, University of Tampere"},{"key":"67_CRmsc-spec","unstructured":"Message sequence chart (MSC) (2004) ITU-T Recommendation Z.120 (previously CCITT Recommendation), Formal description techniques"},{"key":"67_CRuml","unstructured":"The Object Management Group (2001) Unified Modeling Language specification version 1.4, September. Available from http:\/\/www.omg.org"},{"key":"67_CRuml2","unstructured":"The Object Management Group (2004) Unified Modeling Language specification version 2.0, January. Available from http:\/\/www.omg.org"},{"key":"67_CRroseRT","unstructured":"Rational Rose RealTime (2004) IBM Corporation, White Plains, NY"},{"key":"67_CRscenarios-oopsla00","doi-asserted-by":"crossref","unstructured":"In: Syst\u00e4 T (ed) (2000) Proceedings of the OOPSLA2000 Workshop on Scenario-based Round Trip Engineering","DOI":"10.1145\/505776.505782"},{"key":"67_CRscenarios-icse02","first-page":"Models","volume":"Machines","author":"In","year":"2002","unstructured":"In: Syst\u00e4 T (ed) (2002) Proceedings of the ICSE2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools","journal-title":"Proceedings of the ICSE2002 Workshop on Scenarios and State"},{"key":"67_CRscenarios-icse03","first-page":"Models","volume":"Machines","author":"In","year":"2003","unstructured":"In: Uchitel S, Whittle J, Z\u00fcndorf A, Kr\u00fcger I (eds) (2003) Proceedings of the ICSE2003 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools","journal-title":"Proceedings of the ICSE2003 Workshop on Scenarios and State"},{"key":"67_CRschumann-debug","unstructured":"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"},{"key":"67_CRsome-dssouli95","doi-asserted-by":"crossref","unstructured":"Som\u00e9 S, Dssouli R (1995) From scenarios to timed automata: building specifications from users requirements. In: Asia Pacific Software Engineering Conference, pp 48\u201357","DOI":"10.1109\/APSEC.1995.496953"},{"key":"67_CRmas","first-page":"18","volume":"13","author":"Syst","year":"2000","unstructured":"Syst\u00e4 T (2000) Incremental construction of dynamic models for object oriented software systems. Journal of Object Oriented Programming 13(5):18\u201327","journal-title":"Journal of Object Oriented Programming"},{"key":"67_CRuchitel-icse","unstructured":"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"},{"key":"67_CRuchitel","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/503209.503220"},{"key":"67_CRlamsweerde-scenarios","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"van","year":"1998","unstructured":"van Lamsweerde A, Willemet L (1998) Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering 24(12):1089\u20131114","journal-title":"IEEE Transactions on Software Engineering"},{"key":"67_CRocl-book","first-page":"Precise","volume":"Language","author":"Warmer","year":"1999","unstructured":"Warmer J, Kleppe A (1999) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Series. Addison-Wesley","journal-title":"The Object Constraint"},{"key":"67_CRweidenhaupt","first-page":"Current","volume":"development","author":"Weidenhaupt","year":"1998","unstructured":"Weidenhaupt K, Pohl K, Jarke M, Haumer P (1998) Scenarios in system development: Current practice. IEEE Software, pp 34\u201345, March\/April 1998","journal-title":"Scenarios in system"},{"key":"67_CRicse03","doi-asserted-by":"crossref","unstructured":"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\u2013497","DOI":"10.1109\/ICSE.2003.1201227"},{"key":"67_CRWS2000","doi-asserted-by":"crossref","unstructured":"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\u2013323, June 2000","DOI":"10.1145\/337180.337217"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0067-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-004-0067-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0067-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T23:01:40Z","timestamp":1585954900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-004-0067-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,2]]}},"alternative-id":["67"],"URL":"https:\/\/doi.org\/10.1007\/s10270-004-0067-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2]]}}}