{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:07Z","timestamp":1750306387722,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T00:00:00Z","timestamp":1440374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,24]]},"DOI":"10.1145\/2785592.2785611","type":"proceedings-article","created":{"date-parts":[[2015,8,11]],"date-time":"2015-08-11T18:24:13Z","timestamp":1439317453000},"page":"77-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A reactive architecture for cloud-based system engineering"],"prefix":"10.1145","author":[{"given":"David","family":"Adjepon-Yamoah","sequence":"first","affiliation":[{"name":"Newcastle University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[{"name":"Newcastle University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[{"name":"Newcastle University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2014.13"},{"key":"e_1_3_2_1_2_1","volume-title":"Amazon Relational Database Service (Amazon RDS)","author":"Service Amazon Web","year":"2014","unstructured":"Amazon Web Service. Amazon Relational Database Service (Amazon RDS), 2014. Online at http:\/\/aws.amazon.com\/rds\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Intermediate Verification Languages","author":"Bobot F.","year":"2011","unstructured":"F. Bobot, J.-C. Filli\u02c6 atre, C. March\u00e9, and A. Paskevich. Why3: Shepherd your Herd of Provers. In Workshop on Intermediate Verification Languages, 2011."},{"key":"e_1_3_2_1_4_1","volume-title":"Codenvy Developer Environment Cloud","author":"Codenvy Inc.","year":"2014","unstructured":"Codenvy Inc. Codenvy Developer Environment Cloud, 2014. Online at https:\/\/codenvy.com\/products."},{"key":"e_1_3_2_1_5_1","volume-title":"Event-B and the Rodin Platform","author":"B.","year":"2014","unstructured":"Event-B. Event-B and the Rodin Platform, 2014. Online at http:\/\/www.event-b.org\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2012.10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.29"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of Open Source International Conference","author":"Hapke M.","year":"2004","unstructured":"M. Hapke, A. Jaszkiewicz, K. Kowalczykiewicz, D. Weiss, and P. Zielniewicz. OPHELIA: Open Platform for Distributed Software Development. Proceedings of Open Source International Conference, Malaga, Spain, Open Source for an Information and Knowledge Society, 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"The ProB Animator and Model Checker","author":"Heinrich-Heine-University","year":"2014","unstructured":"Heinrich-Heine-University. The ProB Animator and Model Checker, 2014. Online at http:\/\/www.stups.uniduesseldorf.de\/ProB\/index.php5\/Main Page."},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","first-page":"132","volume-title":"Software Engineering for Resilient Systems","author":"Iliasov A.","unstructured":"A. Iliasov, I. Lopatkin, and A. Romanovsky. The SafeCap Project on Railway Safety Verification and Capacity Simulation. In A. Gorbenko, A. Romanovsky, and V. Kharchenko, editors, Software Engineering for Resilient Systems, volume 8166 of Lecture Notes in Computer Science, pages 125\u2013132. Springer Berlin Heidelberg, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCEET.2012.6203873"},{"key":"e_1_3_2_1_12_1","volume-title":"Survey of Publish-Subscribe Event Systems. (TR-574):19, 05\/2003","author":"Liu Y.","year":"2003","unstructured":"Y. Liu and B. Plale. Survey of Publish-Subscribe Event Systems. (TR-574):19, 05\/2003 2003. Online at http:\/\/www.cs.indiana.edu\/pub\/techreports\/TR574.pdf."},{"key":"e_1_3_2_1_13_1","volume-title":"Z3 - Efficient Theorem Prover","author":"Research Microsoft","year":"2014","unstructured":"Microsoft Research. Z3 - Efficient Theorem Prover, 2014. Online at http:\/\/rise4fun.com\/Z3."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2669379.2669391"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_3"},{"key":"e_1_3_2_1_18_1","volume-title":"Orion: Open source platform for cloud based development","author":"Foundation The Eclipse","year":"2014","unstructured":"The Eclipse Foundation. Orion: Open source platform for cloud based development., 2014. Online at http:\/\/www.eclipse.org\/orion\/."},{"key":"e_1_3_2_1_19_1","volume-title":"ProR: Requirements Engineering Platform","author":"Foundation The Eclipse","year":"2015","unstructured":"The Eclipse Foundation. ProR: Requirements Engineering Platform, 2015. Online at http:\/\/eclipse.org\/rmf\/pror\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2011.74"}],"event":{"name":"ICSSP '15: International Conference on Software and Systems Process 2015","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Tallinn Estonia","acronym":"ICSSP '15"},"container-title":["Proceedings of the 2015 International Conference on Software and System Process"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2785592.2785611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2785592.2785611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:10Z","timestamp":1750223230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2785592.2785611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,24]]},"references-count":20,"alternative-id":["10.1145\/2785592.2785611","10.1145\/2785592"],"URL":"https:\/\/doi.org\/10.1145\/2785592.2785611","relation":{},"subject":[],"published":{"date-parts":[[2015,8,24]]},"assertion":[{"value":"2015-08-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}