{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:16Z","timestamp":1725487096182},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_23","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:01:14Z","timestamp":1183399274000},"page":"365-378","source":"Crossref","is-referenced-by-count":7,"title":["An Execution Semantics for MSC-2000"],"prefix":"10.1007","author":[{"given":"Bengt","family":"Jonsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo","family":"Padilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR 99","author":"R. Alur","year":"1999","unstructured":"R. Alur and M. Yannakakis. Model checking of message sequence charts. In CONCUR 99, volume 1664 of Lecture Notes in Computer Science, 1999."},{"key":"23_CR2","unstructured":"V. Bos and S. Mauw. A LATEX macro package for message sequence charts, April 1999. http:\/\/www.win.tue.nl\/~sjouke\/mscpackage.html ."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd Int. Conf. on Formal Methods for Open Object-Based Distributed Systems, pages 293\u2013312. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"23_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification, Proc. 7th SPIN Workshop","author":"D. Drusinsky","year":"2000","unstructured":"D. Drusinsky. The remporal rover and the ATG rover. In K. Havelund, editor, SPIN Model Checking and Software Verification, Proc. 7th SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, pages 323\u2013330, Stanford, California, 2000. Springer Verlag."},{"key":"23_CR5","unstructured":"A. Engels. Design decisions on data and guareds in MSC2000. In Proc. 2st Workshop of the SDL Forum Society on SDL and MSC-SAM\u20192000, Grenoble, France, June 2000."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29, 1997.","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"23_CR7","unstructured":"J. Grabowski. The generation of TTCN test cases from MSCs. Technical Report IAM-93-010, University of Berne, Institute for Informatics, April 1993."},{"key":"23_CR8","unstructured":"J. Grabowski and P. Graubmann an E. Rudolph. Towards a petri net based semantics definition for message sequence charts. In O. F\u00e6rgemand and A. Sarma, editors, SDL\u201993-Using Objects-Proc. 6th SDL Forum, Darmstadt, 1993. Elsevier."},{"key":"23_CR9","unstructured":"S. Heymer. A semantics for MSC based on petri-net components. In Proc. 2st Workshop of the SDL Forum Society on SDL and MSC-SAM\u20192000, Grenoble, France, June 2000."},{"key":"23_CR10","unstructured":"ITU-T. Recommendation Z.120, Message Sequence Chart. Geneva, April 1996."},{"key":"23_CR11","unstructured":"ITU-T. Recommendation Z.120, Message Sequence Charts. Geneva, Nov. 1999."},{"key":"23_CR12","unstructured":"P.B. Ladkin and S. Leue. What do message sequence charts mean? In FORTE 93. North-Holland, 1993."},{"key":"23_CR13","unstructured":"S. Mauw and M.A. Reniers. Operational semantics for MSC\u201996. In A. Cavalli and D. Vincent, editors, SDL\u201997-Time for Testing-SDL, MSC and Trends, pages 135\u2013152. Elsevier, Sept. 1997."},{"key":"23_CR14","unstructured":"T.O. O\u2019Malley, D.J. Richardson, and L.K. Dillon. Efficient specification-based test oracles for critical systems. In Proc. 1996 California Software Symposium, April 1996."},{"issue":"3","key":"23_CR15","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D.K. Peters","year":"1998","unstructured":"D.K. Peters and D.L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161\u2013173, March 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR16","unstructured":"M.A. Reniers. Message Sequence Chart: Syntax and Semantics. PhD thesis, Eindhoven University of Technology, June 1999."},{"key":"23_CR17","unstructured":"M. Schmitt, M. Ebner, and J. Grabowski. Test generation with autolink and testcomposer. In Proc. 2nd Workshop of the SDL Forum Society on SDL and MSC-SAM\u20192000, June 2000."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"M. Schmitt, A. Ek, J. Grabowski, D. Hogrefe, and B. Koch. Autolink-putting sdl-based test generation into practice. In 11th Int. Workshop on Testing of Communicating Systems (IWTCS\u201998), Tomsk, Russia, Sept. 1998.","DOI":"10.1007\/978-0-387-35381-4_14"}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:36:01Z","timestamp":1556588161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}