{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:03:31Z","timestamp":1737435811910,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665380"},{"type":"electronic","value":"9783540481669"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48166-4_25","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T00:59:20Z","timestamp":1186621160000},"page":"410-428","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Consistency Checking for Multiple View Software Architectures"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fradet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Le","family":"M\u00e9tayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"P\u00e9rin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"25_CR1","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 Press, May 1994.","DOI":"10.1109\/ICSE.1994.296767"},{"key":"25_CR2","unstructured":"M. Bourgois, D. Franklin, and P. Robinson. Applying RM-ODP to the air traffic management domain. EATCHiP Technical Document, Eurocontrol, Brussels, March 1998."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"H. Bowman, E. Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In E. Najm and J.-B. Stefani, editors, Proceedings of the 1st IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189\u2013204. Chapman & Hall, March 1996.","DOI":"10.1007\/978-0-387-35082-0_14"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/ICSE.1996.493410","volume-title":"Proceedings of the 18th International Conference on Software Engineering","author":"S. C. Cheung","year":"1996","unstructured":"S. C. Cheung and J. Kramer. Checking subsystem safety properties in compositional reachability analysis. In Proceedings of the 18th International Conference on Software Engineering, pages 144\u2013154, Berlin-Heidelberg-New York, March 1996. Springer."},{"key":"25_CR5","series-title":"Lect Notes Comput Sci","first-page":"46","volume-title":"Proceedings of Coordination\u201997","author":"E. Jong de","year":"1997","unstructured":"E. de Jong. Software architecture for large control systems: a case study. In D. Garlan and D. Le M\u00e9tayer, editors, Proceedings of Coordination\u201997, volume 1282 of LNCS, pages 46\u201363. Springer-Verlag, September 1997."},{"key":"25_CR6","unstructured":"Andy Evans. Reasoning with the unified modeling language. In Proceedings of Workshop on Industrial-Strength Formal Specification Techniques (WIFT\u201998), 1998."},{"issue":"8","key":"25_CR7","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/32.310667","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20(8):509\u2013578, August 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR8","volume-title":"Technical Report 1249","author":"P. Fradet","year":"1999","unstructured":"P. Fradet, D. Le M\u00e9tayer, and M. P\u00e9rin. Consistency checking for multiple view software architectures: application to the design of a train control system. Technical Report 1249, IRISA\/INRIA, Rennes, France, 1999."},{"key":"25_CR9","unstructured":"A. Hamie, J. Howse, and S. Kent. Interpreting the object constraint language. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, 1998."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"C. Hofmeister, R. L. Nord, and D. Soni. Describing software architecture with UML. In P. Donohoe, editor, Proceedings of Working IFIP Conference on Software Architecture, pages 145\u2013160. Kluwer Academic Publishers, February 1999.","DOI":"10.1007\/978-0-387-35563-4_9"},{"key":"25_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-63383-9_72","volume-title":"Proceedings of Coordination\u201997","author":"P. Inverardi","year":"1997","unstructured":"P. Inverardi, A. Wolf, and D. Yankelevich. Checking assumptions in components dynamics at the architectural level. In D. Garlan and D. Le M\u00e9tayer, editors, Proceedings of Coordination\u201997, volume 1282 of LNCS, pages 46\u201363. Springer-Verlag, September 1997."},{"issue":"6","key":"25_CR12","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P. B. Kruchten","year":"1995","unstructured":"Philippe B. Kruchten. The 4 + 1 view model of architecture. IEEE Software, 12(6):42\u201350, November 1995.","journal-title":"IEEE Software"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Nenad Medvidovic and David S. Rosenblum. Assessing the suitability of a standard design method for modeling software architecture. In P. Donohoe, editor, Proceedings of Working IFIP Conference on Software Architecture, pages 161\u2013182. Kluwer Academic Publishers, February 1999.","DOI":"10.1007\/978-0-387-35563-4_10"},{"key":"25_CR14","unstructured":"UML. Object Constraint Language, version 1.1, September 1997. Available at http:\/\/www.rational.com\/uml ."},{"key":"25_CR15","unstructured":"UML. Unified Modelling Language notations guide, version 1.1, September 1997. Available at http:\/\/www.rational.com\/uml ."},{"issue":"4","key":"25_CR16","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Pamela Zave and Michael Jackson. Conjunction as composition. ACM Transactions of Software Engineering and Methodology, 2(4):379\u2013411, October 1993.","journal-title":"ACM Transactions of Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE \u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48166-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:04:42Z","timestamp":1737353082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48166-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665380","9783540481669"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48166-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}