{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:55:59Z","timestamp":1725537359168},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045530"},{"type":"electronic","value":"9783642045547"}],"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-642-04554-7_12","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:11:16Z","timestamp":1252937476000},"page":"182-199","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Generation of Compatible Interfaces from Partitioned UML Activities"],"prefix":"10.1007","author":[{"given":"Frank Alexander","family":"Kraemer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Lamport, L.: The Existence of Refinement Mappings. Theoretical Computer Science\u00a082(2), 253\u2013284 (1991)","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","unstructured":"Arctis Website, \n                    \n                      http:\/\/arctis.item.ntnu.no"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R.J.R. Back","year":"1988","unstructured":"Back, R.J.R., Kurki-Suonio, F.: Distributed Cooperation With Action Systems. ACM Transactions on Programming Languages and Systems\u00a010(4), 513\u2013554 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0035393","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic Detection of Process Divergence and Non-Local Choice in Message Sequence Charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 259\u2013274. Springer, Heidelberg (1997)"},{"key":"12_CR5","series-title":"The BCS Practitioner Series","volume-title":"Engineering Real Time Systems: An Object-Oriented Methodology Using SDL","author":"R. Br\u00e6k","year":"1993","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. The BCS Practitioner Series. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"12_CR6","first-page":"2","volume-title":"ICFEM 1998: Proceedings of the Second IEEE International Conference on Formal Engineering Methods","author":"M. Broy","year":"1998","unstructured":"Broy, M., Kr\u00fcger, I.: Interaction Interfaces - Towards a Scientific Foundation of a Methodological usage of Message Sequence Charts. In: ICFEM 1998: Proceedings of the Second IEEE International Conference on Formal Engineering Methods, p. 2. IEEE Computer Society, Washington (1998)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-39979-7_8","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"C. Carrez","year":"2003","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Behavioural Contracts for a Sound Assembly of Components. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 111\u2013126. Springer, Heidelberg (2003)"},{"issue":"5","key":"12_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. SIGSOFT Softw. Eng. Notes\u00a026(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"12_CR9","unstructured":"Eclipse Modeling Project, \n                    \n                      http:\/\/www.eclipse.org\/modeling"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11951148_8","volume-title":"System Analysis and Modeling: Language Profiles","author":"F. Engelhardtsen","year":"2006","unstructured":"Engelhardtsen, F., Prinz, A.: Application of Stuck-free Conformance to Service-Role Composition. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol.\u00a04320, pp. 115\u2013132. Springer, Heidelberg (2006)"},{"key":"12_CR11","unstructured":"Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Norwegian University of Science and Technology, Trondheim (2003)"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S1389-1286(00)00089-X","volume":"34","author":"P. Herrmann","year":"2000","unstructured":"Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks\u00a034(2), 317\u2013337 (2000)","journal-title":"Computer Networks"},{"key":"12_CR13","series-title":"Prentice Hall Software Series","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 Software Series. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"12_CR14","unstructured":"Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology, Trondheim (2008)"},{"key":"12_CR15","unstructured":"Kraemer, F.A., Br\u00e6k, R., Herrmann, P.: Compositional Service Engineering with Arctis. Telektronikk, vol. 1.2009 (2009)"},{"key":"12_CR16","first-page":"129","volume-title":"WI-IATW 2006","author":"F.A. Kraemer","year":"2006","unstructured":"Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations \u2014 An Example. In: WI-IATW 2006, pp. 129\u2013133. IEEE Computer Society, Washington (2006)"},{"key":"12_CR17","first-page":"194","volume-title":"Networking and Electronic Commerce Research Conference 2007 (NAEC 2007)","author":"F.A. Kraemer","year":"2007","unstructured":"Kraemer, F.A., Br\u00e6k, R., Herrmann, P.: Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. In: Networking and Electronic Commerce Research Conference 2007 (NAEC 2007), pp. 194\u2013220. ATSMA Inc., USA (2007)"},{"key":"12_CR18","unstructured":"Kraemer, F.A., Herrmann, P.: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In: Ehring, K., Giese, H. (eds.) Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007). Electronic Communications of the EASST, vol.\u00a07 (2007)"},{"key":"12_CR19","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.) CoopIS, DOA, GADA, and ODBASE 2006. LNCS, vol.\u00a04276, pp. 1613\u20131632. Springer, Heidelberg (2006)"},{"key":"12_CR20","unstructured":"Kraemer, F.A., Samset, H., Br\u00e6k, R.: An Automated Method for Web Service Orchestration based on Reusable Building Blocks. In: Proceedings of the 7th International IEEE Conference on Web Services (ICWS) (to be published, 2009)"},{"key":"12_CR21","volume-title":"Specifying Systems","author":"L.. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems. Addison-Wesley, Reading (2002)"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2004.02.019","volume":"101","author":"V. Mencl","year":"2004","unstructured":"Mencl, V.: Specifying Component Behavior with Port State Machines. Electr. Notes. Theor. Comput. Sci.\u00a0101, 129\u2013153 (2004)","journal-title":"Electr. Notes . Theor. Comput. Sci."},{"key":"12_CR23","first-page":"29","volume-title":"Proceedings of the Mobile Data Management Workshops MDMW 2008","author":"R. Micha\u0142","year":"2009","unstructured":"Micha\u0142, R., Meland, P.-H., Floch, J., Domaszewicz, J.: Ontology-based Use Cases for Design-time and Runtime Composition of Mobile Services. In: Proceedings of the Mobile Data Management Workshops MDMW 2008, pp. 29\u201336. IEEE Computer Society Press, Washington (2009)"},{"key":"12_CR24","unstructured":"Object Management Group: Service Oriented Architecture Modeling Language (SoaML) - Specification for the UML Profile and Metamodel for Services (UPMS), version 2.0 (November 2008), \n                    \n                      http:\/\/www.omg.org\/docs\/ad\/08-11-01.pdf"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-93851-4_27","volume-title":"Service-Oriented Computing - ICSOC 2007 Workshops","author":"H. Samset","year":"2009","unstructured":"Samset, H., Br\u00e6k, R.: Dealing with Active and Stateful Services in the Service-Oriented Architecture. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol.\u00a04907, pp. 268\u2013281. Springer, Heidelberg (2009)"},{"key":"12_CR26","unstructured":"Sanders, R.: Collaborations, Semantic Interfaces and Service Goals: A Way Forward for Service Engineering. PhD thesis, Norwegian University of Science and Technology, Trondheim (2007)"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/11506843_6","volume-title":"SDL 2005: Model Driven","author":"R. Sanders","year":"2005","unstructured":"Sanders, R., Br\u00e6k, R., von Bochmann, G., Amyot, D.: Service Discovery and Component Reuse with Semantic Interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 85\u2013102. Springer, Heidelberg (2005)"},{"key":"12_CR28","unstructured":"SIMS Project Website, \n                    \n                      http:\/\/www.ist-sims.org"},{"key":"12_CR29","unstructured":"Sl\u00e5tten, V.: Automatic Detection and Correction of Flaws in Service Specifications. Master\u2019s thesis, Norwegian University of Science and Technology, Trondheim (2008)"},{"key":"12_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48153-2_6","volume-title":"Correct Hardware Design and Verification Methods","author":"Y. Yu","year":"1999","unstructured":"Yu, Y., Manolios, P., Lamport, L.: Model Checking TLA\u2009+\u2009 Specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 54\u201366. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","SDL 2009: Design for Motes and Mobiles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04554-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T18:54:48Z","timestamp":1552157688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04554-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045530","9783642045547"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04554-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}