{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:52:10Z","timestamp":1729633930064,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/cisis.2015.26","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:48:44Z","timestamp":1439506124000},"page":"192-199","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Moscato","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/3-540-46429-8_28","article-title":"Reliabil-ity and performability modeling using sharpe 2000","volume":"1786","author":"hirel","year":"2000","journal-title":"Computer Performance Evaluation Modelling Techniques and Tools Ser Lecture Notes in Computer Science"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1504\/IJGUC.2014.060198"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2012.143"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"article-title":"Cloud computing patterns","year":"2011","author":"fehling","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0233-4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2389936.2389947"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2005.007545"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","article-title":"Automated composition of semantic web services into executable processes","author":"traverso","year":"2004","journal-title":"The Semantic Web - ISWC 2004 SpringerLink"},{"key":"ref13","first-page":"17","article-title":"Semi-automatic composition of web services using semantic descriptions","author":"sirin","year":"2003","journal-title":"1st Workshop on Web Services Modeling Architecture and Infrastructure"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.2.5.1-15"},{"key":"ref15","first-page":"299","article-title":"Automatic analysis of control flow in web services composition processes","author":"lorenzo","year":"2007","journal-title":"PDP"},{"key":"ref16","article-title":"Enabling model driven engineering of cloud services by using mosaic ontol-ogy","volume":"13","author":"moscato","year":"2012","journal-title":"Scalable Computing Practice and Experience"},{"key":"ref17","first-page":"973","article-title":"An analysis of mosaic ontology for cloud resources annotation","author":"moscato","year":"2011","journal-title":"IEEE Proc of FedCSIS 2011 Con-ference"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INCoS.2014.38"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/INCoS.2014.37"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"journal-title":"Design Pat-terns Elements of Reusable Object-Oriented Software","year":"1994","author":"gamma","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s11280-007-0033-x"},{"journal-title":"Concurrency and Computation Practice and Experience","article-title":"A note on resource orchestration for cloud computing","year":"2014","author":"ranjan","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/fi4010110"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7518-7_6"},{"journal-title":"Cloud Architecture Patterns Using Microsoft Azure","year":"2012","author":"wilder","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2009.195"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2013.123"},{"journal-title":"Concurrency and Computation Practice and Experience","article-title":"A note on resource orchestration for cloud computing","year":"2014","author":"ranjan","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2011.52"},{"volume":"2","first-page":"1","article-title":"Us government cloud computing technology roadmap release 1.0 (draft)","year":"2011","key":"ref1"},{"article-title":"Cloud computing patterns","year":"2014","author":"leymann","key":"ref20"},{"journal-title":"arXiv preprint arXiv 1403 0949","article-title":"Leveraging semantic web technologies for managing resources in a multi-domain infrastructure-as-a-service environment","year":"2014","author":"xin","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04765-2_8"},{"key":"ref24","first-page":"12","article-title":"From pattern languages to solution imple-mentations","author":"falkenthal","year":"2014","journal-title":"PATTERNS 2014 The Sixth International Conferences on Pervasive Patterns and Applications"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-319-01571-2_33","article-title":"Ex-ploiting cloud technologies and context information for recommending touristic paths","author":"amato","year":"2014","journal-title":"Intelligent Distributed Computing VII"},{"article-title":"A structural approach to operational seman-tics","year":"1981","author":"plotkin","key":"ref26"},{"article-title":"Cloud design patterns: Prescriptive architecture guidance for cloud applications","year":"2014","author":"net","key":"ref25"}],"event":{"name":"2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS)","start":{"date-parts":[[2015,7,8]]},"location":"Santa Catarina, Brazil","end":{"date-parts":[[2015,7,10]]}},"container-title":["2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7181824\/7185122\/07185185.pdf?arnumber=7185185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T17:37:22Z","timestamp":1498239442000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7185185\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":35,"URL":"http:\/\/dx.doi.org\/10.1109\/cisis.2015.26","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}
