{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:21:29Z","timestamp":1765232489173,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319686899"},{"type":"electronic","value":"9783319686905"}],"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-68690-5_13","type":"book-chapter","created":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T21:14:51Z","timestamp":1507583691000},"page":"209-225","source":"Crossref","is-referenced-by-count":5,"title":["A Flexible Approach for Finding Optimal Paths with Minimal Conflicts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5918-9114","authenticated-orcid":false,"given":"Juliana K. F.","family":"Bowles","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4529-5442","authenticated-orcid":false,"given":"Marco B.","family":"Caminati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,11]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Ara\u00fajo, J., Whittle, J., Kim, D.: Modeling and composing scenario-based requirements with aspects. In: Proceedings of the 12th IEEE International Requirements Engineering Conference, pp. 58\u201367. IEEE Computer Society Press (2004)","DOI":"10.1109\/ICRE.2004.1335664"},{"key":"13_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.: vZ - 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":"13_CR3","unstructured":"Bobot, F., Filli\u00e2tre, J.C., March\u00e9, C., Paskevich, A.: Why3: shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, pp. 53\u201364 (2011)"},{"key":"13_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":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bowles, J., Bordbar, B.: A formal model for integrating multiple views. In: Seventh International Conference on Application of Concurrency to System Design, 2007, ACSD 2007, pp. 71\u201379. IEEE Computer Society Press (2007)","DOI":"10.1109\/ACSD.2007.39"},{"key":"13_CR6","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":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bowles, J.K.F., Caminati, M.B.: Mind the gap: addressing behavioural inconsistencies with formal methods. In: 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE Computer Society (2016)","DOI":"10.1109\/APSEC.2016.051"},{"issue":"6","key":"13_CR8","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1001\/jama.294.6.716","volume":"294","author":"CM Boyd","year":"2005","unstructured":"Boyd, C.M., Darer, J., Boult, C., Fried, L.P., Boult, L., Wu, A.W.: Clinical practice guidelines and quality of care for older patients with multiple comorbid diseases: implications for pay for performance. JAMA 294(6), 716\u2013724 (2005)","journal-title":"JAMA"},{"key":"13_CR9","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":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-38326-7_5","volume-title":"Artificial Intelligence in Medicine","author":"B Jafarpour","year":"2013","unstructured":"Jafarpour, B., Abidi, S.S.R.: Merging disease-specific clinical guidelines to handle comorbidities in a clinical decision support setting. In: Peek, N., Mar\u00edn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 28\u201332. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38326-7_5"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Klein, J., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.: Semantic-based weaving of scenarios. In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, pp. 27\u201338. ACM (2006)","DOI":"10.1145\/1119655.1119662"},{"key":"13_CR12","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":"13_CR13","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"},{"issue":"1","key":"13_CR14","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1109\/TC.2011.203","volume":"62","author":"M Lombardi","year":"2013","unstructured":"Lombardi, M., Milano, M., Benini, L.: Robust scheduling of task graphs under execution time uncertainty. IEEE Trans. Comput. 62(1), 98\u2013111 (2013)","journal-title":"IEEE Trans. Comput."},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-36438-9_2","volume-title":"Process Support and Knowledge Representation in Health Care","author":"JA L\u00f3pez-Vallverd\u00fa","year":"2013","unstructured":"L\u00f3pez-Vallverd\u00fa, J.A., Ria\u00f1o, D., Collado, A.: Rule-based combination of comorbid treatments for chronic diseases applied to hypertension, diabetes mellitus and heart failure. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Ria\u00f1o, D., ten Teije, A. (eds.) KR4HC\/ProHealth -2012. LNCS, vol. 7738, pp. 30\u201341. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-36438-9_2"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-38326-7_3","volume-title":"Artificial Intelligence in Medicine","author":"M Michalowski","year":"2013","unstructured":"Michalowski, M., Wilk, S., Michalowski, W., Lin, D., Farion, K., Mohapatra, S.: Using constraint logic programming to implement iterative actions and numerical measures during mitigation of concurrently applied clinical practice guidelines. In: Peek, N., Mar\u00edn Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 17\u201322. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38326-7_3"},{"key":"13_CR17","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":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). doi:\n10.1007\/3-540-45949-9"},{"key":"13_CR19","unstructured":"OMG: Business Process Model and Notation. Version 2.0. OMG (2011). \nhttp:\/\/www.omg.org\n\n, document id: formal\/2011-01-03"},{"key":"13_CR20","unstructured":"OMG: UML: Superstructure. Version 2.4.1. OMG (2011). \nhttp:\/\/www.omg.org\n\n, document id: formal\/2011-08-06"},{"issue":"1","key":"13_CR21","first-page":"1","volume":"1","author":"L Piovesan","year":"2014","unstructured":"Piovesan, L., Molino, G., Terenziani, P.: An ontological knowledge and multiple abstraction level decision support system in healthcare. Decision Anal. 1(1), 1 (2014)","journal-title":"Decision Anal."},{"key":"13_CR22","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":"13_CR23","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":"11","key":"13_CR24","doi-asserted-by":"crossref","first-page":"2498","DOI":"10.1101\/gr.1239303","volume":"13","author":"P Shannon","year":"2003","unstructured":"Shannon, P., Markiel, A., Ozier, O., Baliga, N.S., Wang, J.T., Ramage, D., Amin, N., Schwikowski, B., Ideker, T.: Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Res. 13(11), 2498\u20132504 (2003)","journal-title":"Genome Res."},{"issue":"3","key":"13_CR25","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. Softw. Eng. 35(3), 384\u2013406 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR26","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":"13_CR27","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":"13_CR28","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 Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68690-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:18:52Z","timestamp":1507796332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68690-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319686899","9783319686905"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68690-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}