{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:01:37Z","timestamp":1742961697208,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93851-4_27","type":"book-chapter","created":{"date-parts":[[2009,1,13]],"date-time":"2009-01-13T02:18:17Z","timestamp":1231813097000},"page":"268-281","source":"Crossref","is-referenced-by-count":2,"title":["Dealing with Active and Stateful Services in the Service-Oriented Architecture"],"prefix":"10.1007","author":[{"given":"Haldor","family":"Samset","sequence":"first","affiliation":[]},{"given":"Rolv","family":"Br\u00e6k","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Box, D.: A guide to developing and running connected systems with indigo. MSDN Magazine\u00a019(1) (January 2004)"},{"key":"27_CR2","series-title":"IFIP Conference Proceedings","first-page":"265","volume-title":"SMARTNET","author":"R. Br\u00e6k","year":"1999","unstructured":"Br\u00e6k, R.: Using roles with types and objects for service development. In: Yongchareon, T., Aagesen, F.A., Wuwongse, V. (eds.) SMARTNET. IFIP Conference Proceedings, vol.\u00a0160, pp. 265\u2013278. Kluwer, Dordrecht (1999)"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/3-540-28554-7_17","volume-title":"Model-Driven Software Development. Part III","author":"R. Br\u00e6k","year":"2005","unstructured":"Br\u00e6k, R., Melby, G.: Model-Driven Service Engineering. In: Model-Driven Software Development. Part III, pp. 385\u2013401. Springer, Heidelberg (2005)"},{"key":"27_CR4","volume-title":"Service-Oriented Architecture: Concepts, Technology, and Design","author":"T. Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River (2005)"},{"key":"27_CR5","unstructured":"Erl, T.: A W3C Web Services Glossary (March 2007), http:\/\/www.ws-standards.com\/glossary.asp"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-31810-1_16","volume-title":"System Analysis and Modeling","author":"J. Floch","year":"2005","unstructured":"Floch, J., Br\u00e6k, R.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 237\u2013256. Springer, Heidelberg (2005)"},{"key":"27_CR7","unstructured":"Parlay Group. Parlay X Web Services Specification, Version 2.1 - Short Messaging (2006), http:\/\/www.parlay.org\/en\/specifications\/pxws.asp"},{"key":"27_CR8","volume-title":"The SPIN model checker: Primer and reference manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN model checker: Primer and reference manual. Addison-Wesley, Reading (2004)"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1613","DOI":"10.1007\/11914952_41","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"F.A. Kraemer","year":"2006","unstructured":"Kraemer, F.A., Herrmann, P., Br\u00e6k, R.: Aligning UML 2.0 state machines and temporal logic for the efficient execution of services. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04276, pp. 1613\u20131632. Springer, Heidelberg (2006)"},{"key":"27_CR10","unstructured":"Kraemer, F.A., Samset, H.: Ramses User Guide. Avantel Technical Report 1\/2006. Technical report, Department of Telematics, NTNU, Trondheim, Norway (2006)"},{"key":"#cr-split#-27_CR11.1","doi-asserted-by":"crossref","unstructured":"Mencl, V.: Specifying component behavior with port state machines. Electronic Notes in Theoretical Computer Science??101C, 129???153 (2004);","DOI":"10.1016\/j.entcs.2004.02.019"},{"key":"#cr-split#-27_CR11.2","unstructured":"In: de Boer, F., Bonsangue, M. (eds.) Proceedings of the Workshop on the Compositional Verification of UML Models CVUML"},{"key":"27_CR12","unstructured":"Moreau, J.-J., Weerawarana, S., Ryman, A., Chinnici, R.: Web services description language (WSDL) version 2.0 part 1: Core language. W3C recommendation, W3C (June 2007), http:\/\/www.w3.org\/TR\/2007\/REC-wsdl20-20070626"},{"key":"27_CR13","unstructured":"Natis, Y., Schulte, R.: Advanced SOA for advanced enterprise projects. Technical report, Gartner Group (2006)"},{"key":"27_CR14","unstructured":"OASIS. Reference Model for Service Oriented Architecture v1.0 (October 2006)"},{"key":"27_CR15","unstructured":"Object Management Group. Unified Modeling Language 2.0 Superstructure Specification (2006)"},{"issue":"2-3","key":"27_CR16","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10796-007-9034-7","volume":"9","author":"D.A.C. Quartel","year":"2007","unstructured":"Quartel, D.A.C., Steen, M.W.A., Pokraev, S., van Sinderen, M.: COSMO: A conceptual framework for service modelling and refinement. Information Systems Frontiers\u00a09(2-3), 225\u2013244 (2007)","journal-title":"Information Systems Frontiers"},{"key":"27_CR17","volume-title":"Working with Objects: The OOram Software Engineering Method","author":"T. Reenskaug","year":"1995","unstructured":"Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-48213-X_5","volume-title":"SDL 2001: Meeting UML","author":"F. R\u00f6\u00dfler","year":"2001","unstructured":"R\u00f6\u00dfler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol.\u00a02078, pp. 72\u201389. Springer, Heidelberg (2001)"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36573-7_1","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"F. R\u00f6\u00dfler","year":"2003","unstructured":"R\u00f6\u00dfler, F., Geppert, B., Gotzhein, R.: Cosdl: An experimental language for collaboration specification. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 1\u201320. Springer, Heidelberg (2003)"},{"key":"27_CR20","unstructured":"Sanders, R.T.: Implementing from SDL. Telektronikk\u00a096(4) (2000) ISSN 0085-7130"},{"key":"27_CR21","unstructured":"Sanders, R.T.: Collaborations, Semantic Interfaces and Service Goals - a new way forward for Service Engineering. PhD thesis, Norwegian University of Science and Technology (NTNU) (2007)"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Sanders, R.T., Br\u00e6k, R., Bochmann, G., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: 12th SDL Forum, Grimstad, Norway (2005)","DOI":"10.1007\/11506843_6"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11557432_35","volume-title":"Model Driven Engineering Languages and Systems","author":"R.T. Sanders","year":"2005","unstructured":"Sanders, R.T., Castej\u00f3n, H.N., Kraemer, F.A., Br\u00e6k, R.: 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":"27_CR24","first-page":"3","volume-title":"PSTV","author":"C.A. Vissers","year":"1985","unstructured":"Vissers, C.A., Logrippo, L.: The importance of the service concept in the design of data communications protocols. In: Diaz, M. (ed.) PSTV, pp. 3\u201317. North-Holland, Amsterdam (1985)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93851-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:50:28Z","timestamp":1558057828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93851-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93851-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}