{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:34Z","timestamp":1725490654713},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749837"},{"type":"electronic","value":"9783540749844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74984-4_1","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T01:13:08Z","timestamp":1188522788000},"page":"1-18","source":"Crossref","is-referenced-by-count":10,"title":["A Model-Based Standard for SDL"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Scheidgen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Merete S.","family":"Tveit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"The Eclipse Series","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, Reading (2003)"},{"key":"1_CR2","volume-title":"A Method for High-Level Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. In: A Method for High-Level Design and Analysis, Springer, Berlin (2003)"},{"unstructured":"Eschbach, R., Gl\u00e4sser, U., Gotzhein, R., von L\u00f6wis, M., Prinz, A.: Formal definition of SDL-2000: Compiling and running SDL specifications as ASM models. In: Abstract State Machines 2001: New Developments and Applications, J.UCS Special issue, vol.\u00a07(11) (2001)","key":"1_CR3"},{"issue":"5","key":"1_CR4","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1016\/j.comnet.2005.05.004","volume":"49","author":"J. Fischer","year":"2005","unstructured":"Fischer, J., Holz, E., Prinz, A., Scheidgen, M.: Tool-based language development. Comput. Networks\u00a049(5), 676\u2013688 (2005)","journal-title":"Comput. Networks"},{"unstructured":"Eclipse Graphical Editing Framework, See \n                    \n                      http:\/\/www.eclipse.org\/gef","key":"1_CR5"},{"unstructured":"Eclipse Graphical Modeling Framework, See \n                    \n                      http:\/\/www.eclipse.org\/gmf","key":"1_CR6"},{"unstructured":"ITU-T. SDL - ITU-T Specification and Description Language, Formal Semantics. ITU-T Recommendation Z.100, Annex F (November 2000)","key":"1_CR7"},{"unstructured":"ITU-T. SDL - ITU-T Specification and Description Language (SDL-2000). ITU-T Recommendation Z.100 (August 2002)","key":"1_CR8"},{"key":"1_CR9","volume-title":"Software Factories: Assembling Applications with Patterns, Frameworks, Models & Tools","author":"J.. Greenfield","year":"2004","unstructured":"Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Frameworks, Models & Tools. John Wiley & Sons, Chichester (2004)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11787044_21","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J..P.. Nytun","year":"2006","unstructured":"Nytun, J.P., Prinz, A., Tveit, M.S.: Automatic generation of modelling tools. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 268\u2013283. Springer, Heidelberg (2006)"},{"unstructured":"OMG. Meta Object Facility (MOF) 2.0 Core Specification. Object Management Group, formal\/2006-01-01 (January 2006)","key":"1_CR11"},{"unstructured":"OMG. OCL 2.0 Specification. Object Management Group, formal\/2006-05-01 (May 2006)","key":"1_CR12"},{"unstructured":"Scheidgen, M.: A MOF 2.0 for Java. Humboldt-Universit\u00e4t zu Berlin, \n                    \n                      http:\/\/www.informatik.hu-berlin.de\/sam\/meta-tools\/aMOF2.0forJava","key":"1_CR13"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-540-72901-3_12","volume-title":"ECMDA-FA","author":"M. Scheidgen","year":"2007","unstructured":"Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol.\u00a04530, pp. 157\u2013171. Springer, Heidelberg (2007)"},{"unstructured":"Tveit, M.S.: A Cinderella-based prototype of a digital camera\u2013 a contribution to the SDL\u201905 design contest. Telektronikk 2.2006 (2006), \n                    \n                      http:\/\/www.telenor.com\/telektronikk\/volumes\/pdf\/2.2006\/Page_121-130.pdf","key":"1_CR15"}],"container-title":["Lecture Notes in Computer Science","SDL 2007: Design for Dependable Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74984-4_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:50:29Z","timestamp":1619506229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74984-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749837","9783540749844"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74984-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}