{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:31:55Z","timestamp":1725521515363},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540898962"},{"type":"electronic","value":"9783540898979"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89897-9_10","type":"book-chapter","created":{"date-parts":[[2008,12,9]],"date-time":"2008-12-09T15:25:28Z","timestamp":1228836328000},"page":"110-121","source":"Crossref","is-referenced-by-count":0,"title":["Milestones: Mythical Signals in UML to Analyze and Monitor Progress"],"prefix":"10.1007","author":[{"given":"Richard Torbj\u00f8rn","family":"Sanders","sequence":"first","affiliation":[]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Service-Oriented Architecture - Concepts, Technology, and Design","author":"T. Erl","year":"2006","unstructured":"Erl, T.: Service-Oriented Architecture - Concepts, Technology, and Design, 6th edn. Prentice Hall, Englewood Cliffs (2006)","edition":"6"},{"key":"10_CR2","unstructured":"W3C, Web Services Description Language (WSDL) Version 2.0 (2006), \n                    \n                      http:\/\/www.w3.org\/TR\/2006\/WD-ws-cdl-10-primer-20060619\/"},{"key":"10_CR3","unstructured":"OMG, UML Profile and Metamodel for Services (UPMS) RFP - soa\/06-09-09 (2006), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?soa\/2006-9-9"},{"key":"10_CR4","unstructured":"OMG, Service oriented architecture Modeling Language (SoaML) - ad\/2008-08-04 (2008), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?ad\/08-08-04.pdf"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/11557432_35","volume-title":"Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005","author":"R.T. Sanders","year":"2005","unstructured":"Sanders, R.T., et al.: Using UML 2.0 Collaborations for Compositional Service Specification. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 460\u2013475. Springer, Heidelberg (2005)"},{"key":"10_CR6","unstructured":"Sanders, R.T., Floch, J., Br\u00e6k, R.: Dynamic Behaviour Arbitration using Role Negotiation. In: Next Generation Networks. Eunice 2003, Budapest, Hungary (2003)"},{"key":"10_CR7","unstructured":"SIMS - Semantic Interfaces for Mobile Services (2008), \n                    \n                      http:\/\/www.ist-sims.org"},{"key":"10_CR8","unstructured":"Haugen, \u00d8.: Challenges to UML 2 to describe FIPA Agent protocol. In: ATOP @ AAMOS 2008, Estoril, Portugal (2008)"},{"key":"10_CR9","unstructured":"OMG, UML 2.0 Superstructure Specification, Revised Final Adopted Specification, ptc\/04-10-02, Object Management Group, Needham, MA, USA (2004)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M. Clint","year":"1973","unstructured":"Clint, M.: Program Proving: Coroutines. Acta Informatica\u00a02, 50\u201363 (1973)","journal-title":"Acta Informatica"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-07162-8_678","volume-title":"Mathematical Foundations of Computer Science 1974","author":"O.-J. Dahl","year":"1975","unstructured":"Dahl, O.-J.: An approach to Correctness Proofs of SemiCoroutines. In: Blikle, A. (ed.) MFCS 1974. LNCS, vol.\u00a028, pp. 157\u2013174. Springer, Heidelberg (1975)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Gjessing, S., Munthe-Kaas, E.: Trace Based Verification of Parallel Programs with Shared Variables. In: Twenty-Second Annual Hawaii International Conference on System Sciences, Kailua-Kona, HI, USA (1989)","DOI":"10.1109\/HICSS.1989.48005"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39993-3_9","volume-title":"From Object-Orientation to Formal Methods","author":"E.B. Johnsen","year":"2004","unstructured":"Johnsen, E.B., Owe, O.: Object-Oriented Specification and Open Distributed Systems. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635. Springer, Heidelberg (2004)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"SDL 2005: Model Driven","author":"R.T. Sanders","year":"2005","unstructured":"Sanders, R.T., et al.: Service Discovery and Component Reuse with Semantic Interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530. Springer, Heidelberg (2005)"},{"key":"10_CR15","unstructured":"Sanders, R.T.: Collaborations, semantic interfaces and service goals: a way forward for service engineering, Norwegian University of Science and Technology (NTNU), Trondheim (2007), \n                    \n                      http:\/\/www.diva-portal.org\/ntnu\/abstract.xsql?dbid=1476"},{"key":"10_CR16","unstructured":"Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles, Norwegian University of Science and Technology (NTNU), Trondheim (2003)"},{"key":"10_CR17","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)"},{"key":"10_CR18","unstructured":"SIMS deliverable D2.1 - Language and Method Guidelines, 1st version (2007), \n                    \n                      http:\/\/www.ist-sims.org\/"},{"key":"10_CR19","unstructured":"OMG, Business Motivation Model (BMM) Specification dtc\/07-08-03 (2007), \n                    \n                      http:\/\/www.omg.org\/docs\/dtc\/07-08-03.pdf"}],"container-title":["Lecture Notes in Computer Science","Towards a Service-Based Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89897-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T10:14:00Z","timestamp":1551694440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89897-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540898962","9783540898979"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89897-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}