{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:54:30Z","timestamp":1725864870551},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319466125"},{"type":"electronic","value":"9783319466132"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46613-2_15","type":"book-chapter","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T13:31:35Z","timestamp":1473687095000},"page":"226-241","source":"Crossref","is-referenced-by-count":1,"title":["Modular Solutions to Common Design Problems Using Activities and the Interface-Modular Method"],"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,9,13]]},"reference":[{"key":"15_CR1","unstructured":"Object Management Group.Unified Modeling Language: Superstructure, version 2.4.1 (2011). http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure"},{"key":"15_CR2","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-27869-8_20","volume-title":"Model-Driven Engineering and Software Development","author":"U Fatima","year":"2015","unstructured":"Fatima, U., Br\u00e6k, R.: The interface-modular method for global system behaviour specification. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L.F. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 339\u2013355. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-27869-8_20"},{"issue":"3","key":"15_CR3","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/s10270-011-0216-x","volume":"12","author":"HN Castej\u00f3n","year":"2013","unstructured":"Castej\u00f3n, H.N., Bochmann, G.V., Br\u00e6k, R.: On the realizability of collaborative services. Softw. Syst. Model. 12(3), 597\u2013617 (2013)","journal-title":"Softw. Syst. Model."},{"issue":"7","key":"15_CR4","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1109\/TCOM.1984.1096134","volume":"32","author":"MG Gouda","year":"1984","unstructured":"Gouda, M.G., Yu, Y.T.: Synthesis of communicating finite-state machines with guaranteed progress. IEEE Trans. Commun. 32(7), 779\u2013788 (1984)","journal-title":"IEEE Trans. Commun."},{"key":"15_CR5","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, pp. 6:1\u20136:8. ACM (2011). URL http:\/\/doi.acm.org\/10.1145\/2095654.2095662"},{"key":"15_CR6","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). doi: 10.1007\/978-3-642-21652-7_3"},{"key":"15_CR7","unstructured":"Floch, J., Br\u00e6k, R.: Towards plug-and-play services: design and validation using roles. Ph.D. thesis, Department of Telematics, Norwegian University of Science and Technology (2003)"},{"issue":"4","key":"15_CR8","doi-asserted-by":"crossref","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":"15_CR9","unstructured":"Reactive blocks - the tool for professional java developers. Accessed 01 Nov 2015"},{"issue":"12","key":"15_CR10","doi-asserted-by":"crossref","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). Elsevier","journal-title":"J. Syst. Softw."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, pp. 5\u201312. ACM (2006)","DOI":"10.1145\/1138953.1138956"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.14279\/tuj.eceasst.47.717.723","volume":"47","author":"F Han","year":"2012","unstructured":"Han, F., Herrmann, P.: Remedy of mixed initiative conflicts in model-based system engineering. Electron. Commun. EASST 47, 1\u201314 (2012). doi: 10.14279\/tuj.eceasst.47.717.723","journal-title":"Electron. Commun. EASST"},{"key":"15_CR13","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Engineering support for UML activities by automated model-checking - an example. In: Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2007), pp. 51\u201366. ERCIM Working Group (2007)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Technology-Specific Aspects of Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46613-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:34:08Z","timestamp":1498343648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46613-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319466125","9783319466132"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46613-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}