{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T01:59:46Z","timestamp":1790992786875,"version":"4.1.0"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wicsa.2004.1310699","type":"proceedings-article","created":{"date-parts":[[2004,8,13]],"date-time":"2004-08-13T05:09:39Z","timestamp":1092373779000},"page":"155-164","source":"Crossref","is-referenced-by-count":26,"title":["Style-based refinement of dynamic software architectures"],"prefix":"10.1109","author":[{"given":"L.","family":"Baresi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Thone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Varro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"17","first-page":"121","article-title":"Synchronized hyperedge replacement with name mobility","volume":"2154","author":"hirsch","year":"2001","journal-title":"Proc CONCUR 2001 - Concurrency Theory Volume 2154 of LNCS"},{"key":"18","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/250707.239105","article-title":"Software architecture styles as graph grammars","volume":"216","author":"le me?tayer","year":"1996","journal-title":"Proc 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering Volume 216 of ACM Software Engineering Notes"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1142\/9789812815149_0016"},{"key":"16","author":"hirsch","year":"2003","journal-title":"Graph Transformation Models for Software Architecture Styles"},{"key":"13","first-page":"323","article-title":"Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML","volume":"1939","author":"engels","year":"2000","journal-title":"Proc UML 2000 - The Unified Modeling Language Volume 1939 of LNCS"},{"key":"14","first-page":"72","article-title":"Style-based refinement for software architecture","author":"garlan","year":"1996","journal-title":"Proc ISAW-2 Nnd Int Software Architecture Workshop on SIGSOFT '96"},{"key":"11","volume":"2","author":"ehrig","year":"1999","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformation"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1973.11"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.385972"},{"key":"20","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","article-title":"Specifying Distributed Software Architectures","volume":"989","author":"magee","year":"1995","journal-title":"Proc ESEC 95 - 5th European Software Engineering Conference Volume 989 of LNCS"},{"key":"22","year":"0","journal-title":"Model-Driven Architecture"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45221-8_8"},{"key":"24","author":"schu?rr","year":"0","journal-title":"The PROGRES Approach Language and Environment"},{"key":"25","author":"shaw","year":"1996","journal-title":"Software Architecture Perspectives on an Emerging Discipline"},{"key":"26","first-page":"179","article-title":"Dynamic change management by distributed graph transformation: Towards configurable distributed systems","volume":"1764","author":"taentzer","year":"2000","journal-title":"Proc TAGT'98 - Theory and Application of Graph Transformations Volume 1764 of LNCS"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80611-X"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00036-9"},{"key":"3","author":"allen","year":"1997","journal-title":"A Formal Approach to Software Architecture"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/167049.167055"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2003.1194781"},{"key":"1","first-page":"17","volume":"1723","year":"1999","journal-title":"Proc UML 99 - the Unified Modeling Language Volume 1723 of LNCS"},{"key":"7","article-title":"Formal refinement of software architectures based on rewriting logic","author":"bolusset","year":"2002","journal-title":"Proc RCS 02 Int Workshop on Refinement of Critical Systems"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/940080.940082"},{"key":"4","author":"baresi","year":"0","journal-title":"Specification of Generic and SOA-specific Style"},{"key":"9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"corradini","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_7"}],"event":{"name":"Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004)","location":"Oslo, Norway","acronym":"WICSA-04"},"container-title":["Proceedings. Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9167\/29100\/01310699.pdf?arnumber=1310699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T19:51:15Z","timestamp":1585857075000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310699\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/wicsa.2004.1310699","relation":{},"subject":[]}}