Multi-view software component modeling for dependability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3069, Issue , 2004, Pages 286-304

  Roshandel, Roshanak ^a   Medvidovic, Nenad ^a  

^a University of Southern California ^*  (United States)

Author keywords

Dependability; Reliability; Software architecture; Software component; The Quartet

Indexed keywords

INTEROPERABILITY; RELIABILITY; SOFTWARE ARCHITECTURE; SOFTWARE RELIABILITY;

COMPONENT COMPATIBILITY; COMPONENT-BASED SOFTWARE DEVELOPMENT; DEPENDABILITY; INTER-ACTION PROTOCOLS; MODEL RELATIONSHIPS; PRE AND POST CONDITIONS; SOFTWARE COMPONENT; THE QUARTET;

SOFTWARE DESIGN;

EID: 34848860905     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25939-8_13     Document Type: Article

References (32)

1. 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.
2. America P. "Designing an Object-Oriented Programming Language with Behavioral Subtyping", Lecture Notes in Computer Science, vol. 489, Springer-Verlag, 1991.
3. Allen R., Garlan D., "A Formal Basis for Architectural Connection", ACM Transactions on Software Engineering and Methodology, 6(3):213-249, 1997.
4. Ashar P., Gupta A., Malik S., "Using complete-1-distinguishability for FSM equivalence checking", ACM Transactions on Design Automation of Electronic Systems, Vol. 6, No. 4, pp 569-590, October 2001.
5. Balzer R., "Tolerating Inconsistency", in Proceedings of 13th International Conference on Software Engineering (ICSE-13), Austin, Texas, 1991.
6. Booch G., Jacobson I., Rumbaugh J. "The Unified Modeling Language User Guide", Addison-Wesley, Reading, MA.
7. 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.
8. Egyed, A. "Scalable Consistency Checking between Diagrams - The Viewlntegra Approach," in Proceedings of the 16th IEEE International Conference on Automated Software Engineering, San Diego, CA, 2001.
9. Farías A., Südholt M., "On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction". in Proceedings of Confederated International Conferences CoopIS/DOA/ODBASE 2002.
10. Finkelstein A., Gabbay D., Hunter A., Kramer J., and Nuseibeh B., "Inconsistency Handling in Multi-Perspective Specifications", IEEE Transactions on Software Engineering, 20(8): 569-578, August 1994.
11. Fradet P., Le Métayer D., Périn M., "Consistency checking for multiple view software architectures", in Proceeding of ESEC/SIGSOFT FSE 1999.
12. Hofmeister C., Nord R.L., and Soni D., "Describing Software Architecture with UML" In Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSAI), San Antonio, TX, February 22-24, 1999.
13. Hnatkowska B., Huzar Z., Magott J., "Consistency Checking in UML Models", in Proceedings of Fourth International Conference on Information System Modeling (ISM01), Czech Republic, 2001.
14. Krutchen, P.B. "The 4+1 View Model of Architecture", IEEE Software 12, pp. 42-50, 1995.
15. Liskov B. H., Wing J. M., "A Behavioral Notion of Subtyping", ACM Transactions on Programming Languages and Systems, November 1994.
16. Maggiolo-Schettini A., Peron A., and Tini S., "Equivalence of Statecharts", In Proceedings of CONCUR '96, Springer, Berlin, 1996
17. Medvidovic N., Rosenblum D.S., and 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.
18. Medvidovic N., Taylor R.N., "A Classification and Comparison Framework for Software Architecture Description Languages", IEEE Transactions on Software Engineering, January 2000.
19. Microsoft Developer Network Library, Common Object Model Specification, Microsoft Corporation, 1996.
20. Nuseibeh B., Kramer J., and 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.
21. Object Management Group, The Common Object Request Broker: Architecture and Specification, Document Number 91.12.1, OMG, December 1991.
22. The Object Constraint Language (OCL), http://www-3.ibm.com/software/ad/library/ standards/ocl.html.
23. Perry D.E., and Wolf A.L., "Foundations for the Study of Software Architectures", ACM SIGSOFT Software Engineering Notes, 17(4): 40-52, October 1992.
24. Plasil F., Visnovsky S., "Behavior Protocols for Software Components", IEEE Transactions on Software Engineering 28(11), pp. 1056-1076, November 2002.
25. Roshandel R., "Calculating Architectural Reliability via Modeling and Analysis" (Qualifying Exam Report), USC Technical Report Number USC-CSE-2003-516, December 2003.
26. Roshandel R., "Calculating Architectural Reliability via Modeling and Analysis", In the proceedings of the Doctoral Symposium of the 26th International Conference on Software Engineering, (to appear), Scotland, UK, 2004.
27. 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.
28. Roshandel R., Medvidovic N., "Relating Software Component Models", USC Technical Report Number USC-CSE-2003-504, March 2003.
29. 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.
30. Shaw M., Garlan D., "Software Architecture: Perspectives on an Emerging Discipline". Prentice-Hall, 1996.
31. Yellin D.M., Strom R.E., "Protocol Specifications and Component Adaptors," ACM Transactions on Programming Languages and Systems, Vol. 19, No. 2, 1997.
32. Zaremski A.M., Wing J.M., "Specification Matching of Software Components", ACM Transactions on Software Engineering and Methodology, 6(4):333-369, 1997.