{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T17:56:34Z","timestamp":1770832594638,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/wicsa.2009.5290802","type":"proceedings-article","created":{"date-parts":[[2009,10,29]],"date-time":"2009-10-29T15:02:30Z","timestamp":1256828550000},"page":"161-170","source":"Crossref","is-referenced-by-count":3,"title":["PADL2Java: A Java code generator for process algebraic architectural descriptions"],"prefix":"10.1109","author":[{"given":"Edoardo","family":"Bonta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Bernardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352593"},{"key":"17","author":"gu?tz","year":"2006","journal-title":"TPTP Static Analysis Tutorial"},{"key":"18","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"15","author":"gamma","year":"1995","journal-title":"Design Patterns Elements of Reusable Object-Oriented Software"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195404"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581394"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00002-8"},{"key":"21","first-page":"137","article-title":"Specifying distributed software architectures","volume":"989","author":"magee","year":"1995","journal-title":"Proc of the 5th European Software Engineering Conf (ESEC 1995)"},{"key":"20","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-63383-9_70","article-title":"Exposing the skeleton in the coordination closet","volume":"1282","author":"kramer","year":"1997","journal-title":"Proceedings of the 3rd International Conference on Coordination Models and Languages (Coordination 1999)"},{"key":"22","author":"magee","year":"1999","journal-title":"Concurrency State models & Java programs"},{"key":"23","first-page":"44","article-title":"A language and environment for architecture-based software development and evolution","author":"medvidovic","year":"1999","journal-title":"Proc of the 21st Int Conf on Software Engineering (ICSE'99)"},{"key":"24","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/986710.986728","article-title":"?-ADL: An architecture description language based on the higher-order typed ?-calculus for specifying dynamic and mobile software architectures","volume":"29","author":"oquendo","year":"2004","journal-title":"ACM Software Engineering Notes"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0053581","article-title":"Specifying and analyzing dynamic software architectures","volume":"1382","author":"allen","year":"1998","journal-title":"Proc of the 1st Int Conf on Fundamental Approaches to Software Engineering (FASE 1998)"},{"key":"2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/ICSE.2002.1007967","article-title":"ArchJava: Connecting Software Architecture to Implementation","author":"jonathan aldrich","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_3"},{"key":"1","author":"aldini","year":"2009","journal-title":"A Process Algebraic Approach to Software Architecture Design"},{"key":"7","author":"bernardo","year":"2006","journal-title":"TwoTowers 5 1 User Manual"},{"key":"6","year":"2001","journal-title":"Handbook of Process Algebra"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/11417019_13"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2004.1310700"}],"event":{"name":"2009 Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA) & 3rd European Conference on Software Architecture (ECSA)","location":"Cambridge","start":{"date-parts":[[2009,9,14]]},"end":{"date-parts":[[2009,9,17]]}},"container-title":["2009 Joint Working IEEE\/IFIP Conference on Software Architecture & European Conference on Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5275158\/5290660\/05290802.pdf?arnumber=5290802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T14:33:16Z","timestamp":1580653996000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5290802\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/wicsa.2009.5290802","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}