{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:28:14Z","timestamp":1725492494436},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658955"},{"type":"electronic","value":"9783540488880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48888-x_33","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T08:17:59Z","timestamp":1191572279000},"page":"342-354","source":"Crossref","is-referenced-by-count":3,"title":["The Pros and Cons of Using SDL for Creation of Distributed Services"],"prefix":"10.1007","author":[{"given":"Anders","family":"Olsen","sequence":"first","affiliation":[]},{"given":"Didier","family":"Demany","sequence":"additional","affiliation":[]},{"given":"Elsa","family":"Cardoso","sequence":"additional","affiliation":[]},{"given":"Fiona","family":"Lodge","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Kolberg","sequence":"additional","affiliation":[]},{"given":"Morgan","family":"Bj\u00f6rkander","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Sinnott","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,15]]},"reference":[{"key":"33_CR1","unstructured":"The ObjectGEODE SDL tool, see http:\/\/www.verilogusa.com\/\/home.htm"},{"key":"33_CR2","unstructured":"The SDT SDL tool, see http:\/\/www.telelogic.se"},{"key":"33_CR3","unstructured":"The Cinderella SDL Tool, see http:\/\/www.cinderella.dk"},{"key":"33_CR4","unstructured":"SDL Combined with ASN.1, ITU Recommendation Z.105"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Sinnott, R.: Frameworks: The Future of Formal Software Development, Semantics of Specifications. In: Journal of Computer Standards and Interfaces (August 1998)","DOI":"10.1016\/S0920-5489(98)00024-5"},{"key":"33_CR6","unstructured":"Born, M., Hoffmann, A., Winkler, M., Fischer, J., Fischbeck, N.: Towards a Behavioural Description of ODL. In: Proceedings of TINA 97 Conference, Chile (1997)"},{"key":"33_CR7","unstructured":"Bj\u00f6rkander, M: Mapping IDL to SDL. Telelogic AB (1997)"},{"key":"33_CR8","unstructured":"For more information see http:\/\/www.fokus.gmd.de\/minos\/y.sce"},{"key":"33_CR9","unstructured":"Telelogic AB: Getting Started Part 1 \u2014 Tutorials on SDT Tools. Telelogic AB (1997)"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Sinnott, R., Kolberg, M.: Engineering Telecommunication Services with SDL. Conference of Formal Methods for Open Object-Based Distributed Systems, Florence, February 1999)","DOI":"10.1007\/978-0-387-35562-7_16"},{"key":"33_CR11","unstructured":"Sinnott, R., Kolberg, M.: Business-Oriented Development of Telecommunication Services. In OOPSLA\u201998, Vancouver, Canada (1998)"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Schieferdecker, I., Li, M., Hoffmann, A.: Conformance Testing of TINA Service Components-the TTCN\/CORBA Gateway. In IS&N 1998, Antwerp (May 1998)","DOI":"10.1007\/BFb0056984"},{"key":"33_CR13","unstructured":"[TinaODL] TINA-C, TINA Object Definition Language MANUAL, July 1996"},{"key":"33_CR14","unstructured":"ACTS project SCREEN (AC227), CEC Deliverable D28: SCREEN Engineering Practices for Component-based Service Creation (Dec 1998)"},{"key":"33_CR15","unstructured":"ACTS project SCREEN (AC227), CEC Deliverable D38: Advanced Service Creation Environment (Oct 1998)"},{"key":"33_CR16","unstructured":"OMG, The Common Object Request Broker: Architecture and Specification, revision 2.0"},{"key":"33_CR17","unstructured":"[SDL] SDL home page, see http:\/\/www.sdl-forum.org"},{"issue":"5","key":"33_CR18","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"J.A. Hall","year":"1990","unstructured":"Hall, J.A.: The Seven Myths of Formal Methods. In: IEEE Software, Vol.7(5) (September 1990) 11\u201319","journal-title":"IEEE Software"},{"key":"33_CR19","unstructured":"[TinaSA] TINA-C, Service Architecture, version 5.0, 16 June 1997."}],"container-title":["Lecture Notes in Computer Science","Intelligence in Services and Networks Paving the Way for an Open Service Market"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48888-X_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T15:07:38Z","timestamp":1556896058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48888-X_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658955","9783540488880"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48888-x_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}