{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:31:02Z","timestamp":1729672262794,"version":"3.28.0"},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/syscon.2017.7934714","type":"proceedings-article","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T20:22:08Z","timestamp":1496089328000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Test-driven modeling and development of cloud-enabled cyber-physical smart systems"],"prefix":"10.1109","author":[{"given":"Allan","family":"Munck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Madsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2124"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1002\/spe.995"},{"journal-title":"SimJava Version 2 0","year":"0","key":"ref33"},{"key":"ref32","first-page":"346","article-title":"BRITE: An approach to universal topology generation","author":"medina","year":"2001","journal-title":"Proc IEEE Int Symp Modeling Analysis and Simulation of Computer and Telecommunication Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45172-3_3"},{"key":"ref30","first-page":"162","article-title":"A simulation model for evaluating distributed storage services for smart product systems","author":"miche","year":"2011","journal-title":"International Conference on Mobile and Ubiquitous Systems Computing Networking and Services"},{"journal-title":"Cloudsim A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services","year":"2009","author":"calheiros","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSIM.2009.5192685"},{"journal-title":"Discrete Event Simulator","year":"0","key":"ref35"},{"journal-title":"SimJava v2 0 API Specification","year":"0","key":"ref34"},{"key":"ref10","first-page":"132","article-title":"Incorporating Usability Requirements In a Test\/Model-Driven Web Engineering Approach","volume":"9","author":"luna","year":"2010","journal-title":"J Web Eng"},{"key":"ref40","article-title":"Cloudana-lyst: A cloudsim-based visual modeller for analysing cloud computing environments and applications","author":"wickremasinghe","year":"2010","journal-title":"Proc 24th IEEE International Conference on Advanced Information Networking and Applications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.85"},{"journal-title":"Unified Modeling Language (UML)","year":"0","key":"ref12"},{"key":"ref13","article-title":"Creating declarative process models using test driven modeling suite","author":"zugal","year":"2011","journal-title":"Proceedings of the Conference on Advanced Information Systems Engineering Forum (CAiSE)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4018\/jismd.2013040102"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TwinPeaks.2012.6344557"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2010.8629"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6148059"},{"key":"ref18","article-title":"Integration of test-driven agile simulation approach in service-oriented tool environment","author":"schneider","year":"2013","journal-title":"Proceedings of the 46th Annual Simulation Symposium Society for Computer Simulation International"},{"key":"ref19","first-page":"35","article-title":"How to avoid model interferences for test-driven agile simulation based on standardized UML profiles (work in progress)","author":"schneider","year":"2014","journal-title":"Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.158"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.152"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4108\/icst.urb-iot.2014.257268"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.34"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MIM.2007.4428578"},{"key":"ref29","article-title":"Environment modeling for automated testing of cloud applications","volume":"1","author":"zhang","year":"2012","journal-title":"IEEE Software Special Issue on Software Engineering for Cloud Computing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2013.6721538"},{"key":"ref8","first-page":"395","article-title":"Test driven development of UML models with SMART modeling sysbmbutem","author":"hayashi","year":"2004","journal-title":"International Conference on The Unified Modeling Language"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2004.1331307"},{"key":"ref2","first-page":"13","article-title":"Agile Model Driven Development (AMDD)","author":"ambler","year":"2006","journal-title":"XOOTIC Symposium 2006"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-02818-2_10","article-title":"Bridging test and model-driven approaches in web engineering","author":"luna","year":"2009","journal-title":"International Conference on Web Engineering"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231156"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30599-8_19"},{"journal-title":"The UML Profile for MARTE Modeling and Analysis of Real-Time and Embedded Systems","year":"0","key":"ref22"},{"journal-title":"Systems modeling language","year":"0","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/UCC.2014.16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/NORCHIP.2015.7364410"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2014.70"},{"journal-title":"Formal Versions of UTP","year":"0","key":"ref23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2016.7568309"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LATINCOM.2014.7041851"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CCIS.2012.6664581"},{"journal-title":"A Tutorial on UPPAAL 4 0","year":"2006","author":"behrmann","key":"ref25"}],"event":{"name":"2017 Annual IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2017,4,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2017,4,27]]}},"container-title":["2017 Annual IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7932286\/7934697\/07934714.pdf?arnumber=7934714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:39:30Z","timestamp":1569393570000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7934714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/syscon.2017.7934714","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}