{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T11:16:21Z","timestamp":1764587781617,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319278681"},{"type":"electronic","value":"9783319278698"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27869-8_20","type":"book-chapter","created":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T09:44:07Z","timestamp":1451900647000},"page":"339-355","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Interface-Modular Method for Global System Behaviour Specification"],"prefix":"10.1007","author":[{"given":"Urooj","family":"Fatima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolv","family":"Br\u00e6k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,5]]},"reference":[{"key":"20_CR1","unstructured":"Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., et al.: Web service choreography interface (WSCI) 1.0. Standards proposal by BEA Systems, Intalio, SAP, and Sun Microsystems (2002)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: An interface formalism for web services. In: Proceeding of the First International Workshop on Foundations of Interface Technologies (2005)","DOI":"10.1145\/1060745.1060770"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Proceedings of the 14th International Conference on World Wide Web. ACM, New York (2005)","DOI":"10.1145\/1060745.1060770"},{"key":"20_CR4","volume-title":"Engineering Real Time Systems","author":"R Br\u00e6k","year":"1993","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems. Prentice Hall, Hertfordshire (1993)"},{"issue":"12","key":"20_CR5","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"RJA Buhr","year":"1998","unstructured":"Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng. 24(12), 1131\u20131155 (1998). IEEE Press","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","first-page":"339","volume-title":"SDL 2005: Model Driven","author":"HN Castej\u00f3n","year":"2005","unstructured":"Castej\u00f3n, H.N.: Synthesizing state-machine behaviour from UML collaborations and use case maps. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 339\u2013359. Springer, Heidelberg (2005)"},{"key":"20_CR7","unstructured":"Castej\u00f3n, H.N.: Collaborations in Service Engineering: Modeling, Analysis and Execution. PhD Thesis, Department of Telematics, NTNU (2008)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Castej\u00f3n, H.N., Br\u00e6k, R., Bochmann, G.V.: Realizability of collaboration-based service specifications. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC07). IEEE Computer Society Press (2007)","DOI":"10.1109\/APSEC.2007.79"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1142\/S0218843004001012","volume":"13","author":"R Dijkman","year":"2004","unstructured":"Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. Int. J. Coop. Inf. Syst. 13, 337 (2004)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-36757-1_9","volume-title":"System Analysis and Modeling: Theory and Practice","author":"U Fatima","year":"2013","unstructured":"Fatima, U., Br\u00e6k, R.: On deriving detailed component design from high-level service specification. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 142\u2013159. Springer, Heidelberg (2013)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-45075-0_15","volume-title":"SDL 2003: System Design","author":"J Floch","year":"2003","unstructured":"Floch, J., Br\u00e6k, R.: Using projections for the detection of anomalous behaviours. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 251\u2013268. Springer, Heidelberg (2003)"},{"key":"20_CR12","unstructured":"Kathayat, S.B., Br\u00e6k, R.: Analyzing realizability of choreographies using initiating and responding flows. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, pp. 6:1\u20136:8. ACM, New York (2011). \n                    http:\/\/doi.acm.org\/10.1145\/2095654.2095662"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-21652-7_3","volume-title":"System Analysis and Modeling: About Models","author":"SB Kathayat","year":"2011","unstructured":"Kathayat, S.B., Br\u00e6k, R.: From flow-global choreography to component types. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 36\u201355. Springer, Heidelberg (2011)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-25264-8_13","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"SB Kathayat","year":"2011","unstructured":"Kathayat, S.B., Le, H.N., Br\u00e6k, R.: A model-driven framework for component-based development. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 154\u2013167. Springer, Heidelberg (2011)"},{"issue":"12","key":"20_CR15","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.jss.2009.06.057","volume":"82","author":"FA Kraemer","year":"2009","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82(12), 2068\u20132080 (2009)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/TSE.1984.5010246","volume":"10","author":"SS Lam","year":"1984","unstructured":"Lam, S.S., Shankar, A.U.: Protocol verification via projections. IEEE Trans. Softw. Eng. 10(4), 325\u2013342 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR17","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. Electron. Notes Theor. Comput. Sci. 101, 129\u2013153 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"20_CR18","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Proceedings of the 16th International Conference on World Wide Web, WWW \u201907, pp. 973\u2013982. ACM, New York (2007). \n                    http:\/\/doi.acm.org\/10.1145\/1242572.1242704"},{"key":"20_CR19","unstructured":"ReactiveBlocks: Reactive blocks - the tool for professional java developers (2014). \n                    http:\/\/www.bitreactive.com\n                    \n                  . Accessed on 14 May 2015"},{"issue":"3","key":"20_CR20","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/TSC.2011.9","volume":"5","author":"G Sala\u00fcn","year":"2012","unstructured":"Sala\u00fcn, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE Trans. Serv. Comput. 5(3), 290\u2013304 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"20_CR21","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":"RT Sanders","year":"2005","unstructured":"Sanders, R.T., Br\u00e6k, R., Bochmann, G.V., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 85\u2013102. Springer, Heidelberg (2005)"},{"issue":"3","key":"20_CR22","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1109\/TSMCC.2008.919193","volume":"38","author":"MJ Zaha","year":"2008","unstructured":"Zaha, M.J., Dumas, M., Hofstede, A.H.M., Barros, A., Decker, G.: Bridging global and local models of service-oriented systems. IEEE Trans. Syst. Man Cybern. 38(3), 302\u2013318 (2008). IEEE Press","journal-title":"IEEE Trans. Syst. Man Cybern."}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27869-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T07:59:15Z","timestamp":1558511955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27869-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319278681","9783319278698"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27869-8_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"5 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}