A Case Study in Architectural Modelling: The AEGIS System

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 6-15

  Allen, Robert ^a   Garlan, David ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ARCHITECTURE;

ARCHITECTURAL DESCRIPTIONS; ARCHITECTURAL SPECIFICATIONS; COMMUNICATION MECHANISMS; CRITICAL DESIGN; CURRENT PRACTICES; PROTOTYPE IMPLEMENTATIONS; SOFTWARE SYSTEMS; WEAPONS SYSTEMS;

SPECIFICATIONS;

EID: 84944091625     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. G. Abowd, R. Allen, and D. Garlan. Using style to understand descriptions of software architecture. In Proc. of SIGSOFT'93: Foundations of Sofnyare Eng., Software Eng. Notes 18(5). ACM Press, Dee 1993.
2. R. Allen andD. Garlan. A formal approach to software architectures. In Jan van Leeuwen, editor, Proc. of IFIP'92. Elsevier Science Publishers B.V., Sept 1992.
3. R. Allen and D. Garlan. Formal connectors. Technical Report CMU-CS-94-115, Carnegie Mellon University, Mar 1994.
4. R. Allen and D. Garlan. Formalizing architectural connection. In Proc. of the 16th International Conf on Sofrware Eng., May 1994.
5. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, (96), 1992.
6. D. Garlan and D. Notkin. Formalizing design spaces: Implicit invocation mechanisms. In VDM'91: Formal Sofnyare Development Methods. Springer-Verlag, LNCS 551,Oct 1991.
7. David Garlan, Frances Newberry Paulisch, and Walter F. Tichy, editors. Summary of the Dagstuhl Workshop on Somare Architecture, Feb 1995. Reprinted in ACM Software Eng. Notes, July 1995
8. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. P. Inverardi and A. Wolf. Formal specification and analysis of software architectures using the chemical, abstract machine model. IEEE Trans. on Software Eng., 21(4), Apr 1995.
10. D. Luckham et al. Specification and analysis of system architecture using Rapide. IEEE Trans. on Software Eng., 21(4), Apr 1995.
11. J. Magee and J. Kramer. Modelling distributed software architectures. In Proc. of the 1st International Workshop on Architectures for Software Systems. Carnegie Mellon University Technical Report CMU-CS-95-151, Apr 1995.
12. M. Moriconi, X. Qian, and R. Riemenschneidec Correct architecture refinement. IEEE Trans. on Software Eng., 21(4), Apr 1995.
13. M. Shaw et al. Candidate model problems in software architecture. Draft Publication, 1994.
14. D. M. Yellin and R. E. Strom. Interfaces, protocols, and the semi-Automatic construction of software adaptors. Proc. of OOPSLA'94,Oct 1994.