{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:30:33Z","timestamp":1742398233568,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317444","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T13:50:22Z","timestamp":1096379422000},"page":"221-230","source":"Crossref","is-referenced-by-count":19,"title":["Compositional verification of middleware-based software architecture descriptions"],"prefix":"10.1109","author":[{"given":"M.","family":"Caporuscio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Gnutella Home Web Page","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_11"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1114984"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336542"},{"key":"34","article-title":"From sequence diagrams to behaviour models","author":"uchitel","year":"2001","journal-title":"WTUML Workshop on Transformations in UML Satellite Event of the European Joint Conferences on Theory and and Practice of Software ETAPS01 Genova Italy"},{"journal-title":"The Analysis of Cyclic Programs","year":"1976","author":"francez","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201195"},{"key":"14","first-page":"463","article-title":"Simmetry and model checking","author":"emerson","year":"0","journal-title":"Courcoubetis"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36577-X_24","article-title":"Learning assumptions for compositional verification","author":"cobleigh","year":"2003","journal-title":"Ninth International Conference on Tools and Algorithm for the Construction and Analysis of Systems (TACAS 2003)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_8"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/372202.372318"},{"key":"20","first-page":"846","article-title":"Model checking and modular verification","volume":"16","author":"grumberg","year":"0","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587064"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"23"},{"key":"24","article-title":"Charmy: A framework for model based consistency checking","author":"inverardi","year":"2004","journal-title":"Technical Report"},{"journal-title":"ITU-TS Recommendation Z 120","year":"0","key":"25"},{"key":"26","article-title":"Evaluating and improving the automatic analysis of implicit invocation systems","author":"bradbury","year":"2003","journal-title":"European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2003)"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013032"},{"journal-title":"Model Checking Abstraction and Compositional Reasoning","year":"1993","author":"long","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"2","volume":"2804","author":"bernardo","year":"2003","journal-title":"Formal Methods for Software Architectures Volume 2804 of Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"journal-title":"Software Architecture in Practice","year":"1998","author":"bass","key":"1"},{"key":"30","article-title":"An algebraic definition of simulation between programs","author":"milner","year":"1971","journal-title":"The Second International Joint Conference on Artificial Intelligence"},{"key":"7","first-page":"59","article-title":"Content-based networking: A new communication infrastructure","author":"carzaniga","year":"2001","journal-title":"NSF Workshop on An Infrastructure for Mobile and Wireless Systems Number 2538 in Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/380749.380767"},{"key":"32","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/141874.141884","article-title":"Foundations for the study of software architecture","volume":"17","author":"perry","year":"1992","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343622"},{"journal-title":"Unified Modeling Language (UML) Version 1 5","year":"2003","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24769-2_2"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"8","article-title":"Compositional reasoning for software architecture: Gnutella-siena","author":"cecchini","year":"2003","journal-title":"Tecnical Report in Italian"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317444.pdf?arnumber=1317444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T10:25:44Z","timestamp":1497608744000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317444\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317444","relation":{},"subject":[]}}