{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:23:22Z","timestamp":1694625802707},"reference-count":72,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"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":[[2005,12]]},"DOI":"10.1109\/tse.2005.137","type":"journal-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T14:50:02Z","timestamp":1136472602000},"page":"999-1014","source":"Crossref","is-referenced-by-count":34,"title":["From live sequence charts to state machines and back: a guided tour"],"prefix":"10.1109","volume":"31","author":[{"given":"Y.","family":"Bontemps","sequence":"first","affiliation":[]},{"given":"P.","family":"Heymans","sequence":"additional","affiliation":[]},{"given":"P.-Y.","family":"Schobbens","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"bibe099910","article-title":"Relating Inter-Agent and Intra-Agent Specifications (the Case of Live Sequence Charts)","author":"bontemps","year":"2005"},{"key":"bibe099911","first-page":"85","article-title":"UML 2. 0 Interactions: Semantics and Refinement","author":"e cengarle","year":"2004","journal-title":"Proc Third Int'l Workshop Critical Systems Development with UML (CSDUML '04)"},{"key":"bibe099912","article-title":"On the Semantics of UML 2.0 Interaction Diagram","author":"bontemps","year":"2004"},{"key":"bibe099913","author":"jackson","year":"1995","journal-title":"Software Requirements and Specifications A Lexicon of Practice Principles and Prejudices"},{"key":"bibe099914","first-page":"219","article-title":"An Introduction to Input\/Output Automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"key":"bibe099915","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207698"},{"key":"bibe099953","author":"kr\ufffdger","year":"1999","journal-title":"From MSCs to Statecharts"},{"key":"bibe099916","doi-asserted-by":"publisher","DOI":"10.1109\/52.896248"},{"key":"bibe099952","doi-asserted-by":"publisher","DOI":"10.1109\/52.268953"},{"key":"bibe099917","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0035748","article-title":"Realizable and Unrealizable Specifications of Reactive Systems","author":"abadi","year":"1989","journal-title":"Automata Languages and Programming Proc 16th Int'l Colloquium (ICALP '89)"},{"key":"bibe099955","article-title":"A Workbench for Synthesizing Behaviour Models from Scenarios","author":"uchitel","year":"2001","journal-title":"Proc IEEE Int'l Conf Software Eng (ICSE '01)"},{"key":"bibe099918","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"bibe099954","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"bibe099919","article-title":"The Foundations of Esterel","author":"berry","year":"1998","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"bibe099957","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317446"},{"key":"bibe099956","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870421"},{"key":"bibe099959","article-title":"Using Message Sequence Charts for Component-Based Formal Verification","author":"finkbeiner","year":"2001","journal-title":"Proc OOPSLA 2001 Workshop Specification and Verification of Component-Based Systems"},{"key":"bibe099958","doi-asserted-by":"publisher","DOI":"10.1145\/503271.503220"},{"key":"bibe099950","doi-asserted-by":"publisher","DOI":"10.1007\/s236-002-8033-8"},{"key":"bibe099951","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040238"},{"key":"bibe099921","first-page":"364","article-title":"The Complexity of Live Sequence Charts","author":"bontemps","year":"2005","journal-title":"Proc Foundations of Software Science and Computation Structure (FoSSACS '05)"},{"key":"bibe099922","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36126-X_23","article-title":"Smart Play-Out of Behavioral Requirements","author":"harel","year":"2002","journal-title":"Proc Fourth Int'l Conf Formal Methods in Computer-Aided Design (FMCAD '02)"},{"key":"bibe099920","article-title":"Temporal Logic for Live Sequence Charts","author":"kugler","year":"2005","journal-title":"Proc Tools and Algorithms for Construction and Analysis of Systems (TACAS '05)"},{"key":"bibe099925","year":"2002","journal-title":"Automata Logics and Infinite Games A Guide to Current Research"},{"key":"bibe099926","author":"harel","year":"1998","journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach"},{"key":"bibe099923","article-title":"Turning High-Level Live Sequence Charts into Automata","author":"bontemps","year":"2002","journal-title":"Proc Scenarios and State-Machines Models Algorithms and Tools (SCESM) Workshop 24th Int'l Conf Software Eng (ICSE 2002)"},{"key":"bibe099924","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054102000935"},{"key":"bibe099929","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45089-0_3"},{"key":"bibe099966","article-title":"Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts","author":"bohn","year":"2002","journal-title":"Proc Conf Integrated Design and Process Technology (IDPT 2002)"},{"key":"bibe099965","doi-asserted-by":"publisher","DOI":"10.1145\/581199.581240"},{"key":"bibe099964","first-page":"512","article-title":"An Automata Based Interpretation of Live Sequence Charts","author":"klose","year":"2001","journal-title":"Proc TACAS (Tools and Algorithms for the Construction and Analysis of Systems)"},{"key":"bibe099927","first-page":"233","article-title":"Partial-Order Methods for Temporal Verification","author":"wolper","year":"1993","journal-title":"Proc Int'l Conf Concurrency Theory (CONCUR '93)"},{"key":"bibe099963","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-31980-1_12","article-title":"A Note on On-the-Fly Verification Algorithms","author":"schwoon","year":"2005","journal-title":"Tools and Algorithms for Analysis and Construction of Systems (TACAS 2005)"},{"key":"bibe099928","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"bibe099969","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2893"},{"key":"bibe099968","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_27"},{"key":"bibe099967","article-title":"Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior","author":"klose","year":"2003"},{"key":"bibe099961","author":"wiegers","year":"2003","journal-title":"Software Requirements"},{"key":"bibe099962","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90026-7"},{"key":"bibe099960","doi-asserted-by":"publisher","DOI":"10.1109\/32.713325"},{"key":"bibe099934","article-title":"A Decidable Class of Asynchronous Distributed Controllers","author":"madhusudhan","year":"2002","journal-title":"Proc CONCUR '02"},{"key":"bibe099935","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","article-title":"Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements","author":"harel","year":"2005","journal-title":"Formal Methods in Software and Systems Modeling"},{"key":"bibe09999","year":"2003","journal-title":"OMG UML Specification (2 0)"},{"key":"bibe099936","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040234"},{"key":"bibe09998","article-title":"MSC-2004: ITU-T Recommendation Z.120: Message Sequence Chart (MSC)","year":"2004"},{"key":"bibe099937","doi-asserted-by":"publisher","DOI":"10.1007\/11495628_10"},{"key":"bibe09997","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2"},{"key":"bibe099930","article-title":"Modular Synthesis of Reactive Systems","author":"rosner","year":"1992"},{"key":"bibe09996","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"bibe099931","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1007\/BFb0035790","article-title":"On the Synthesis of an Asynchronous Reactive Module","author":"pnueli","year":"1989","journal-title":"Proc 29th Int Colloquium Automata Languages Program (ICALP)"},{"key":"bibe09995","doi-asserted-by":"publisher","DOI":"10.1109\/52.663783"},{"key":"bibe099932","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932514"},{"key":"bibe09994","article-title":"MDA Guide v 1. 0. 1 (OMG)","author":"mukerji","year":"2003"},{"key":"bibe099933","article-title":"Distributed Games and Distributed Control for Asynchronous Systems","author":"gastin","year":"2004","journal-title":"Proc Latin Am Symp Theoretical Informatics (LATIN)"},{"key":"bibe09993","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"bibe099938","doi-asserted-by":"crossref","DOI":"10.1007\/11526841_28","article-title":"Synthesis of Distributed Processes from Scenario-Based Specifications","author":"sun","year":"2005","journal-title":"Formal Methods (FM 2005)"},{"key":"bibe099939","article-title":"From Live Sequence Charts to Implementation (a Study of the LSC Specification, the Execution of Behavioral Requirements and Exploring the Possibilities to Use an LSC Model to Generate Java Code)","author":"homme","year":"2003"},{"key":"bibe099970","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"bibe099971","article-title":"Verifying a Virtual Component Interface-Based PCI Bus Wrapper Using an LSC-Based Specification","author":"bunker","year":"2002"},{"key":"bibe099972","article-title":"Automated Verification of State-Based Specifications against Scenarios (A Step towards Relating Inter-Object to Intra-Object Specifications)","author":"bontemps","year":"2001"},{"key":"bibe099947","article-title":"SCED: A Tool for Dynamic Modelling of Object Systems,\" Technical Report A-1996-4, Dept. of Computer Science, Univ. of Tampere, Finland","author":"koskimies","year":"1996"},{"key":"bibe099948","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233812"},{"key":"bibe099945","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"bibe099946","article-title":"An Evaluation of Scenario Notations for Telecommunication Systems Development","author":"amyot","year":"2001","journal-title":"Proc Ninth Int'l Conf Telecomm Systems (9ICTS)"},{"key":"bibe099943","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023741"},{"key":"bibe099944","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357237"},{"key":"bibe099941","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-60045-0_56","article-title":"An Automata-Theoretic Approach to Fair Realizability and Synthesis","author":"vardi","year":"1995","journal-title":"Proc Seventh Int'l Conf Computer Aided Verification"},{"key":"bibe099942","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"bibe099949","article-title":"Turning Collaboration Diagram Strips into Storycharts","author":"diethelm","year":"2002","journal-title":"Proc Scenarios and State-Machines Models Algorithms and Tools (SCESM) Workshop 24th Int'l Conf Software Eng (ICSE 2002)"},{"key":"bibe099940","first-page":"91","article-title":"Synthesis with Incomplete Information","author":"kupferman","year":"1997","journal-title":"Proc Second Int'l Conf Temporal Logic"},{"key":"bibe09991","doi-asserted-by":"publisher","DOI":"10.1109\/2.895118"},{"key":"bibe09992","first-page":"1157","author":"lamport","year":"1990","journal-title":"Handbook of Theoretical Computer Science"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/33231\/01566603.pdf?arnumber=1566603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:52Z","timestamp":1638219292000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1566603\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":72,"journal-issue":{"issue":"12"},"URL":"http:\/\/dx.doi.org\/10.1109\/tse.2005.137","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}
