{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:55:39Z","timestamp":1761486939283,"version":"3.38.0"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1109\/tse.2003.1178048","type":"journal-article","created":{"date-parts":[[2003,3,7]],"date-time":"2003-03-07T18:58:16Z","timestamp":1047063496000},"page":"99-115","source":"Crossref","is-referenced-by-count":184,"title":["Synthesis of behavioral models from scenarios"],"prefix":"10.1109","volume":"29","author":[{"given":"S.","family":"Uchitel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Magee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337215"},{"key":"ref2","first-page":"35","article-title":"An Analyser for Message Sequence Charts","volume-title":"Proc. Second Int\u2019l Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS \u201996)","author":"Alur"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/350391.350404"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054168"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233812"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.22215\/etd\/2000-04399"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.738343"},{"volume-title":"scenario-based Design: Envisioning Work and Technology in System Development","year":"1995","author":"Carroll","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450228-5\/50009-6"},{"article-title":"Statecharts For Requirements SpecificationAs Simple as Possible, as Rich as Needed","volume-title":"Proc. ICSE 2002 Workshop Scenarios and State Machines: Models, Algorithms, and Tools","author":"Glinz","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134504"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/2.895118"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_23"},{"volume-title":"Understanding UML: The Developers Guide","year":"1998","author":"Harmon","key":"ref16"},{"key":"ref17","first-page":"38","article-title":"From MSC-2000 to UML 2.0The Future of Sequence Diagrams","volume-title":"Proc. 10th Int\u2019l SDL Forum","author":"Haugen"},{"article-title":"A NonInterleaving Semantics for MSC","volume-title":"Proc. SAM \u201998, First Workshop SDL and MSC","author":"Heymer","key":"ref18"},{"article-title":"A Semantics for MSCs Based on Petri Net Components","volume-title":"Proc. Second Workshop SDL and MSC (SAM \u201900)","author":"Heymer","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/bltj.2034"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/12.88473"},{"journal-title":"Recommendation Z.120, Int\u2019l Telecomm. Union., Telecomm. Standardization Sector","article-title":"ITU, Message Sequence Charts","year":"1996","key":"ref22"},{"volume-title":"The Unified Software Development Process","year":"1999","author":"Jacobson","key":"ref23"},{"key":"ref24","first-page":"197","article-title":"Pomsets for Message Sequence Charts","volume-title":"Proc. First Workshop SDL and MSC (SAM \u201998)","author":"Katoen"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_35"},{"key":"ref26","first-page":"23","article-title":"Towards an Integration of Message Sequence Charts and Timed Maude","volume-title":"Proc. Fifth World Conf. Integrated Design and Process Technology (IDPT \u201900)","author":"Kosiuczenko"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/52.646888"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211629"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732635"},{"volume-title":"Concurrency: State Models and Java Programs","year":"1999","author":"Magee","key":"ref32"},{"key":"ref33","first-page":"15","article-title":"MASAn Interactive Synthesizer to Support Behavioral Modeling in UML","volume-title":"Proc. 23rd IEEE Int\u2019l Conf. Software Eng. (ICSE \u201901)","author":"M\u00e4kinen"},{"volume-title":"Communication and Concurrency","year":"1989","author":"Milner","key":"ref34"},{"key":"ref35","first-page":"108","article-title":"Analyzing Message Sequence Charts","volume-title":"Proc. SAM \u201900, Second Workshop SDL and MSC","author":"Muscholl"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053553"},{"article-title":"Examples of Horizontal Communication","year":"2000","author":"Ommering","key":"ref37"},{"volume-title":"Visual Modeling with Rational Rose 2000 and UML","year":"1998","author":"Quatrani","key":"ref38"},{"article-title":"Message Sequence Chart. Syntax and Semantics","year":"1999","author":"Reniers","key":"ref39"},{"key":"ref40","first-page":"1629","article-title":"Tutorial on Message Sequence Charts \u201996","volume-title":"Proc. IFIP TC6 WG6.1 Int\u2019l Conf. Formal Description Techniques (FORTE \u201996)","author":"Rudolph"},{"volume-title":"Object-Oriented Modeling and Design","year":"1991","author":"Rumbaugh","key":"ref41"},{"key":"ref42","first-page":"726","article-title":"Improving Software Inspections by Using Reading Techniques","volume-title":"Proc. Tutorial at 23rd Int\u2019l Conf. Software Eng. (ICSE \u201901)","author":"Shull"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1995.496953"},{"volume-title":"Use Cases Combined with Booch, OMT, and UML","year":"1997","author":"Texel","key":"ref44"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00178-1"},{"volume-title":"MSC-FSP Synthesiser","year":"2000","author":"Uchitel","key":"ref46"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503220"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587069"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/52.23128"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-737550-2.50008-7"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/26465\/01178048.pdf?arnumber=1178048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:01:49Z","timestamp":1742097709000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1178048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":51,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,2]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2003.1178048","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}