{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T21:07:36Z","timestamp":1747170456110,"version":"3.40.5"},"reference-count":30,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2022,9,15]],"date-time":"2022-09-15T00:00:00Z","timestamp":1663200000000},"content-version":"vor","delay-in-days":1475,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"name":"Univ. of Pisa","award":["PRA_2016_64"],"award-info":[{"award-number":["PRA_2016_64"]}]},{"name":"Univ. of Lyon","award":["ANR-10-LABX-0070"],"award-info":[{"award-number":["ANR-10-LABX-0070"]}]},{"DOI":"10.13039\/501100001665","name":"ANR","doi-asserted-by":"publisher","award":["ANR-11-IDEX-0007"],"award-info":[{"award-number":["ANR-11-IDEX-0007"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1016\/j.scico.2017.06.001","type":"journal-article","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T22:02:41Z","timestamp":1497909761000},"page":"110-131","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Simulation-based matching of cloud applications"],"prefix":"10.1016","volume":"162","author":[{"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Canciani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2435-3543","authenticated-orcid":false,"given":"Jacopo","family":"Soldani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1992","series-title":"Action Refinement in Process Algebras, vol. 3","author":"Aceto","key":"10.1016\/j.scico.2017.06.001_br0010"},{"issue":"4","key":"10.1016\/j.scico.2017.06.001_br0020","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/1721654.1721672","article-title":"A view of cloud computing","volume":"53","author":"Armbrust","year":"2010","journal-title":"Commun. ACM"},{"issue":"3","key":"10.1016\/j.scico.2017.06.001_br0030","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/TSE.2014.2364844","article-title":"Automated synthesis of mediators to support component interoperability","volume":"41","author":"Bennaceur","year":"2015","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.scico.2017.06.001_br0040","series-title":"Service-Oriented Computing","first-page":"692","article-title":"OpenTOSCA \u2013 a runtime for TOSCA-based cloud applications","volume":"vol. 8274","author":"Binz","year":"2013"},{"key":"10.1016\/j.scico.2017.06.001_br0050","series-title":"10th International Symposium on Theoretical Aspects of Software Engineering","first-page":"117","article-title":"Behaviour-aware matching of cloud applications","author":"Bonchi","year":"2016"},{"issue":"3\u20134","key":"10.1016\/j.scico.2017.06.001_br0060","doi-asserted-by":"crossref","first-page":"305","DOI":"10.3233\/FI-2009-133","article-title":"A net-based approach to web services publication and replaceability","volume":"94","author":"Bonchi","year":"2009","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.scico.2017.06.001_br0070","series-title":"Service Oriented and Cloud Computing: Proceedings of 4th European Conference","first-page":"19","article-title":"Modelling and analysing cloud application management","volume":"vol. 9306","author":"Brogi","year":"2015"},{"key":"10.1016\/j.scico.2017.06.001_br0080","series-title":"Service-Oriented and Cloud Computing: Proceedings of 5th IFIP WG 2.14 European Conference","first-page":"219","article-title":"Fault-aware application management protocols","volume":"vol. 9846","author":"Brogi","year":"2016"},{"key":"10.1016\/j.scico.2017.06.001_br0090","series-title":"Transactions on Petri Nets and Other Models of Concurrency XI","first-page":"28","article-title":"A Petri net-based approach to model and analyze the management of cloud applications","volume":"vol. 9930","author":"Brogi","year":"2016"},{"key":"10.1016\/j.scico.2017.06.001_br0100","series-title":"CLOSER 2014 \u2013 Proceedings of the 4th International Conference on Cloud Computing and Services Science","first-page":"758","article-title":"EU project SeaClouds \u2013 adaptive management of service-based applications across multiple clouds","author":"Brogi","year":"2014"},{"key":"10.1016\/j.scico.2017.06.001_br0110","series-title":"Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development","first-page":"667","article-title":"Validating TOSCA application topologies","author":"Brogi","year":"2017"},{"key":"10.1016\/j.scico.2017.06.001_br0120","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/j.scico.2015.09.004","article-title":"Finding available services in TOSCA-compliant clouds","volume":"115\u2013116","author":"Brogi","year":"2016","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2017.06.001_br0130","series-title":"Service-Oriented and Cloud Computing: Proceedings of the Third European Conference","first-page":"171","article-title":"TOSCA in a nutshell: promises and perspectives","volume":"vol. 8745","author":"Brogi","year":"2014"},{"issue":"1\u20132","key":"10.1016\/j.scico.2017.06.001_br0140","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","article-title":"Characterizing finite Kripke structures in propositional temporal logic","volume":"59","author":"Browne","year":"1988","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2017.06.001_br0150","series-title":"Proceedings of the 7th International Joint Conference on Service-Oriented Computing","first-page":"159","article-title":"An automatic approach to enable replacement of conversational services","author":"Cavallaro","year":"2009"},{"key":"10.1016\/j.scico.2017.06.001_br0160","series-title":"Proceedings of ECOWS '07","first-page":"171","article-title":"Structural matching of bpel processes","author":"Eshuis","year":"2007"},{"key":"10.1016\/j.scico.2017.06.001_br0170","series-title":"Handbook of Process Algebra","first-page":"1047","article-title":"Action refinement","author":"Gorrieri","year":"2001"},{"key":"10.1016\/j.scico.2017.06.001_br0180","series-title":"Proceedings of the ICSE'13","first-page":"3","article-title":"Automatic synthesis of modular connectors via composition of protocol mediation patterns","author":"Inverardi","year":"2013"},{"key":"10.1016\/j.scico.2017.06.001_br0190","first-page":"62","article-title":"A tutorial on (Co)Algebras and (Co)Induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"issue":"2","key":"10.1016\/j.scico.2017.06.001_br0200","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.websem.2008.10.001","article-title":"OWLS-MX: a hybrid semantic web service matchmaker for OWL-S services","volume":"7","author":"Klusch","year":"2009","journal-title":"Web Semant., Sci. Serv. Agents WWW"},{"key":"10.1016\/j.scico.2017.06.001_br0210","series-title":"2009 Seventh IEEE International Conference on Software Engineering and Formal Methods","first-page":"250","article-title":"Refinement via interpretation","author":"Martins","year":"2009"},{"issue":"1","key":"10.1016\/j.scico.2017.06.001_br0220","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-10(1:1)2014","article-title":"The role of logical interpretations in program development","volume":"10","author":"Martins","year":"2014","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.scico.2017.06.001_br0230","series-title":"Proceedings of the 19th International Conference on World Wide Web","first-page":"731","article-title":"Protocol-aware matching of web service interfaces for adapter development","author":"Reza Motahari Nezhad","year":"2010"},{"author":"OASIS","key":"10.1016\/j.scico.2017.06.001_br0240"},{"author":"OASIS","key":"10.1016\/j.scico.2017.06.001_br0250"},{"key":"10.1016\/j.scico.2017.06.001_br0260","series-title":"Net.ObjectDays","first-page":"155","article-title":"Component composition with parametric contracts","author":"Reussner","year":"2004"},{"year":"2011","series-title":"Introduction to Bisimulation and Coinduction","author":"Davide","key":"10.1016\/j.scico.2017.06.001_br0270"},{"key":"10.1016\/j.scico.2017.06.001_br0280","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/j.jss.2015.12.025","article-title":"ToscaMart: a method for adapting and reusing cloud applications","volume":"113","author":"Soldani","year":"2016","journal-title":"J. Syst. Softw."},{"issue":"4","key":"10.1016\/j.scico.2017.06.001_br0290","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s002360000041","article-title":"Refinement of actions and equivalence notions for concurrent systems","volume":"37","author":"Van Glabbeek","year":"2001","journal-title":"Acta Inform."},{"issue":"3","key":"10.1016\/j.scico.2017.06.001_br0300","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"Van Glabbeek","year":"1996","journal-title":"J. ACM"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642317301223?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642317301223?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,9,15]],"date-time":"2022-09-15T20:09:47Z","timestamp":1663272587000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642317301223"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":30,"alternative-id":["S0167642317301223"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2017.06.001","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2018,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Simulation-based matching of cloud applications","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2017.06.001","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2017 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}