{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:26:31Z","timestamp":1742387191247},"reference-count":24,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1389-1286(03)00247-0","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T23:54:49Z","timestamp":1052783689000},"page":"343-358","source":"Crossref","is-referenced-by-count":42,"title":["The formal semantics of SDL-2000: Status and perspectives"],"prefix":"10.1016","volume":"42","author":[{"given":"U.","family":"Gl\u00e4sser","sequence":"first","affiliation":[]},{"given":"R.","family":"Gotzhein","sequence":"additional","affiliation":[]},{"given":"A.","family":"Prinz","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(03)00247-0_BIB1","unstructured":"ITU-T Recommendation Z.100(11\/99), Languages for telecommunications applications\u2013\u2013Specification and Description Language (SDL), International Telecommunication Union, Geneva, 2000, now superseded\u2013\u2013but current for [5]"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB2","unstructured":"ITU-T Recommendation Z.100 Annex F, SDL Formal Definition, International Telecommunication Union, Geneva, 1993"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB3","series-title":"Formal Specification and Software Development","author":"Bj\u00f8rner","year":"1982"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB4","unstructured":"SDL Formal Semantics Project, ITU-T Study Group 10: SDL Semantics Group. Available from: <http:\/\/rn.informatik.uni-kl.de\/projects\/sdl\/>"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB5","unstructured":"ITU-T Recommendation Z.100 Annex F(11\/00), SDL Formal Semantics Definition, International Telecommunication Union, Geneva, 2001"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB6","series-title":"Current Trends in Applied Formal Methods (FM-Trends 98)","first-page":"1","article-title":"High level system design and analysis using abstract state machines","volume":"vol. 1641","author":"B\u00f6rger","year":"1999"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB7","series-title":"Specification and Validation Methods","first-page":"9","article-title":"Evolving Algebras 1993: Lipari Guide","author":"Gurevich","year":"1995"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB8","series-title":"Abstract State Machines\u2013\u2013A Method for High-Level System Design and Analysis","author":"B\u00f6rger","year":"2003"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB9","series-title":"An intermediate representation for SDL and its applications in: SDL\u201999\u2013\u2013The Next Millennium","author":"Bozga","year":"1999"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB10","unstructured":"J. Fischer, E. Dimitrov, Verification of SDL protocol specifications using extended Petri nets, in: Proc. of the Workshop on Petri Nets and Protocols of the 16th Intern. Conf. on Applications and Theory of Petri Nets, Torino, Italy, 1995, pp. 1\u201312"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB11","unstructured":"J. Fischer, E. Dimitrov, U. Taubert, Analysis and formal verification of SDL\u201992 specifications using extended Petri nets, Internal Report, Dept. of Computer Science, Humboldt University, Berlin, 1995"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB12","unstructured":"J.A. Bergstra, C.A. Middleburg, Process algebra semantics of \u03c6 SDL, Technical Report, UNU\/IIST Report No. 68, UNU\/IIST, The United Nations University, April 1996"},{"issue":"3","key":"10.1016\/S1389-1286(03)00247-0_BIB13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF01211434","article-title":"Towards a formal foundation of the specification and description language SDL","volume":"3","author":"Broy","year":"1991","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB14","series-title":"Proc. of FORTE\u201994","first-page":"324","article-title":"An attempt to embed a restricted version of SDL as a target language in FOCUS","author":"Holz","year":"1994"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB15","unstructured":"U. Hinkel, Formale, semantische Fundierung und eine darauf abgest\u00fctzte Verifikationsmethode f\u00fcr SDL, PhD thesis, Technische Universit\u00e4t, M\u00fcnchen, 1998"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB16","unstructured":"M. Broy et al., The design of distributed systems\u2013\u2013an introduction to FOCUS, Technical Report TUM-19202-2, Institut f\u00fcr Informatik, Technische Universit\u00e4t, M\u00fcnchen, January, 1993"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB17","unstructured":"S. Lau, A. Prinz, BSDL: The Language\u2013\u2013Version 0.2. Technical Report, Department of Computer Science, Humboldt University, Berlin, August, 1995"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB18","unstructured":"R. Gotzhein, B. Geppert, F. R\u00f6\u00dfler, P. Schaible, Towards a new formal SDL semantics, in: Proc. 1st Workshop of the SDL Forum Society on SDL and MSC (SAM\u201998), Berlin, Germany, June 29\u2013July 1, 1998, pp. 55\u201364"},{"issue":"12","key":"10.1016\/S1389-1286(03)00247-0_BIB19","first-page":"1382","article-title":"Abstract state machine semantics of SDL","volume":"3","author":"Gl\u00e4sser","year":"1997","journal-title":"Journal of Universal Computer Science"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB20","unstructured":"U. Gl\u00e4sser, ASM semantics of SDL: concepts, methods, tools, in: Proc. 1st Workshop of the SDL Forum Society on SDL and MSC (SAM\u201998), Berlin, Germany, June 29\u2013July 1, 1998, pp. 271\u2013280"},{"issue":"11","key":"10.1016\/S1389-1286(03)00247-0_BIB21","first-page":"1024","article-title":"Formal definition of SDL-2000\u2013\u2013compiling and running SDL specifications as ASM models","volume":"7","author":"Eschbach","year":"2001","journal-title":"Journal of Universal Computer Science"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB22","unstructured":"ITU-T Rapporteur, Question 6\/10, Introduction of Time Semantics in SDL, ITU-T Study Group 10, Temporary Document 41, Geneva, November 1999"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB23","article-title":"Timed extensions for SDL","volume":"vol. 2078","author":"Bozga","year":"2001"},{"key":"10.1016\/S1389-1286(03)00247-0_BIB24","unstructured":"Microsoft Research: AsmL. Available from: <http:\/\/research.microsoft.com\/foundations\/AsmL\/default.html>"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002470?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002470?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T19:52:21Z","timestamp":1553197941000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128603002470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1389128603002470"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(03)00247-0","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}