{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:47Z","timestamp":1725467447932},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_72","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:27:52Z","timestamp":1153132072000},"page":"46-63","source":"Crossref","is-referenced-by-count":11,"title":["Checking assumptions in component dynamics at the architectural level"],"prefix":"10.1007","author":[{"given":"Paola","family":"Inverardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander L.","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Yankelevich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. Formalizing Architectural Connection. In Proceedings of the 16th International Conference on Software Engineering, pages 71\u201380. IEEE Computer Society, May 1994.","key":"4_CR1","DOI":"10.1109\/ICSE.1994.296767"},{"doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. A Case Study in Architectural Modeling: The AEGIS System. In Proceedings of the 8th International Workshop on Software Specification and Design, pages 6\u201315. IEEE Computer Society, March 1996.","key":"4_CR2","DOI":"10.1109\/IWSSD.1996.501142"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.-P. Banitre","year":"1990","unstructured":"J.-P. Banitre and D. Le M\u00e9tayer. The Gamma Model and its Discipline of Programming. Science of Computer Programming, 15:55\u201377, 1990.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J.-P. Ban\u00e2tre","year":"1993","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"G. Boudol. Some Chemical Abstract Machines. In A Decade of Concurrency, number 803 in Lecture Notes in Computer Science, pages 92\u2013123. Springer-Verlag, May 1994.","key":"4_CR6","DOI":"10.1007\/3-540-58043-3_18"},{"doi-asserted-by":"crossref","unstructured":"R.H. Campbell and A.N. Habermann. The Specification of Process Synchronization by Path Expressions. In Proceedings of an International Symposium on Operating Systems, number 16 in Lecture Notes in Computer Science, pages 89\u2013102. Springer-Verlag, April 1974.","key":"4_CR7","DOI":"10.1007\/BFb0029355"},{"doi-asserted-by":"crossref","unstructured":"D. Compare and P. Inverardi. Modelling Interoperability by CHAM: A Case Study. In Proceedings of the First International Conference on Coordination Models and Languages, number 1061 in Lecture Notes in Computer Science, pages 428\u2013431. Springer-Verlag, April 1996.","key":"4_CR8","DOI":"10.1007\/3-540-61052-9_65"},{"key":"4_CR9","volume-title":"Technical Report CU-CS-828-97","author":"D. Compare","year":"1997","unstructured":"D. Compare, P. Inverardi, and A.L. Wolf. Uncovering Architectural Mismatch in Dynamic Behavior. Technical Report CU-CS-828-97, Department of Computer Science, University of Colorado, Boulder, Colorado, February 1997."},{"unstructured":"D. Garlan, D. Kindred, and J.M. Wing. Interoperability: Sample Problems and Solutions. Technical report, Carnegie Mellon University, Pittsburgh, Pennsylvania, In preparation.","key":"4_CR10"},{"key":"4_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, New Jersey, 1985."},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"P. Inverardi and A.L. Wolf. Formal Specification and Analysis of Software Architectures using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373\u2013386, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"P. Inverardi and D. Yankelevich. Relating CHAM Descriptions of Software Architectures. In Proceedings of the 8th International Workshop on Software Specification and Design, pages 66\u201374. IEEE Computer Society, March 1996.","key":"4_CR13","DOI":"10.1109\/IWSSD.1996.501148"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and Analysis of System Architecture Using Rapide. IEEE Transac tions on Software Engineering, 21(4):336\u2013355, April 1995.","journal-title":"IEEE Transac tions on Software Engineering"},{"key":"4_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey, 1989."},{"doi-asserted-by":"crossref","unstructured":"D.E. Perry. The Inscape Environment. In Proceedings of the 11th International Conference on Software Engineering, pages 2\u201311. IEEE Computer Society, May 1989.","key":"4_CR16","DOI":"10.1109\/ICSE.1989.714388"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"D.E. Perry and A.L. Wolf. Foundations for the Study of Software Architecture. SIGSOFT Software Engineering Notes, 17(4):40\u201352, October 1992.","journal-title":"SIGSOFT Software Engineering Notes"},{"doi-asserted-by":"crossref","unstructured":"M. Radestock and S. Eisenbach. What Do You Get From a Pi-calculus Semantics? In Proceedings of PARLE'94 Parallel Architectures and Languages Europe, number 817 in Lecture Notes in Computer Science, pages 635\u2013647. Springer-Verlag, 1994.","key":"4_CR18","DOI":"10.1007\/3-540-58184-7_137"},{"key":"4_CR19","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs, New Jersey, 1996."},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/32.21753","volume":"15","author":"A.L. Wolf","year":"1989","unstructured":"A.L. Wolf, L.A. Clarke, and J.C. Wileden. The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. IEEE Transactions on Software Engineering, 15(3):250\u2013263, March 1989.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:04:09Z","timestamp":1555711449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}