{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:11:58Z","timestamp":1729627918423,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/aiccsa.2008.4493686","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T17:37:07Z","timestamp":1209404227000},"page":"1107-1114","source":"Crossref","is-referenced-by-count":1,"title":["A UML rule-based approach for describing and checking dynamic software architectures"],"prefix":"10.1109","author":[{"given":"Mohamed Nadhmi","family":"Miladi","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Hadj Kacem","sequence":"additional","affiliation":[]},{"given":"Achraf","family":"Boukhris","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[]},{"given":"Khalil","family":"Drira","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","first-page":"8","article-title":"a uml profile and a fujaba plugin for modelling dynamic software architectures","author":"miladi","year":"2007","journal-title":"MoDSE'07 Workshop on Model-Driven Software Evolution March 20-23"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1145\/773126.773140"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/302405.302410"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/504087.504088"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60406-5_12","article-title":"specifying distributed software architectures","author":"magee","year":"1995","journal-title":"Fifth European Software Engineering Conference ESEC '95 Barcelona"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1145\/23005.23016"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/32.708567"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1145\/1125808.1125811"},{"year":"0","key":"20"},{"key":"22","first-page":"336","article-title":"bounded nondeterminism and the approximation induction principle in process algebra","volume":"87","author":"van glabbeek","year":"1987","journal-title":"4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1145\/336512.336546"},{"key":"24","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/11499909_6","article-title":"using the aadl to describe distributed applications from middleware to software components","volume":"lncs 3555","author":"vergnaud","year":"2005","journal-title":"Proceedings of the 10th International Conference on Reliable Software Techologies Ada-Europe 2005 (RST'05)"},{"key":"25","article-title":"using dynamic acme","author":"wile","year":"2001","journal-title":"Proceedings of a Working Conference on Complex and Dynamic Systems Architecture"},{"year":"2006","author":"david","journal-title":"Une approche par aspects pour le de?veloppement de composants fractal adaptatifs","key":"3"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/1075405.1075411"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ASE.1998.732566"},{"key":"1","first-page":"11","article-title":"specifying dynamism in software architectures","author":"allen","year":"1997","journal-title":"Proceedings of the Workshop on Foundations of Component-Based Software Engineering"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-3-540-75912-6_12"},{"year":"0","key":"6"},{"key":"5","first-page":"68","article-title":"programming generic dynamic reconfigurations for distributed applications","author":"endler","year":"1992","journal-title":"Configurable Distributed Systems 1992 International Workshop on"},{"year":"0","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/APSEC.2002.1183053"},{"key":"8","first-page":"25","article-title":"towards a uml profile for the description of dynamic software architectures","author":"hadj kacem","year":"2005","journal-title":"Lecture Notes in Computer"}],"event":{"name":"2008 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2008,3,31]]},"location":"Doha, Qatar","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4488216\/4493499\/04493686.pdf?arnumber=4493686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:30:59Z","timestamp":1497771059000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4493686\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2008.4493686","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}