Checking assumptions in component dynamics at the architectural level

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

Volumn 1282, Issue , 1997, Pages 46-63

  Inverardi, Paola ^a   Wolf, Alexander L ^b   Yankelevich, Daniel ^c  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UCB 450   (United States)

^c UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ARCHITECTURAL LEVELS; BEHAVIORAL COMPATIBILITIES; BEHAVIORAL INTEGRATIONS; BEHAVIORAL INTERACTIONS; COMPONENT DYNAMICS; COMPONENT INTERACTION BEHAVIOR; CRITICAL CHALLENGES; INTERACTION BEHAVIOR;

SPECIFICATIONS;

EID: 84957053929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_72     Document Type: Conference Paper

References (20)

1. R. Allen and D. Garlan. Formalizing Architectural Connection. In Proceedings of the 16th International Conference on Software Engineering, pages 71-80. IEEE Computer Society, May 1994.
2. R. Allen and D. Garlan. A Case Study in Architectural Modeling: The AEGIS System. In Proceedings of the 8th International Workshop on Software Specification and Design, pages 6-15. IEEE Computer Society, March 1996.
3. J.-P. Banâtre and D. Le Métayer. The Gamma Model and its Discipline of Programming. Science of Computer Programming, 15:55-77, 1990.
4. J.-P. Banâtre and D. Le Métayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98-111, January 1993.
5. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217-248, 1992.
6. G. Boudol. Some Chemical Abstract Machines. In A Decade of Concurrency, number 803 in Lecture Notes in Computer Science, pages 92-123. Springer-Verlag, May 1994.
7. R.H. Campbell and A.N. Habermann. The Specification of Process Synchronization by Path Expressions. In Proceedings of an International Symposium on Operating Systems, number 16 in Lecture Notes in Computer Science, pages 89-102. Springer-Verlag, April 1974.
8. D. Compare and P. Inverardi. Modelling Interoperability by CHAM: A Case Study. In Proceedings of the First International Conference on Coordination Models and Languages, number 1061 in Lecture Notes in Computer Science, pages 428-431. Springer-Verlag, April 1996.
9. D. Compare, P. Inverardi, and A.L. Wolf. Uncovering Architectural Mismatch in Dynamic Behavior. Technical Report CU-CS-828-97, Department of Computer Science, University of Colorado, Boulder, Colorado, February 1997.
10. D. Garlan, D. Kindred, and J.M. Wing. Interoperability: Sample Problems and Solutions. Technical report, Carnegie Mellon University, Pittsburgh, Pennsylvania, In preparation.
11. C.A.R. Hoare. Communicating Seguential Processes. Prentice-Hall, Englewood Cliffs, New Jersey, 1985.
12. P. Inverardi and A.L. Wolf. Formal Specification and Analysis of Software Architectures using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373-386, April 1995.
13. P. Inverardi and D. Yankelevich. Relating CHAM Descriptions of Software Architectures. In Proceedings of the 8th International Workshop on Software Specification and Design, pages 66-74. IEEE Computer Society, March 1996.
14. D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering, 21(4):336-355, April 1995.
15. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
16. D.E. Perry. The Inscape Environment. In Proceedings of the 11th International Conference on Software Engineering, pages 2-11. IEEE Computer Society, May 1989.
17. D.E. Perry and A.L. Wolf. Foundations for the Study of Software Architecture. SIGSOFT Software Engineering Notes, 17(4):40-52, October 1992.
18. M. Radestock and S. Eisenbach. What Do You Get From a Pi-calculus Semantics? In Proceedings of PARLE'94 Parallel Architectures and Languages Europe, number 817 in Lecture Notes in Computer Science, pages 635-647. Springer-Verlag, 1994.
19. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs, New Jersey, 1996.
20. A.L. Wolf, L.A. Clarke, and J.C. Wileden. The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. IEEE Transactions on Software Engineering, 15(3):250-263, March 1989.