{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:24:10Z","timestamp":1778300650522,"version":"3.51.4"},"reference-count":112,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Telecommunication Systems"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1023\/a:1025890110119","type":"journal-article","created":{"date-parts":[[2003,10,24]],"date-time":"2003-10-24T15:29:37Z","timestamp":1067009377000},"page":"61-94","source":"Crossref","is-referenced-by-count":41,"title":["An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development"],"prefix":"10.1007","volume":"24","author":[{"given":"Daniel","family":"Amyot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Eberlein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5142175_CR1","volume-title":"SDL'99, Proc. of the 9th SDL Forum, Montr\u00e9al, Canada","author":"M.M. Abdalla","year":"1999","unstructured":"M.M. Abdalla, F. Khendek and G. Butler, New results on deriving SDL specifications from MSCs, in: SDL'99, Proc. of the 9th SDL Forum, Montr\u00e9al, Canada (Elsevier, Amsterdam, 1999)."},{"key":"5142175_CR2","first-page":"45","volume-title":"Fifth Internat. Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'98), Lund, Sweden, September 1998","author":"A. Aho","year":"1998","unstructured":"A. Aho, S. Gallagher, N. Griffeth, C. Scheel and D. Swayne, Sculptor with chisel: Requirements engineering for communications services, in: Fifth Internat. Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'98), Lund, Sweden, September 1998, eds. K. Kimbler and L.G. Bouma (IOS Press, Amsterdam, 1998) pp. 45-63. http:\/\/www-db.research. bell-labs.com\/user\/nancyg\/sculptor.ps."},{"key":"5142175_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill, A theory of timed automata, Theorerical Computer Science 126 (1994) 183-235.","journal-title":"Theorerical Computer Science"},{"key":"5142175_CR4","first-page":"304","volume-title":"22th Internat. Conf. on Software Engineering (ICSE 2000), Limerick, Ireland","author":"R. Alur","year":"2000","unstructured":"R. Alur, K. Etessami and M. Yannakakis, Inference of message sequence charts, in: 22th Internat. Conf. on Software Engineering (ICSE 2000), Limerick, Ireland (ACM, New York, 2000) pp. 304-313."},{"issue":"2","key":"5142175_CR5","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"R. Alur, G. Holzmann and D. Peled, An analyzer for message sequence charts, Software Concepts and Tools 17(2) (1996) 70-77; http:\/\/cm.bell-labs.com\/cm\/cs\/what\/ubet\/ papers\/aAfMSCs.ps.gz.","journal-title":"Software Concepts and Tools"},{"key":"5142175_CR6","volume-title":"Specification and validation of telecommunications systems with use case maps and LOTOS","author":"D. Amyot","year":"2001","unstructured":"D. Amyot, Specification and validation of telecommunications systems with use case maps and LOTOS, Ph.D. thesis, SITE, University of Ottawa, Canada (2001); http:\/\/www. Use-CaseMaps.org\/pub\/da_phd.pdf."},{"key":"5142175_CR7","unstructured":"D. Amyot, R. Andrade, L. Logrippo, J. Sincennes and Z. Yi, Formal methods for mobility standards, in: IEEE 1999 Emerging Technology Symposium on Wireless Communications and Systems, Richardson, TX, USA, April 1999; http:\/\/www.UseCaseMaps.org\/pub\/ets99.pdf."},{"key":"5142175_CR8","doi-asserted-by":"crossref","unstructured":"D. Amyot, R.J.A. Buhr, T. Gray and L. Logrippo, Use case maps for the capture and validation of distributed systems requirements, in: RE'99, 4th IEEE Internat. Symposium on Requirements Engineering, Limerick, Ireland, June 1999, pp. 44-53; http:\/\/www.UseCaseMaps. org\/pub\/re99.pdf.","DOI":"10.1109\/ISRE.1999.777984"},{"issue":"12","key":"5142175_CR9","first-page":"1135","volume":"23","author":"D. Amyot","year":"2000","unstructured":"D. Amyot and L. Logrippo, Use case maps and lotos for the prototyping and validation of a mobile group call system, LOTOS 23(12) (2000) 1135-1157; http:\/\/ www.UseCaseMaps. org\/pub\/cc99.pdf.","journal-title":"LOTOS"},{"key":"5142175_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-40011-7_2","volume-title":"\"UML\" 2000, 3rd Internat. Conf. on the Unified Modeling Language, York, UK, October 2000","author":"D. Amyot","year":"2000","unstructured":"D. Amyot and G. Mussbacher, On the extension of UML with use case maps concepts, in: \"UML\" 2000, 3rd Internat. Conf. on the Unified Modeling Language, York, UK, October 2000, Lecture Notes in Computer Science, Vol. 1939 (Springer, New York, 2000) pp. 16-31; http:\/\/ www.UseCaseMaps.org\/pub\/uml2000.pdf."},{"key":"5142175_CR11","unstructured":"D. Amyot and G. Mussbacher, URN: Towards a new standard for the visual description of requirements, in: 3rd SDL and MSC Workshop (SAM'02), Aberystwyth, UK, June 2002; http:\/\/ www.UseCaseMaps.org\/pub\/sam02-URN.pdf."},{"key":"5142175_CR12","volume-title":"Formalizing use cases with message sequence charts","author":"M. Andersson","year":"1995","unstructured":"M. Andersson and J. Bergstrand, Formalizing use cases with message sequence charts, Master thesis, Department of Communication Systems, Lund Institute of Technology, Sweden, May 1995; http:\/\/www.efd.lth.se\/?d87man\/EXJOBB\/Title_Abstract_Preface.html."},{"issue":"6","key":"5142175_CR13","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1109\/32.508312","volume":"22","author":"M.A. Ardis","year":"1996","unstructured":"M.A. Ardis, J.A. Chaves, L.J. Jagadeesan, P. Mataga, C. Puchol, M.G. Staskauskas and J.V. Olnhausen, A framework for evaluating specification methods for reactive systems-experience report, IEEE Transactions on Software Engineering 22(6) (1996) 378-389.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5142175_CR14","series-title":"Aachener Informatik Berichte (AIB)","volume-title":"Survey on the scenario use in twelve selected industrial projects, Technical Report","author":"M. Arnold","year":"1998","unstructured":"M. Arnold, M. Erdmann, M. Glinz, P. Haumer, R. Knoll, B. Paech, K. Pohl, J. Ryser, R. Studer and K. Weidenhaupt, Survey on the scenario use in twelve selected industrial projects, Technical Report, Aachener Informatik Berichte (AIB), No. 98-7, RWTH Aachen, Fachgruppe Informatik, Germany (1998)."},{"key":"5142175_CR15","series-title":"Technical Report","volume-title":"MESA: Support for scenario-based design of concurrent systems","author":"H. Ben-Abdallah","year":"1997","unstructured":"H. Ben-Abdallah and S. Leue, MESA: Support for scenario-based design of concurrent systems, Technical Report 97-12, Department of Electrical and Computer Engineering, University of Waterloo, Canada (October 1997); http:\/\/tele.informatik.uni-freiburg.de\/ Mesa\/index.html."},{"key":"5142175_CR16","doi-asserted-by":"crossref","unstructured":"C. Ben Achour, C. Rolland, N.A.M. Maiden and C. Souveyet, Guiding use case authoring: Results of an empirical study, in: RE'99, 4th IEEE Internat. Symposium on Requirements Engineering, Limerick, Ireland, June 1999, pp. 36-43.","DOI":"10.1109\/ISRE.1999.777983"},{"key":"5142175_CR17","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/B978-0-444-81594-1.50013-1","volume-title":"Information System Development Process","author":"K.M. Benner","year":"1993","unstructured":"K.M. Benner, M.S. Feather, W.L. Johnson and L.A. Zorman, Utilizing scenarios in the software development process, in: Information System Development Process (Elsevier Science\/North-Holland, Amsterdam, 1993) pp. 117-134."},{"key":"5142175_CR18","volume-title":"A use case driven validation framework and case study","author":"A. Boni Bangari","year":"1997","unstructured":"A. Boni Bangari, A use case driven validation framework and case study, M.Sc. thesis, SITE, University of Ottawa, Ottawa, Canada (1997)."},{"key":"5142175_CR19","unstructured":"Y. Bontemps and P. Heymans, Turning high-level live sequence charts into automata, in: Scenarios and State Machines: Models, Algorithms, and Tools, ICSE 2002 Workshop, Orlando, USA (2002)."},{"key":"5142175_CR20","volume-title":"A systematic and traceable progression from scenario models to communicating hierarchical finite state machines","author":"F. Bordeleau","year":"1999","unstructured":"F. Bordeleau, A systematic and traceable progression from scenario models to communicating hierarchical finite state machines, Ph.D. thesis, School of Computer Science, Carleton University, Ottawa, Canada (1999); http:\/\/www.UseCaseMaps.org\/pub\/fb_phdthesis.pdf."},{"key":"5142175_CR21","unstructured":"F. Bordeleau and R.J.A. Buhr, The UCM-ROOM design method: From use case maps to communicating state machines, in: Conf. on the Engineering of Computer-Based Systems, Monterey, USA, March 1997; http:\/\/www.UseCaseMaps.org\/pub\/UCM-ROOM.pdf."},{"issue":"12","key":"5142175_CR22","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"R.J.A. Buhr","year":"1998","unstructured":"R.J.A. Buhr, Use case maps as architectural entities for complex systems, Special Issue on Scenario Management of IEEE Transactions on Software Engineering 24(12) (1998) 1131-1155; http:\/\/www.UseCaseMaps.org\/pub\/tse98final.pdf.","journal-title":"Special Issue on Scenario Management of IEEE Transactions on Software Engineering"},{"key":"5142175_CR23","doi-asserted-by":"crossref","unstructured":"P. Chandrasekaran, How use case modeling policies have affected the success of various projects (or how to improve use case modeling), in: Addendum to the 1997 ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'97), 1997, pp. 6-9.","DOI":"10.1145\/274567.274569"},{"issue":"2","key":"5142175_CR24","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1093\/comjnl\/45.2.162","volume":"45","author":"X.J. Chen","year":"2002","unstructured":"X.J. Chen and H. Ural, Construction of deadlock-free designs of communication protocols from observations, Computer Journal 45(2) (2002) 162-173.","journal-title":"Computer Journal"},{"key":"5142175_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-functional Requirements in Software Engineering","author":"L. Chung","year":"2000","unstructured":"L. Chung, B.A. Nixon, E. Yu and J. Mylopoulos, Non-functional Requirements in Software Engineering (Kluwer Academic, Dordrecht, 2000)."},{"issue":"5","key":"5142175_CR26","first-page":"56","volume":"10","author":"A. Cockburn","year":"1997","unstructured":"A. Cockburn, Structuring use cases with goals, Journal of Object-Oriented Programming (JOOP\/ ROAD) 10(5) (1997) 56-62; http:\/\/members.aol.com\/acockburn\/papers\/usecases.htm.","journal-title":"Journal of Object-Oriented Programming (JOOP\/ ROAD)"},{"key":"5142175_CR27","doi-asserted-by":"crossref","unstructured":"W. Damm and D. Harel, LCSs: Breathing life into message sequence charts, Formal Methods in System Design 19(1) (2001).","DOI":"10.1023\/A:1011227529550"},{"issue":"2","key":"5142175_CR28","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1011279932612","volume":"19","author":"K. Damm","year":"2001","unstructured":"K. Damm and J. Klose, Verification of a radio-based signalling system using the STATEMATE verification environment, Formal Methods in System Design 19(2) (2001) 121-141.","journal-title":"Formal Methods in System Design"},{"key":"5142175_CR29","doi-asserted-by":"crossref","unstructured":"B. Dano, H. Briand and F. Barbier, A use case driven requirements engineering process, in: RE'97, 3rd IEEE Internat. Symposium on Requirements Engineering, Annapolis, USA (1997).","DOI":"10.1007\/BF02813027"},{"key":"5142175_CR30","unstructured":"Data networks and telecommunication software, ITU-T Study Group 17, Geneva (2002)."},{"key":"5142175_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-63531-9_22","volume-title":"ESEC'97, 6th European Engineering Conference","author":"J. Desharnais","year":"1997","unstructured":"J. Desharnais, M. Frappier, R. Kh\u00e9dri and A. Mili, Integration of sequential scenarios, in: ESEC'97, 6th European Engineering Conference, Lecture Notes in Computer Science, Vol. 1301 (Springer, New York, 1997) pp. 310-326."},{"key":"5142175_CR32","series-title":"Research Report","volume-title":"The Albert II reference manual: Language constructs and informal semantics","author":"P. Du Bois","year":"1997","unstructured":"P. Du Bois, The Albert II reference manual: Language constructs and informal semantics, Research Report RR-97-002, Computer Science Department, University of Namur, Belgium (July 1997); ftp:\/\/ftp.info.fundp.ac.be\/publications\/RR\/RR-97-002.ps.Z."},{"key":"5142175_CR33","volume-title":"SDL'99, Proc. of the 9th SDL Forum, Montr\u00e9al, Canada","author":"W. Dulz","year":"1999","unstructured":"W. Dulz, S. Gruhl, L. Lambert and M. S\u00f6llner, Early performance prediction of SDL\/MSC specified systems by automated synthetic code generation, in: SDL'99, Proc. of the 9th SDL Forum, Montr\u00e9al, Canada (Elsevier, Amsterdam, 1999)."},{"key":"5142175_CR34","volume-title":"Requirements acquisition and specification for telecommunication services","author":"A. Eberlein","year":"1997","unstructured":"A. Eberlein, Requirements acquisition and specification for telecommunication services, Ph.D. thesis, University of Wales, Swansea, UK (1997); http:\/\/www.enel.ucalgary.ca\/People\/ eberlein\/publications\/thesis.zip."},{"key":"5142175_CR35","unstructured":"A. Egyed, T. Syst\u00e4, S. Uchitel and A. Z\u00fcndorf, A summary of the ICSE 2002 workshop on scenarios and state machines: Models, algorithms, and tools, ACM Software Engineering Notes 27(5) (2002)."},{"key":"5142175_CR36","doi-asserted-by":"crossref","unstructured":"M. Elkoutbi, I. Khriss and R.K. Keller, Generating user interface prototypes from scenarios, in: RE'99, 4th IEEE Internat. Symposium on Requirements Engineering, Limerick, Ireland, June 1999, pp. 150-158; ftp:\/\/ftp.iro.umontreal.ca\/pub\/gelo\/Publications\/Papers\/ isre99.pdf.","DOI":"10.1109\/ISRE.1999.777995"},{"key":"5142175_CR37","doi-asserted-by":"crossref","unstructured":"M. Glinz, An integrated formal model of scenarios based on statecharts, in: Proc. of the 5th European Software Engineering Conf. (ESEC 1995), Sitges, Spain, 1995.","DOI":"10.1007\/3-540-60406-5_19"},{"key":"5142175_CR38","unstructured":"Goal-oriented Requirements Language (GRL), ITU-T, URN Focus Group, Draft Recomendation Z.151, Geneva (2002)."},{"key":"5142175_CR39","volume-title":"From requirements to scenarios through specifications: A translation procedure from use case maps to LOTOS","author":"R. Guan","year":"2002","unstructured":"R. Guan, From requirements to scenarios through specifications: A translation procedure from use case maps to LOTOS, M.Sc. thesis, University of Ottawa, Canada (September 2002); http:\/\/lotos.site.uottawa.ca\/ftp\/pub\/Lotos\/Theses\/rg_msc.pdf."},{"key":"5142175_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-46428-X_3","volume-title":"Fundamental Approaches to Software Engineering (FASE'2000)","author":"D. Harel","year":"2000","unstructured":"D. Harel, From play-in scenarios to code: An achievable dream, in: Fundamental Approaches to Software Engineering (FASE'2000), Lecture Notes in Computer Science, Vol. 1783 (Springer, New York, 2000) pp. 22-34; http:\/\/www.wisdom.weizmann.ac.il:81\/ Dienst\/UI\/2.0\/Describe\/ncstrl.weizmann_il\/MCS00-06."},{"key":"5142175_CR41","first-page":"246","volume-title":"Proc. of the 18th Internat. Conf. on Software Engineering, Berlin, March 1996","author":"D. Harel","year":"1996","unstructured":"D. Harel and E. Gery, Executable object modeling with statecharts, in: Proc. of the 18th Internat. Conf. on Software Engineering, Berlin, March 1996 (IEEE Press, New York, 1996) pp. 246-257."},{"issue":"1","key":"5142175_CR42","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"D. Harel and H. Kugler, Synthesizing state-based object systems from LSC specifications, Internat. Journal of Foundations of Computer Science 13(1) (2002) 5-51; also in: 5th Internat. Conf. on Implementation and Application of Automata (CIAA 2000), Lecture Notes in Computer Science (Springer, New York, 2000).","journal-title":"Internat. Journal of Foundations of Computer Science"},{"key":"5142175_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine (Springer, Berlin, 2003)."},{"key":"5142175_CR44","unstructured":"L. H\u00e9lou\u00ebt and C. Jard, Conditions for synthesis of communicating automata from HMSCs, in: 5th Internat. Workshop on Formal Methods for Industrial Critical Systems, Berlin, April 2000; http:\/\/www.fokus.gmd.de\/research\/cc\/tip\/fmics\/abstracts\/helouet. html."},{"key":"5142175_CR45","unstructured":"P. Heymans, The ALBERT II specification animator, Technical Report, CREWS report 97-13, University of Namur (1997); http:\/\/Sunsite.Informatik.RWTH-Aachen.DE\/CREWS\/."},{"key":"5142175_CR46","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/s007660050005","volume":"3","author":"P. Heymans","year":"1998","unstructured":"P. Heymans and E. Dubois, Scenario-based techniques for supporting the elaboration and the validation of formal requirements, Requirements Engineering 3 (1998) 202-218.","journal-title":"Requirements Engineering"},{"key":"5142175_CR47","unstructured":"High-level Petri nets-Concepts, definitions and graphical notation, Final draft of international standard 15909, Version 4.7.1, ISO\/IEC (28 October 2000)."},{"key":"5142175_CR48","unstructured":"J. Hodges and J. Visser, Accelerating wireless intelligent network standards through formal techniques, in: IEEE 1999 Vehicular Technology Conf. (VTC'99), Houston, TX, USA,1999; http:\/\/ www.UseCaseMaps.org\/pub\/vtc99.pdf."},{"issue":"1","key":"5142175_CR49","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1002\/bltj.2034","volume":"2","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann, D. Peled and M. Redberg, Design tools for requirements engineering, Bell Labs Technical Journal 2(1) (1997) 86-95; http:\/\/www.lucent.com\/minds\/ techjournal\/winter_97\/pdf\/paper07.pdf; http:\/\/cm.bell-labs.com\/cm\/ cs\/what\/ubet\/.","journal-title":"Bell Labs Technical Journal"},{"key":"5142175_CR50","doi-asserted-by":"crossref","unstructured":"P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima and C. Chen, Formal approach to scenario analysis, IEEE Software (1994) 33-40.","DOI":"10.1109\/52.268953"},{"key":"5142175_CR51","series-title":"Technical Report","volume-title":"A survey of approaches for describing and formalizing use cases","author":"R. Hurlbut","year":"1997","unstructured":"R. Hurlbut, A survey of approaches for describing and formalizing use cases, Technical Report 97-03, Department of Computer Science, Illinois Institute of Technology, USA (1997); http:\/\/ www.iit.edu\/?rhurlbut\/xpt-tr-97-03.html."},{"key":"5142175_CR52","volume-title":"Managing domain architecture evolution through adaptive use case and business rule models","author":"R.R. Hurlbut","year":"1998","unstructured":"R.R. Hurlbut, Managing domain architecture evolution through adaptive use case and business rule models, Ph.D. thesis, Illinois Institute of Technology, Chigago, USA (1998); http:\/\/www.iit. edu\/?rhurlbut\/hurl98.pdf."},{"key":"5142175_CR53","unstructured":"Information processing systems, open systems interconnection, LOTOS-A formal description technique based on the temporal ordering of observational behaviour, IS 8807, ISO, Geneva (1989)."},{"key":"5142175_CR54","unstructured":"I. Jacobson, M. Christerson, P. Jonsson and G. \u00d6vergaard, Object-Oriented Software Engineering, A Use Case Driven Approach (Addison-Wesley\/ACM Press, 1993)."},{"key":"5142175_CR55","doi-asserted-by":"crossref","unstructured":"M. Jarke and R. Kurki-Suonio, eds., Special Issue on Scenario Management, IEEE Transactions on Software Engineering 24(12) (1998).","DOI":"10.1109\/TSE.1998.738337"},{"key":"5142175_CR56","unstructured":"F. Khendek and D. Vincent, Enriching SDL specifications with MSCs, in: 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM'2000), Grenoble, France, June 2000."},{"key":"5142175_CR57","first-page":"167","volume-title":"Feature Interactions in Telecommunications Systems","author":"K. Kimbler","year":"1994","unstructured":"K. Kimbler and D. S\u00f8birk, Use case driven analysis of feature interactions, in: Feature Interactions in Telecommunications Systems, eds. L.G. Bouma and H. Velthuijsen, Amsterdam, The Netherlands, May 1994 (IOS Press, Amsterdam, 1994) pp. 167-177."},{"key":"5142175_CR58","doi-asserted-by":"crossref","unstructured":"J. Klose and H. Wittke, An automata based interpretation of live sequence chart, in: Proc. of the 7th Internat. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), 2001.","DOI":"10.1007\/3-540-45319-9_35"},{"issue":"7","key":"5142175_CR59","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1002\/spe.4380240704","volume":"24","author":"K. Koskimies","year":"1994","unstructured":"K. Koskimies and E. M\u00e4kinen, Automatic synthesis of state machines from trace diagrams, Software Practice and Experience 24(7) (1994) 643-658.","journal-title":"Software Practice and Experience"},{"key":"5142175_CR60","unstructured":"K. Koskimies, T. M\u00e4nnist\u00f6, T. Syst\u00e4 and J. Tuomi, SCED: A tool for dynamic modelling of object systems, University of Tampere, Department of Computer Science, Report A-1996-4 (July 1996); ftp:\/\/cs.uta.fi\/pub\/reports\/A-1996-4.ps.Z."},{"key":"5142175_CR61","unstructured":"J. Koskinen, E. M\u00e4kinen and T. Syst\u00e4, Minimally adequate synthesizer tolerates inaccurate information during behavioral modeling, in: SCASE 2001, Enschede, The Netherlands, February 2001."},{"key":"5142175_CR62","volume-title":"Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"I. Kr\u00fcger, R. Grosu, P. Scholz and M. Broy, From MSCs to statecharts, in: Distributed and Parallel Embedded Systems (Kluwer Academic, Dordrecht, 1999); http:\/\/www4.informatik. tumuenchen. de\/papers\/KGSB99.html."},{"key":"5142175_CR63","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/PL00010342","volume":"5","author":"J.C.S.P. Leite","year":"2000","unstructured":"J.C.S.P. Leite, G.D.S. Hadad, J.H. Doorn and G.N. Kaplan, A scenario construction process, Requirements Engineering 5 (2000) 38-61.","journal-title":"Requirements Engineering"},{"key":"5142175_CR64","series-title":"Technical Report","volume-title":"Synthesizing ROOM models from message sequence chart specifications","author":"S. Leue","year":"1998","unstructured":"S. Leue, L. Mehrmann and M. Rezai, Synthesizing ROOM models from message sequence chart specifications, Technical Report 98-06, ECE Department, University of Waterloo, Canada (April 1998); short paper version in: 13th IEEE Conf. on Automated Software Engineering, Honolulu, Hawaii, October 1998; http:\/\/sven.uwaterloo.ca:80\/?sleue\/ publications.files\/tr98-06.ps.gz."},{"issue":"12","key":"5142175_CR65","doi-asserted-by":"crossref","first-page":"1169","DOI":"10.1016\/S0140-3664(99)00244-3","volume":"23","author":"J.J. Li","year":"2000","unstructured":"J.J. Li and J.R. Horgan, Applying formal description techniques to software architectural design, Computer Communications 23(12) (2000) 1169-1178.","journal-title":"Computer Communications"},{"key":"5142175_CR66","unstructured":"L. Liu and E. Yu, From requirements to architectural design-Using goals and scenarios, in: From Software Requirements to Architectures Workshop (STRAW 2001), Toronto, Canada, May 2001."},{"key":"5142175_CR67","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"J. Magee and J. Kramer, Concurrency: State Models and Java Programs (Wiley, New York, 1999); http:\/\/www-dse.doc.ic.ac.uk\/?su2\/Synthesis\/."},{"key":"5142175_CR68","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1023\/A:1008605412971","volume":"5","author":"N.A.M. Maiden","year":"1998","unstructured":"N.A.M. Maiden, SAVRE: Scenarios for acquiring and validating requirements, Journal of Automated Software Engineering 5 (1998) 419-446.","journal-title":"Journal of Automated Software Engineering"},{"key":"5142175_CR69","unstructured":"E. M\u00e4kinen and T. Syst\u00e4, MAS-An interactive synthesizer to support behavioral modeling in UML, in: 23rd Internat. Conf. on Software Engineering (ICSE'01), Toronto, Canada, May 2001."},{"key":"5142175_CR70","doi-asserted-by":"crossref","unstructured":"N. Mansurov and R.L. Probert, A scenario-based approach to evolution of telecommunications software, IEEE Communications (October 2001).","DOI":"10.1109\/35.956120"},{"key":"5142175_CR71","volume-title":"SDL'99, Proc. of the 9th SDL Forum, Montr\u00e9al, Canada","author":"N. Mansurov","year":"1999","unstructured":"N. Mansurov and D. Zhukov, Automatic synthesis of SDL models in use case methodology, in: SDL'99, Proc. of the 9th SDL Forum, Montr\u00e9al, Canada (Elsevier, Amsterdam, 1999)."},{"key":"5142175_CR72","unstructured":"Message Sequence Chart (MSC), ITU-T Recommendation Z. 120, Geneva (2001); http: \/\/www.itu.int\/ITU-T\/studygroups\/com17\/languages\/Z.120_1199.pdf."},{"key":"5142175_CR73","unstructured":"Method for the characterization of telecommunication services supported by an ISDN and network capabilities of ISDN, ITU-T Recommendation I.130, CCITT, Geneva (1988)."},{"key":"5142175_CR74","volume-title":"Application of use case maps to system design with tool support","author":"A. Miga","year":"1998","unstructured":"A. Miga, Application of use case maps to system design with tool support, M.Eng. thesis, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (1998); http:\/\/www.UseCaseMaps.org\/pub\/am_thesis.pdf."},{"key":"5142175_CR75","doi-asserted-by":"crossref","unstructured":"A. Miga, D. Amyot, F. Bordeleau, C. Cameron and M. Woodside, Deriving message sequence charts from use case maps scenario specifications, in: 10th SDL Forum (SDL'01), Copenhagen, Denmark, 2001; http:\/\/www.UseCaseMaps.org\/pub\/sdl01-miga.pdf.","DOI":"10.1007\/3-540-48213-X_17"},{"key":"5142175_CR76","unstructured":"OSI CTMF Part 3: The tree and tabular combined notation, 2nd ed, IS 9646-3, ISO\/IEC, Geneva (1997)."},{"key":"5142175_CR77","doi-asserted-by":"crossref","unstructured":"D. Petriu and M. Woodside, Software performance models from system scenarios in use case maps, in: 12th Internat. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, London, UK (April 2002); http:\/\/www.UseCaseMaps. org\/pub\/tools02.pdf.","DOI":"10.1007\/3-540-46029-2_9"},{"key":"5142175_CR78","doi-asserted-by":"crossref","unstructured":"C. Potts, K. Takahashi and A.I. Ant\u00f2n, Inquiry-based requirements analysis, IEEE Software (March 1994) 21-32.","DOI":"10.1109\/52.268952"},{"issue":"4","key":"5142175_CR79","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1109\/12.88466","volume":"40","author":"R.L. Probert","year":"1991","unstructured":"R.L. Probert and J. Saleh, Synthesis of communications protocols: Survey and assessment, IEEE Transactions on Computers 40(4) (1991) 468-476.","journal-title":"IEEE Transactions on Computers"},{"key":"5142175_CR80","volume-title":"Requirements engineering with use cases-A basis for software development","author":"B. Regnell","year":"1999","unstructured":"B. Regnell, Requirements engineering with use cases-A basis for software development, Ph.D. thesis, Department of Communication Systems, Lund Institute of Technology, Sweden, 1999; http:\/\/www.tts.lth.se\/Personal\/bjornr\/thesis\/."},{"key":"5142175_CR81","doi-asserted-by":"crossref","unstructured":"B. Regnell, K. Kimbler and A. Wessl\u00e9n, Improving the use case driven approach to requirements engineering, in: Proc. of the 2nd IEEE Internat. Symposium on Requirements Engineering, York, UK, March 1995, pp. 40-47; http:\/\/www.tts.lth.se\/Personal\/bjornr\/Papers\/ tts-94-24.ps.","DOI":"10.1109\/ISRE.1995.512544"},{"key":"5142175_CR82","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures in Petri Nets","year":"1998","unstructured":"W. Reisig and G. Rozenberg, eds., Lectures in Petri Nets, Lecture Notes in Computer Science, Vols. 1491, 1492 (Springer, New York, 1998)."},{"issue":"1","key":"5142175_CR83","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF02802919","volume":"3","author":"C. Rolland","year":"1998","unstructured":"C. Rolland, C. Ben Achour, C. Cauvet, J. Ralyte, A.G. Sutcliffe, N.A.M. Maiden, M. Jarke, P. Haumer, K. Pohl, E. Dubois and P. Heymas, A proposal for a scenario classification framework, Requirements Engineering Journal 3(1) (1998) 23-47.","journal-title":"Requirements Engineering Journal"},{"key":"5142175_CR84","doi-asserted-by":"crossref","unstructured":"C. Rolland, C. Souveyet and C. Ben Achour, Guiding goal modelling using scenarios, Special Issue on Scenario Management, IEEE Transactions on Software Engineering 24(12) (1998).","DOI":"10.1109\/32.738339"},{"key":"5142175_CR85","unstructured":"A. Salah, R. Dssouli and G. Lapalme, Compiling real-time scenarios into a timed automaton, in: Proc. of FORTE\/PSTV'01, China, 2001."},{"issue":"5","key":"5142175_CR86","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/242896.242900","volume":"26","author":"K. Saleh","year":"1996","unstructured":"K. Saleh, Synthesis of communications protocols: An annotated bibliography, ACM SIGCOMM Computer Communications Review 26(5) (1996) 40-59.","journal-title":"ACM SIGCOMM Computer Communications Review"},{"key":"5142175_CR87","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0920-5489(97)00034-2","volume":"19","author":"K. Saleh","year":"1998","unstructured":"K. Saleh, Synthesis of protocol converters: An annotated bibliography, Computer Standards and Interfaces 19 (1998) 105-117.","journal-title":"Computer Standards and Interfaces"},{"key":"5142175_CR88","unstructured":"I. Sales and R. Probert, From high-level behaviour to high-level design: Use case maps to specification and description language, in: SBRC'2000, 18? Simp\u00f3sio Brasileiro de Redes de Computadores, Belo Horizonte, Brazil, May 2000."},{"key":"5142175_CR89","first-page":"351","volume-title":"Object Systems Section","author":"S. Sch\u00f6nberger","year":"2001","unstructured":"S. Sch\u00f6nberger, R.K. Keller and I. Khriss, Algorithmic support for model transformation in objectoriented software development, Concurrency and Computation: Practice and Experience, Object Systems Section 13(5) (2001) 351-383 (Wiley, New York, 2001)."},{"key":"5142175_CR90","unstructured":"SDL combined with UML, ITU-T Recommendation Z.109, Geneva (2000)."},{"key":"5142175_CR91","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"B. Selic, G. Gullekson and P.T. Ward, Real-Time Object-Oriented Modeling (Wiley, New York, 1994)."},{"key":"5142175_CR92","volume-title":"D\u00e9rivation de sp\u00e9cifications \u00e0 partir de sc\u00e9narios d'interaction","author":"S. Som\u00e9","year":"1997","unstructured":"S. Som\u00e9, D\u00e9rivation de sp\u00e9cifications \u00e0 partir de sc\u00e9narios d'interaction, Ph.D. thesis, D\u00e9partement d'IRO, Universit\u00e9 de Montr\u00e9al, Canada (1997)."},{"issue":"1","key":"5142175_CR93","first-page":"1110","volume":"2","author":"S. Som\u00e9","year":"1996","unstructured":"S. Som\u00e9, R. Dssouli and J. Vaucher, Toward an automation of requirements engineering using scenarios, Journal of Computing and Information 2(1) (1996) 1110-1132.","journal-title":"Journal of Computing and Information"},{"key":"5142175_CR94","unstructured":"Specification and Description Language (SDL), ITU-T Recommendation Z.100, Geneva (2000); http:\/\/www.itu.int\/ITU-T\/studygroups\/com17\/languages\/Z.100_1199. pdf."},{"issue":"5","key":"5142175_CR95","first-page":"18","volume":"13","author":"T. Syst\u00e4","year":"2000","unstructured":"T. Syst\u00e4, Incremental construction of dynamic models for object-oriented software systems, Journal of Object-Oriented Programming 13(5) (2000) 18-27.","journal-title":"Journal of Object-Oriented Programming"},{"issue":"2","key":"5142175_CR96","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/505776.505782","volume":"26","author":"T. Syst\u00e4","year":"2001","unstructured":"T. Syst\u00e4, R.K. Keller and K. Koskimies, Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering, ACM SIGSOFT Software Engineering Notes 26(2) (2001) 24-28; http:\/\/www.iro.umontreal.ca\/?labgelo\/Publications\/ Papers\/oopsla-2000.pdf.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5142175_CR97","unstructured":"The unified functional methodology for the characterization of services and network capabilities including alternative object-oriented techniques, ITU-T Recommendation Q.65, Geneva (2000)."},{"key":"5142175_CR98","first-page":"241","volume-title":"6th Internat. Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), Glasgow, Scotland, UK, May 2000","author":"K.J. Turner","year":"2000","unstructured":"K.J. Turner, Formalising the chisel feature notation, in: 6th Internat. Workshop on Feature Interactions in Telecommunications and Software Systems (FIW'00), Glasgow, Scotland, UK, May 2000 (IOS Press, Amsterdam, 2000) pp. 241-256; ftp:\/\/ftp.cs.stir.ac. uk\/pub\/staff\/kjt\/research\/pubs\/form-chis.pdf."},{"key":"5142175_CR99","unstructured":"S. Uchitel and J. Kramer, A workbench for synthesizing behavior models from scenarios, in: 23rd IEEE Internat. Conf. on Software Engineering (ICSE'01), Toronto, Canada, May 2001."},{"key":"5142175_CR100","doi-asserted-by":"crossref","unstructured":"S. Uchitel, J. Kramer and J. Magee, Implied scenario detection in the presence of behaviour constraints, Electronic Notes in Theoretical Computer Science 65(7) (2002).","DOI":"10.1016\/S1571-0661(04)80485-7"},{"key":"5142175_CR101","unstructured":"UCM: Use Case Map Notation, ITU-T, URN Focus Group, Draft Recomendation Z.152, Geneva (2002)."},{"key":"5142175_CR102","unstructured":"UML resource page, OMG (2002); http:\/\/www.omg.org\/uml\/."},{"key":"5142175_CR103","unstructured":"Unified modeling language specification, Version 1.5, OMG (March 2003); http:\/\/www.omg. org."},{"key":"5142175_CR104","unstructured":"Use case maps Web page, UCM User Group (1999); http:\/\/www.UseCaseMaps.org."},{"key":"5142175_CR105","unstructured":"User Requirements Notation (URN)-Language requirements and framework, ITU-T: Recommendation Z.150, Geneva, Switzerland (2003); http:\/\/www.UseCaseMaps.org\/urn\/."},{"issue":"12","key":"5142175_CR106","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A. van Lamsweerde","year":"1998","unstructured":"A. van Lamsweerde and L. Willemet, Inferring declarative requirements specifications from operational scenarios, Special Issue on Scenario Management of IEEE Transactions on Software Engineering 24(12) (1998) 1089-1114.","journal-title":"Special Issue on Scenario Management of IEEE Transactions on Software Engineering"},{"key":"5142175_CR107","doi-asserted-by":"crossref","unstructured":"K. Weidenhaupt, K. Pohl, M. Jarke and P. Haumer, Scenarios in system development: Current practice, IEEE Software (March\/April 1998) 34-45.","DOI":"10.1109\/52.663783"},{"key":"5142175_CR108","first-page":"314","volume-title":"22th Internat. Conf. on Software Engineering (ICSE 2000), Limerick, Ireland","author":"J. Whittle","year":"2000","unstructured":"J. Whittle and J. Schumann, Generating statechart designs from scenarios, in: 22th Internat. Conf. on Software Engineering (ICSE 2000), Limerick, Ireland (ACM, New York, 2000) pp. 314-323."},{"key":"5142175_CR109","unstructured":"J. Whittle and J. Schumann, statechart synthesis from scenarios: An air traffic control case study, in: Scenarios and State Machines: Models, Algorithms, and Tools, ICSE 2002 Workshop, Orlando, USA, 2002."},{"key":"5142175_CR110","unstructured":"C.M. Woodside, D. Menasc\u00e9 and H. Gomaa, eds., in: Proc. of the 2nd Internat. Workshop on Software and Performance (WOSP'2000), Ottawa, Canada, September 2000."},{"key":"5142175_CR111","unstructured":"G.M. Yee and C.M. Woodside, A transformational approach to process partitioning using timed Petri nets, in: Proc. of Internat. Computer Symposium 90 (ICS90), Taiwan, December 1990, pp. 395-401."},{"issue":"1","key":"5142175_CR112","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"P. Zave and M. Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology 6(1) (1997) 1-30; http:\/\/www.research. att.com\/?pamela\/4dc.ps.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Telecommunication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025890110119.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025890110119\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025890110119.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T06:48:50Z","timestamp":1754635730000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025890110119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":112,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["5142175"],"URL":"https:\/\/doi.org\/10.1023\/a:1025890110119","relation":{},"ISSN":["1018-4864","1572-9451"],"issn-type":[{"value":"1018-4864","type":"print"},{"value":"1572-9451","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}