{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:15:01Z","timestamp":1725574501290},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231684"},{"type":"electronic","value":"9783540259398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25939-8_13","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T18:11:10Z","timestamp":1294510270000},"page":"286-304","source":"Crossref","is-referenced-by-count":11,"title":["Multi-view Software Component Modeling for Dependability"],"prefix":"10.1007","author":[{"given":"Roshanak","family":"Roshandel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nenad","family":"Medvidovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Aguirre, N., Maibaum, T.S.E.: A Temporal Logic Approach to Component Based System Specification and Reasoning. In: Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, Orlando, FL (2002)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Object-Oriented Languages","author":"P. America","year":"1991","unstructured":"America, P.: Designing an Object-Oriented Programming Language with Behavioral Subtyping. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol.\u00a0489, Springer, Heidelberg (1991)"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"13_CR4","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/502175.502183","volume":"6","author":"P. Ashar","year":"2001","unstructured":"Ashar, P., Gupta, A., Malik, S.: Using complete-1-distinguishability for FSM equivalence checking. ACM Transactions on Design Automation of Electronic Systems\u00a06(4), 569\u2013590 (2001)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Balzer, R.: Tolerating Inconsistency. In: Proceedings of 13th International Conference on Software Engineering (ICSE-13), Austin, Texas (1991)","DOI":"10.1109\/ICSE.1991.130638"},{"key":"13_CR6","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison-Wesley, Reading"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Dias, M., Vieira, M.: Software Architecture Analysis based on Statechart Semantics. In: Proceedings of the 10th International Workshop on Software Specification and Design, FSE-8, San Diego, USA (November 2000)","DOI":"10.1109\/IWSSD.2000.891134"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Scalable Consistency Checking between Diagrams - The ViewIntegra Approach. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, San Diego, CA (2001)","DOI":"10.1109\/ASE.2001.989835"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Far\u00edas, A., S\u00fcdholt, M.: On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. In: Proceedings of Confederated International Conferences CoopIS\/DOA\/ODBASE 2002 (2002)","DOI":"10.1007\/3-540-36124-3_64"},{"issue":"8","key":"13_CR10","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering\u00a020(8), 569\u2013578 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Fradet, P., Le M\u00e9tayer, D., P\u00e9rin, M.: Consistency checking for multiple view software architectures. In: Proceeding of ESEC \/ SIGSOFT FSE 1999 (1999)","DOI":"10.1007\/3-540-48166-4_25"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Hofmeister, C., Nord, R.L., Soni, D.: Describing Software Architecture with UML. In: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, TX, February 22-24 (1999)","DOI":"10.1007\/978-0-387-35563-4_9"},{"key":"13_CR13","unstructured":"Hnatkowska, B., Huzar, Z., Magott, J.: Consistency Checking in UML Models. In: Proceedings of Fourth International Conference on Information System Modeling (ISM 2001), Czech Republic (2001)"},{"key":"13_CR14","first-page":"42","volume":"12","author":"P.B. Krutchen","year":"1995","unstructured":"Krutchen, P.B.: The 4+1 View Model of Architecture. IEEE Software\u00a012, 42\u201350 (1995)","journal-title":"IEEE Software"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems (November 1994)","DOI":"10.1145\/197320.197383"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201996: Concurrency Theory","author":"A. Maggiolo-Schettini","year":"1996","unstructured":"Maggiolo-Schettini, A., Peron, A., Tini, S.: Equivalence of Statecharts. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, Springer, Heidelberg (1996)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Taylor, R.N.: A Language and Environment for Architecture-Based Software Development and Evolution. In: Proceedings of the 21st International Conference on Software Engineering, Los Angeles, CA, May 16-22 (1999)","DOI":"10.1145\/302405.302410"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering (January 2000)","DOI":"10.1109\/32.825767"},{"key":"13_CR19","unstructured":"Microsoft Developer Network Library, Common Object Model Specification, Microsoft Corporation (1996)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: Expressing the Relationships Between Multiple Views in Requirements Specification. In: Proceedings of the 15th International Conference on Software Engineering (ICSE-15), Baltimore, Maryland, USA (1993)","DOI":"10.1109\/ICSE.1993.346045"},{"key":"13_CR21","unstructured":"Object Management Group, The Common Object Request Broker: Architecture and Specification, Document Number 91.12.1, OMG (December 1991)"},{"key":"13_CR22","unstructured":"The Object Constraint Language (OCL), http:\/\/www-3.ibm.com\/software\/ad\/library\/standards\/ocl.html"},{"issue":"4","key":"13_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"11","key":"13_CR24","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F. Plasil","year":"2002","unstructured":"Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11), 1056\u20131076 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR25","unstructured":"Roshandel, R.: Calculating Architectural Reliability via Modeling and Analysis (Qualifying Exam Report), USC Technical Report Number USC-CSE-2003-516 (December 2003)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Roshandel, R.: Calculating Architectural Reliability via Modeling and Analysis. In: The proceedings of the Doctoral Symposium of the 26th International Conference on Software Engineering, Scotland, UK (2004) (to appear)","DOI":"10.1109\/ICSE.2004.1317426"},{"key":"13_CR27","unstructured":"Roshandel, R., Medvidovic, N.: Coupling Static and Dynamic Semantics in an Architecture Description Language. In: Proceeding of Working Conference on Complex and Dynamic Systems Architectures, Brisbane, Australia (December 2001)"},{"key":"13_CR28","unstructured":"Roshandel, R., Medvidovic, N.: Relating Software Component Models. USC Technical Report Number USC-CSE-2003-504 (March 2003)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Roshandel, R., van der Hoek, A., Mikic-Rakic, M., Medvidovic, N.: Mae - A System Model and Environment for Managing Architectural Evolution. Submitted to ACM Transactions on Software Engineering and Methodology (In review) (October 2002)","DOI":"10.1145\/503271.503211"},{"key":"13_CR30","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2) (1997)","DOI":"10.1145\/244795.244801"},{"issue":"4","key":"13_CR32","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25939-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T03:28:32Z","timestamp":1637119712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25939-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231684","9783540259398"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25939-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}