{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:24Z","timestamp":1740098964642,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319680330"},{"type":"electronic","value":"9783319680347"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_14","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:32:45Z","timestamp":1505309565000},"page":"233-250","source":"Crossref","is-referenced-by-count":3,"title":["Correct Composition of Dephased Behavioural Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5918-9114","authenticated-orcid":false,"given":"Juliana","family":"Bowles","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4529-5442","authenticated-orcid":false,"given":"Marco B.","family":"Caminati","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Ara\u00fajo, J., Whittle, J., Kim, D.: Modeling and composing scenario-based requirements with aspects. In: RE 2004, pp. 58\u201367. IEEE Computer Society Press (2004)","DOI":"10.1109\/ICRE.2004.1335664"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-662-46681-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Bj\u00f8rner","year":"2015","unstructured":"Bj\u00f8rner, N., Phan, A.-D., Fleckenstein, L.: \n            $$\\nu $$\n          z - An Optimizing SMT Solver. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 194\u2013199. Springer, Heidelberg (2015). doi:\n10.1007\/978-3-662-46681-0_14"},{"key":"14_CR3","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-25156-1_7","volume-title":"Model-Driven Engineering and Software Development","author":"J Bowles","year":"2015","unstructured":"Bowles, J., Alwanain, M., Bordbar, B., Chen, Y.: Matching and Merging Scenarios Automatically with Alloy. In: Hammoudi, S., Pires, L.F., Filipe, J., das Neves, R.C. (eds.) MODELSWARD 2014. CCIS, vol. 506, pp. 100\u2013116. Springer, Cham (2015). doi:\n10.1007\/978-3-319-25156-1_7"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-25423-4_16","volume-title":"Formal Methods and Software Engineering","author":"JKF Bowles","year":"2015","unstructured":"Bowles, J.K.F., Bordbar, B., Alwanain, M.: A Logical Approach for Behavioural Composition of Scenario-Based Models. In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 252\u2013269. Springer, Cham (2015). doi:\n10.1007\/978-3-319-25423-4_16"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/11784180_16","volume-title":"Algebraic Methodology and Software Technology","author":"JKF Bowles","year":"2006","unstructured":"Bowles, J.K.F.: Decomposing Interactions. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 189\u2013203. Springer, Heidelberg (2006). doi:\n10.1007\/11784180_16"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Bowles, J., Bordbar, B.: A formal model for integrating multiple views. In: ACSD 2007, pp. 71\u201379. IEEE Computer Society Press (2007)","DOI":"10.1109\/ACSD.2007.39"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Bowles, J., Bordbar, B., Alwanain, M.: Weaving true-concurrent aspects using constraint solvers. In: Application of Concurrency to System Design (ACSD 2016). IEEE Computer Society Press, June 2016","DOI":"10.1109\/ACSD.2016.19"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Bowles, J.K.F., Caminati, M.B.: Mind the gap: addressing behavioural inconsistencies with formal methods. In: 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE Computer Society (2016)","DOI":"10.1109\/APSEC.2016.051"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-11811-1_13","volume-title":"Abstract State Machines, Alloy, B and Z","author":"N D\u2019Ippolito","year":"2010","unstructured":"D\u2019Ippolito, N., Frias, M.F., Galeotti, J.P., Lanzarotti, E., Mera, S.: Alloy+HotCore: A Fast Approximation to Unsat Core. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 160\u2013173. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-11811-1_13"},{"key":"14_CR10","series-title":"Scenario-based Programming Using LSCs and the Play-Engine","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play. Scenario-based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"14_CR11","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Klein, J., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.: Semantic-based weaving of scenarios. In: AOSD 2006, pp. 27\u201338. ACM (2006)","DOI":"10.1145\/1119655.1119662"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-319-33693-0_24","volume-title":"Integrated Formal Methods","author":"A Kovalov","year":"2016","unstructured":"Kovalov, A., Bowles, J.K.F.: Avoiding Medication Conflicts for Patients with Multimorbidities. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 376\u2013390. Springer, Cham (2016). doi:\n10.1007\/978-3-319-33693-0_24"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.tcs.2005.09.068","volume":"351","author":"J K\u00fcster-Filipe","year":"2006","unstructured":"K\u00fcster-Filipe, J.: Modelling concurrent interactions. Theoret. Comput. Sci. 351, 203\u2013220 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-540-87875-9_15","volume-title":"Model Driven Engineering Languages and Systems","author":"H Liang","year":"2008","unstructured":"Liang, H., Diskin, Z., Dingel, J., Posse, E.: A General Approach for Scenario Integration. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 204\u2013218. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-87875-9_15"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-78800-3_24"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Isabelle\/HOL\u2013A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL\u2013A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)"},{"key":"14_CR18","unstructured":"OMG: Business Process Model and Notation. Version 2.0. OMG, documentid: formal\/2011-01-03 (2011). \nhttp:\/\/www.omg.org"},{"key":"14_CR19","unstructured":"OMG: UML: Superstructure. Version 2.4.1. OMG, documentid: formal\/2011-08-06 (2011). \nhttp:\/\/www.omg.org"},{"key":"14_CR20","unstructured":"Reddy, R., Solberg, A., France, R., Ghosh, S.: Composing sequence models using tags. In: Proceedings of MoDELS Workshop on Aspect Oriented Modeling (2006)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Rubin, J., Chechik, M., Easterbrook, S.: Declarative approach for model composition. In: MiSE 2008, pp. 7\u201314. ACM (2008)","DOI":"10.1145\/1370731.1370734"},{"issue":"3","key":"14_CR22","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1109\/TSE.2008.107","volume":"35","author":"S Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Software Eng. 35(3), 384\u2013406 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Whittle, J., Ara\u00fajo, J., Moreira, A.: Composing aspect models with graph transformations. In: Proceedings of the 2006 International Workshop on Early Aspects at ICSE, pp. 59\u201365. ACM (2006)","DOI":"10.1145\/1137639.1137649"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-36089-3_10","volume-title":"Software Language Engineering","author":"M Widl","year":"2013","unstructured":"Widl, M., Biere, A., Brosch, P., Egly, U., Heule, M., Kappel, G., Seidl, M., Tompits, H.: Guided Merging of Sequence Diagrams. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 164\u2013183. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-36089-3_10"},{"key":"14_CR25","first-page":"1","volume-title":"Handbook of Logic in Computer Science: Semantic Modelling","author":"G Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models for Concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science: Semantic Modelling, vol. 4, pp. 1\u2013148. Oxford Science Publications, Oxford (1995)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Zhang, D., Li, S., Liu, X.: An approach for model composition and verification. In: NCM 2009, pp. 1102\u20131107. IEEE Computer Society Press (2009)","DOI":"10.1109\/NCM.2009.271"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:36:41Z","timestamp":1505309801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}