{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:38:51Z","timestamp":1729640331667,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.23919\/softcom.2017.8115501","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:04:53Z","timestamp":1511474693000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["A formal model of cloud-deployed software and its application to workflow processing"],"prefix":"10.23919","author":[{"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[]},{"given":"Ka I","family":"Pun","sequence":"additional","affiliation":[]},{"given":"S. Lizeth Tapia","family":"Tarifa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-012-9208-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/spe.995"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2011.6139087"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0425-3"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2124"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892236"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49192-8_35"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24072-5_9"},{"key":"ref14","first-page":"49","article-title":"On the integration of automatic deployment into the ABS modeling language","volume":"9306","author":"gouw","year":"2015","journal-title":"Proceedings 4th European Conference on Service-Oriented and Cloud Computing ESOCC ser Lecture Notes in Computer Science Springer"},{"key":"ref15","first-page":"229","article-title":"Zephyrus2: On the fly deployment optimization using SMT and CP technologies","volume":"9984","author":"abraham","year":"2016","journal-title":"Proc 2nd International Symposium on Theories Tools and Applications SETTA ser Lecture Notes in Computer Science Springer"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-013-0148-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_13"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0011-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1810891.1810912"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-1568-8","author":"fehling","year":"2014","journal-title":"Cloud Computing Patterns Fundamentals to Design Build and Manage Cloud Applications"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.6191"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.07.001"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_46"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0444-y"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.228.3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_35"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.172"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_22"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-012-0184-5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_22"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Journal on Software Tools for Technology transfer"},{"key":"ref26","first-page":"805","article-title":"Synthesis of embedded software using free-choice Petri nets","author":"sgroi","year":"1999","journal-title":"Proc 36th ACM\/IEEE Design Automation Conference ACM"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.11.017"}],"event":{"name":"2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM)","start":{"date-parts":[[2017,9,21]]},"location":"Split","end":{"date-parts":[[2017,9,23]]}},"container-title":["2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106909\/8115491\/08115501.pdf?arnumber=8115501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T01:15:26Z","timestamp":1693271726000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115501\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/softcom.2017.8115501","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}