Formal modeling and analysis of software architecture: Components, connectors, and events

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

Volumn 2804, Issue , 2003, Pages 1-24

  Garlan, David ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL METHODS;

ANALYSIS TOOLS; FORMAL MODELING AND ANALYSIS;

SOFTWARE ARCHITECTURE;

EID: 35248836069     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_1     Document Type: Article

References (35)

1. Gregory Abowd, Robert Allen, and David Garlan. Formalizing style to understand descriptions of software architecture. ACM Transactions on Software Engineering and Methodology, October 1995.
2. Robert Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, January 1997. Issued as CMU Technical Report CMU-CS-97-144.
3. Robert Allen, Rémi Douence, and David Garlan. Specifying and analyzing dynamic software architectures. In Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), Lisbon, Portugal, March 1998.
4. Robert Allen and David Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.
5. Robert Allen, David Garlan, and James Ivers. Formal modeling and analysis of the HLA component integration standard. In Proceedings of of the 6th International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, Florida, November 1998. ACM Press.
6. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison Wesley, 1998. ISBN 0-201-19930-0.
7. Pam Binns and Steve Vestal. Formal real-time architecture specification and analysis. In Tenth IEEE Workshop on Real-Time Operating Systems and Software, New York, NY, May 1993.
8. Paul Clements, Felix Bachmann, Len Bass, David GArlan, James Ivers, Reed Little, Robert Nord, and Judith Stafford. Documenting Software Architectures: Views and Beyond. Addison Wesley, 2002.
9. L. Coglianese and R. Szymanski. DSSA-ADAGE: An Environment for Architecture-based Avionics Development. In Proceedings of AGARD'93, May 1993.
10. Failures Divergence Refinement: User Manual and Tutorial. Formal Systems (Europe) Ltd., Oxford, England, 1.2β edition, October 1992.
11. David Garlan, Robert Allen, and John Ockerbloom. Exploiting style in architectural design environments. In Proceedings of SIGSOFT'94: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 179-185. ACM Press, December 1994.
12. David Garlan, Shang-Wen Cheng, and Bradley Schmerl. Increasing system dependability through architecture-based self-repair. In A. Romanovsky R. de Lemos, C. Gacek, editor, Architecting Dependable Systems. Springer-Verlag, 2003.
13. David Garlan, Robert T. Monroe, and David Wile. Acme: Architectural description of component-based systems. In Gary T. Leavens and Murali Sitaraman, editors, Foundations of Component-Based Systems, page 47. Cambridge University Press, 2000.
14. David Garlan and Dewayne Perry. Introduction to the special issue on software architecture. IEEE Transactions on Software Engineering, 21(4), April 1995.
15. Ioannis Georgiadis, Jeff Magee, and Jeff Kramer. Self-organising software architectures for distributed systems. In Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems (WOSS '02), 2002.
16. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
17. Paola Inverardi and Alex Wolf. Formal specification and analysis of software architectures using the chemical, abstract machine model. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):373-386, April 1995.
18. P. B. Kruchten. The 4+1 view model of architecture. IEEE Software, pages 42-50, November 1995.
19. David C Luckham, Lary M. Augustin, John J. Kenney, James Veera, Doug Bryan, and Walter Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):336-355, April 1995.
20. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of the Fifth European Software Engineering Conference, ESEC'95, September 1995.
21. Jeff Magee and Jeff Kramer. Concurrency: State Models and Java Programs. Wiley, 1999.
22. Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, and Richard N. Taylor. Using object-oriented typing to support architectural design in the C2 style. In SIGSOFT'96: Proceedings of the Fourth ACM Symposium on the Foundations of Software Engineering. ACM Press, October 1996.
23. Nenad Medvidovic and Richard N. Taylor. Architecture description languages. In Software Engineering - ESEC/FSE'97, volume 1301 of Lecture Notes in Computer Science, Zurich, Switzerland, September 1997. Springer.
24. Daniel Le Metayer. Software architecture styles as graph grammars. In Proceedings of the Fourth ACM Symposium on the Foundations of Software Engineering. ACM SIGSOFT, October 1996.
25. Robert T. Monroe. Rapid Develpomentof Custom Software Design Environments. PhD thesis, Carnegie Mellon University, July 1999.
26. M. Moriconi, X. Qian, and R. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):356-372, April 1995.
27. P. Oriezy et al. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, 14(3):54-62, 1999.
28. S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752. Springer-Verlag, June 1992.
29. Dewayne E. Perry and Alexander L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40-52, October 1992.
30. Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, and Gregory Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):314-335, April 1995.
31. Mary Shaw and David Garlan. Formulations and formalisms in software architecture. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science, Volume 1000. Springer-Verlag, 1995.
32. Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
33. Bridget Spitznagel and David Garlan. Architecture-based performance analysis. In Tenth International Conference on Software Engineering and Knowledge Engineering (SEKE'98), San Francisco, CA, June 1998.
34. Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, Jr. E. James Whitehead, Jason E. Robbins, Kari A. Nies, Peyman Oreizy, and Deborah L. Dubrow. A component- and message-based architectural style for gui software. IEEE Transactions on Software Engineering, 22(6):390-406, June 1996.
35. Michel Wermelinger. Formal specification and analysis of dynamic reconfiguration of software architecture. In Proceedings of the 20th International Conference on Software Engineering, volume 2, pages 178-179. IEEE Computer Society Press, 1998.