{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:31Z","timestamp":1725559231852},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262756"},{"type":"electronic","value":"9783540322689"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494713_9","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T03:14:12Z","timestamp":1279077252000},"page":"130-145","source":"Crossref","is-referenced-by-count":1,"title":["Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Caporuscio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Di Ruscio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/336512.336542","volume-title":"Proceedings of the conference on The future of Software engineering (ICSE 2000) - Future of SE Track","author":"W. Emmerich","year":"2000","unstructured":"Emmerich, W.: Software engineering and middleware: a roadmap. In: Proceedings of the conference on The future of Software engineering (ICSE 2000) - Future of SE Track, Limerick, Ireland, pp. 117\u2013129. ACM Press, New York (2000)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model Checking Software","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Khersonsky, S., Kim, J.S.: Model Checking Publish\/Subscribe Systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 166\u2013180. Springer, Heidelberg (2003)"},{"key":"9_CR3","volume-title":"European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. (ESEC\/FSE 2003), Helsinki, Finland","author":"J. Bradbury","year":"2003","unstructured":"Bradbury, J., Dingel, J.: Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems. In: European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2003), Helsinki, Finland. ACM Press, New York (2003)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-39800-4_5","volume-title":"Formal Methods for Software Architectures","author":"N. Kaveh","year":"2003","unstructured":"Kaveh, N., Emmerich, W.: Validating distributed object and component designs. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 63\u201391. Springer, Heidelberg (2003)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"Grumberg, O., Long, D.E.: Model Checking and Modular Verification. ACM Transaction on Programming Languages and Systems\u00a016, 846\u2013872 (1994)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"9_CR6","unstructured":"Long, D.: Model Checking, Abstraction and Compositional Reasoning. PhD thesis, Carnegie Mellon University (1993)"},{"key":"9_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: Proceedings of the International Conference on Software Engineering (ICSE 2004), Edinburgh (2004)","DOI":"10.1109\/ICSE.2004.1317444"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Software Engineering Notes\u00a017, 40\u201352 (1992)","DOI":"10.1145\/141874.141884"},{"key":"9_CR10","unstructured":"Object Management Group (OMG): OMG\/Model Driven Architecture - A Technical Perspective OMG Document: ormsc\/01-07-01 (2001)"},{"key":"9_CR11","volume-title":"Abstract State Machines - A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines - A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"9_CR12","unstructured":"Object Management Group: (Common Object Request Broker Architecture (CORBA\/IIOP), v3.0.3) OMG document formal\/04-03-01"},{"key":"9_CR13","unstructured":"Object Management Group: MOF 2.0 Query\/View\/Transformation RFP OMG document ad\/02-04-10 (2002)"},{"key":"9_CR14","first-page":"2","volume":"8","author":"E. B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The origins and the development of the asm method for high level system design and analysis. Journal of Universal Computer Science\u00a08, 2\u201374 (2002)","journal-title":"Journal of Universal Computer Science"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Applied Formal Methods - FM-Trends 98","author":"E. B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E.: High level system design and analysis using abstract state machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 1\u201343. Springer, Heidelberg (1999)"},{"key":"9_CR16","unstructured":"ITU-T Recommendation Z.120.: Message Sequence Charts (ITU Telecommunication Standardisation Sector)"},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., Heidelberg (1992)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-44518-8_6","volume-title":"Abstract State Machines - Theory and Applications","author":"M. Anlauff","year":"2000","unstructured":"Anlauff, M.: XASM \u2013 An Extensible, Component-Based Abstract State Machines Language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 69\u201390. Springer, Heidelberg (2000)"},{"key":"9_CR19","unstructured":"Caporuscio, M., Di Ruscio, D., Inverardi, P., Pelliccione, P., Pierantonio, A.: Tranformation rules (2004), Available at http:\/\/www.di.univaq.it\/diruscio"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494713_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:40:56Z","timestamp":1559252456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494713_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262756","9783540322689"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11494713_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}