{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:58:16Z","timestamp":1760597896763},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030172961"},{"type":"electronic","value":"9783030172978"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-17297-8_9","type":"book-chapter","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T13:04:12Z","timestamp":1560258252000},"page":"243-267","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Balancing Prescriptions with Constraint Solvers"],"prefix":"10.1007","author":[{"given":"Juliana K. F.","family":"Bowles","sequence":"first","affiliation":[]},{"given":"Marco B.","family":"Caminati","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,12]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Ara\u00fajo J, Whittle J, Kim D (2004) Modeling and composing scenario-based requirements with aspects. In: RE 2004. IEEE Computer Society Press, pp 58\u201367","DOI":"10.1109\/ICRE.2004.1335664"},{"key":"9_CR2","unstructured":"Barrett C, Stump A, Tinelli C (2010) The SMT-LIB standard: version 2.0. In: Gupta A, Kroening D (eds) Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, UK)"},{"key":"9_CR3","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":"Nikolaj Bj\u00f8rner","year":"2015","unstructured":"Bj\u00f8rner N, Phan AD, Fleckenstein L (2015) \n                    \n                      \n                    \n                    $$\\nu $$\n                  z-an optimizing SMT solver. In: International conference on tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp 194\u2013199"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/11784180_16","volume-title":"Algebraic Methodology and Software Technology","author":"Juliana K\u00fcster Filipe Bowles","year":"2006","unstructured":"Bowles J (2006) Decomposing interactions. In: Johnson M, Vene V (eds) Algebraic methodology and software technology: 11th international conference, Kuressaare, Estonia, 5\u20138 July 2006. Lecture notes in computer science, vol 4019. Springer, Berlin, pp 189\u2013203"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bowles J, Bordbar B (2007) A formal model for integrating multiple views. In: ACSD 2007. IEEE Computer Society Press, pp 71\u201379","DOI":"10.1109\/ACSD.2007.39"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bowles J, Caminati M (2016) Mind the gap: addressing behavioural inconsistencies with formal methods. In: 23rd Asia-Pacific software engineering conference (APSEC). IEEE Computer Society, pp 313\u2013320","DOI":"10.1109\/APSEC.2016.051"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-68034-7_14","volume-title":"Formal Aspects of Component Software","author":"Juliana Bowles","year":"2017","unstructured":"Bowles J, Caminati M (2017) Correct composition of dephased behavioural models. In: Proen\u00e7a J, Lumpe M (eds) Formal aspects of component software (FACS 2017). Lecture notes in computer science, vol 10487. Springer, Berlin, pp 233\u2013250"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-68690-5_13","volume-title":"Formal Methods and Software Engineering","author":"Juliana K. F. Bowles","year":"2017","unstructured":"Bowles J, Caminati M (2017) A flexible approach for finding optimal paths with minimal conflicts. In: International conference on formal engineering methods. Lecture notes in computer science, vol 10610. Springer, Berlin, pp 209\u2013225"},{"key":"9_CR9","first-page":"239","volume-title":"Lecture Notes in Computer Science","author":"Juliana Bowles","year":"2017","unstructured":"Bowles J, Caminati M (2017) A verified algorithm enumerating event structures. In: Geuvers H, England M, Hasan O, Rabe F, Teschke O (eds) Intelligent computer mathematics (CICM 2017). Lecture notes in computer science, vol 10383. Springer, Berlin, pp 239\u2013254"},{"key":"9_CR10","first-page":"100","volume-title":"Communications in Computer and Information Science","author":"J. Bowles","year":"2015","unstructured":"Bowles J, Alwanain M, Bordbar B, Chen Y (2015) Matching and merging scenarios automatically with Alloy. In: Hammoudi S et al (eds) Model-driven engineering and software development. Communications in computer and information science, vol 506. Springer, Berlin, pp 100\u2013116"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-25423-4_16","volume-title":"Formal Methods and Software Engineering","author":"Juliana K\u00fcster Filipe Bowles","year":"2015","unstructured":"Bowles J, Bordbar B, Alwanain M (2015) A logical approach for behavioural composition of scenario-based models. In: Butler M, Conchon S, Za\u00efdi F (eds) Formal methods and software engineering: 17th international conference on formal engineering methods. Lecture notes in computer science, vol 9407. Springer, Berlin, pp 252\u2013269"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Bowles J, Bordbar B, Alwanain M (2016) Weaving true-concurrent aspects using constraint solvers. In: Application of concurrency to system design (ACSD 2016). IEEE Computer Society Press, pp 35\u201344","DOI":"10.1109\/ACSD.2016.19"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Bowles J, Caminati MB, Cha S (2017) An integrated framework for verifying multiple care pathways. In: 2017 international symposium on theoretical aspects of software engineering (TASE). IEEE Computer Society Press, pp 1\u20138","DOI":"10.1109\/TASE.2017.8285628"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Caminati M, Kerber M, Lange C, Rowat C (2015) Sound auction specification and implementation. In: Proceedings of the 16th ACM conference on economics and computation, ACM EC \u201915, pp 547\u2013564","DOI":"10.1145\/2764468.2764511"},{"key":"9_CR15","first-page":"100","volume-title":"Lecture Notes in Computer Science","author":"Fabrizio d'Amore","year":"1997","unstructured":"d\u2019Amore F, Franciosa P, Giaccio R, Talamo M (1997) Maintaining maxima under boundary updates. In: Italian conference on algorithms and complexity. Lecture notes in computer science, vol 1203. Springer, Berlin, pp 100\u2013109"},{"issue":"12","key":"9_CR16","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman RM, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inf Softw Technol 50(12):1281\u20131294","journal-title":"Inf Softw Technol"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1093\/ageing\/afs100","volume":"42","author":"L Hughes","year":"2013","unstructured":"Hughes L, McMurdo MET, Guthrie B (2013) Guidelines for people not for diseases: the challenges of applying UK clinical guidelines to people with multimorbidity. Age Ageing 42:62\u201369","journal-title":"Age Ageing"},{"key":"9_CR18","unstructured":"Jackson D (2006) Software abstractions: logic, language and analysis. MIT Press, Cambridge"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Klein J, H\u00e9lou\u00ebt L, J\u00e9z\u00e9quel J (2006) Semantic-based weaving of scenarios. In: AOSD\u201906. ACM, pp 27\u201338","DOI":"10.1145\/1119655.1119662"},{"key":"9_CR20","first-page":"376","volume-title":"Lecture Notes in Computer Science","author":"Andrii Kovalov","year":"2016","unstructured":"Kovalov A, Bowles J (2016) Avoiding medication conflicts for patients with multimorbidities. In: 12th international conference on integrated formal methods. Lecture Notes in Computer Science, vol 9681. Springer, Berlin, pp 376\u2013392"},{"key":"9_CR21","doi-asserted-by":"publisher","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 (2006) Modelling concurrent interactions. Theor Comput Sci 351:203\u2013220","journal-title":"Theor Comput Sci"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Liang H, Diskin Z, Dingel J, Posse E (2008) A general approach for scenario integration. In: MoDELS 2008. Lecture notes in computer science, vol 5301. Springer, Berlin, pp 204\u2013218","DOI":"10.1007\/978-3-540-87875-9_15"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Moura LD, Bj\u00f8rner N (2008) Z3: an efficient SMT solver. In: TACAS 2008. Lecture Notes in Computer Science, vol 4963. Springer, Berlin, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Nipkow T, Paulson LC, Wenzel M (2002) Isabelle\/HOL \u2013 a proof assistant for higher-order logic. Lecture notes in computer science, vol 2283. Springer, Berlin","DOI":"10.1007\/3-540-45949-9"},{"key":"9_CR25","unstructured":"OMG (2011) Business process model and notation. Version 2.0. OMG. \n                    http:\/\/www.omg.org\n                    \n                  , Document ID: formal\/2011-01-03"},{"key":"9_CR26","unstructured":"OMG (2011) UML: superstructure. Version 2.4.1. OMG. \n                    http:\/\/www.omg.org\n                    \n                  , Document ID: formal\/2011-08-06"},{"key":"9_CR27","unstructured":"Reddy R, Solberg A, France R, Ghosh S (2006) Composing sequence models using tags. In: Proceedings of the MoDELS workshop on aspect oriented modeling"},{"key":"9_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"Wolfgang Reisig","year":"1985","unstructured":"Reisig W (1985) Petri nets. EATCS monograph, vol 4. Springer, Berlin"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Rubin J, Chechik M, Easterbrook S (2008) Declarative approach for model composition. In: MiSE 2008. ACM, pp 7\u201314","DOI":"10.1145\/1370731.1370734"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Whittle J, Ara\u00fajo J, Moreira A (2006) Composing aspect models with graph transformations. In: Proceedings of the 2006 international workshop on early aspects at ICSE. ACM, pp 59\u201365","DOI":"10.1145\/1137639.1137649"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-36089-3_10","volume-title":"Software Language Engineering","author":"Magdalena Widl","year":"2013","unstructured":"Widl M, Biere A, Brosch P, Egly U, Heule M, Kappel G, Seidl M, Tompits H (2013) Guided merging of sequence diagrams. In: SLE 2012. Lecture notes in computer science, vol 7745. Springer, Berlin, pp 164\u2013183"},{"key":"9_CR32","series-title":"Handbook of logic in computer science","first-page":"1","volume-title":"Semantic modelling","author":"G Winskel","year":"1995","unstructured":"Winskel G, Nielsen M (1995) Models for concurrency. In: Abramsky S, Gabbay D, Maibaum T (eds) Semantic modelling, vol 4. Handbook of logic in computer science. Oxford Science Publications, Oxford, pp 1\u2013148"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Zhang D, Li S, Liu X (2009) An approach for model composition and verification. In: NCM 2009. IEEE Computer Society Press, pp 1102\u20131107","DOI":"10.1109\/NCM.2009.271"}],"container-title":["Computational Biology","Automated Reasoning for Systems Biology and Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17297-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T13:15:03Z","timestamp":1560258903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17297-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030172961","9783030172978"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17297-8_9","relation":{},"ISSN":["1568-2684","2662-2432"],"issn-type":[{"type":"print","value":"1568-2684"},{"type":"electronic","value":"2662-2432"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}