{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:52:26Z","timestamp":1730224346354,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/glocomw.2013.6825124","type":"proceedings-article","created":{"date-parts":[[2014,6,16]],"date-time":"2014-06-16T21:53:24Z","timestamp":1402955604000},"page":"1013-1018","source":"Crossref","is-referenced-by-count":1,"title":["The role of SDL in the design, simulation, validation of system models, and code-generation, in the recently emerged and growing domain of autonomic systems engineering"],"prefix":"10.1109","author":[{"given":"Ranganai","family":"Chaparadza","sequence":"first","affiliation":[{"name":"IPv6 Forum, ETSI AFI, Germany"}]},{"given":"Arun","family":"Prakash","sequence":"additional","affiliation":[{"name":"Fraunhofer FOKUS Institute for Open Communication Systems, Berlin, Germany"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_22"},{"journal-title":"Building A Tool for Synthesis of Correct Design from Interaction Specifications","year":"2006","author":"moorthy","key":"22"},{"key":"17","article-title":"Model-driven tool integration with modelbus","author":"hein","year":"2009","journal-title":"FTMDD'09 Proceedings of the First International Workshop on Future Trends of Model-Driven Development"},{"key":"23","first-page":"1715","article-title":"Interaction of finite state machines and concurrency models","volume":"2","author":"lee","year":"1998","journal-title":"Signals Systems &amp Computers 1998 Conference Record of the Thirty-Second Asilomar Conference on"},{"journal-title":"Generic Modelling Environments","year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275300"},{"key":"16","article-title":"Automated model driven development process","author":"aldazabal","year":"2008","journal-title":"ECMDA Workshop on Model Driven Tool and Process Integration"},{"key":"13","first-page":"262","article-title":"Addressing stability of control-loops in the context of the gana architecture: Synchronization of actions and policies","author":"tcholtchev","year":"2009","journal-title":"IWSOS"},{"key":"14","first-page":"50","article-title":"Addressing stability in future autonomic networking","author":"kastrinogiannis","year":"2010","journal-title":"MONAMI'10 Proc of the Third International ICST Conference on Mobile Networks and Management"},{"key":"11","first-page":"313","author":"chaparadza","year":"0","journal-title":"Towards the Future Internet-A European Research Perspective"},{"journal-title":"Exposing the Features in IP Version Six Protocols That Can Be Exploited\/extended for the Purposes of Designing\/building Autonomic Networks and Services","year":"2008","key":"12"},{"key":"21","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured petri nets and CPN tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"Int J Softw Tools Technol Transf"},{"key":"3","first-page":"1","article-title":"Formal methods for modeling, refining and verifying autonomic components of computer networks","volume":"7050","author":"prakash","year":"2012","journal-title":"Transactions on Computational Science XV-Special Issue on Advances in Autonomic Computing Formal Engineering Methods for Nature-Inspired Computing Systems"},{"key":"20","first-page":"232","article-title":"UP-paal - A tool suite for automatic verification of real-time systems","volume":"1066","author":"bengtsson","year":"1995","journal-title":"Proc of Workshop on Verification and Control of Hybrid Systems III Ser Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2011.6162544"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CTRQ.2010.42"},{"key":"10","article-title":"Requirements for a generic autonomic network architecture (gana), suitable for standardizable autonomic behavior specifications for diverse networking environments","volume":"61","author":"chaparadza","year":"2008","journal-title":"International Engineering Consortium (IEC) Annual Review of Communications"},{"key":"7","first-page":"158","article-title":"Model-based generation of sdl specifications for the early prototyping of reactive systems","author":"metzger","year":"2002","journal-title":"SAM"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.53"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48213-X_1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2012.6477694"},{"journal-title":"GANA Architectural Reference Model for Autonomic Networking Cognitive Networking and Self-Management","year":"2013","key":"9"},{"journal-title":"Autonomic Network Engineering for the Self-managing Future Internet (AFI)","year":"2010","key":"8"}],"event":{"name":"2013 IEEE Globecom Workshops (GC Wkshps)","start":{"date-parts":[[2013,12,9]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2013,12,13]]}},"container-title":["2013 IEEE Globecom Workshops (GC Wkshps)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6820092\/6824917\/06825124.pdf?arnumber=6825124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T14:47:55Z","timestamp":1623163675000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6825124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/glocomw.2013.6825124","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}