Relating CHAM Descriptions of Software Architectures

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

Volumn , Issue , 1996, Pages 66-74

  Inverardi, Paola ^a   Yankelevich, Daniel ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ABSTRACT MACHINES; DYNAMIC BEHAVIOURS; LEVEL OF ABSTRACTION; REFINEMENT PROCESS; SOFTWARE COMPONENT; SOFTWARE PRACTICES; STEPWISE REFINEMENT; STRUCTURE-PRESERVING;

SPECIFICATIONS;

EID: 0039695042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501148     Document Type: Conference Paper

References (15)

1. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217-248, 1992.
2. G. Boudol, I. CasteIIani, M. Hennessy, and A. Kiehn. Observing Localities. Theoretical Computer Science, 114:31-61, 1993.
3. G. Boudol, I. CasteIIani, M. Hennessy, and A. Kiehn. A Theory of Processes with Localities. Formal Aspects of Computing, 6:165-200, 1994.
4. E. Briuksma, B. Jonsson, and F. Orava. Refining Interfaces of Communicating Systems. In TAPSOFT '91: Proceedings of the 9th International Joint Conference CAAP/FASE, number 494 in Lecture Notes iu Computer Science, pages 297-312. Springer-Verlag, ApriI 1991.
5. W. Tichy D. Garlan and F. PauIisch. Summary of the Dagsthul Workshop on Software Architecture. SIGSOFT Software Engineering Notes, July 1995.
6. D. Garlau and M. Shaw. An Introduction on Software Architecture. In Advances in Software Engineering and Knowledge Engineering, 1993.
7. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Ha& Englewood Cliffs, New Jersey, 1985.
8. P. Inverardi and C. Priami. Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods in System Design, 1996. To appear.
9. P. Inverardi, C. Priami, and D. Yankelevich. Automatizing distributed Reasoning on Distributed Concurrent Systems. Formal Aspects of Computing, 6:676-695, 1994.
10. P. Inverardi and A.L. Wolf. Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):100-114, April 1995.
11. R. MiIner. Commzbnication and Concurrency. Prentice-Ha& Englewood CIiffs, New Jersey, 1989.
12. U. Montauari and D. Yankelevich. A Parametgic Approach to Localities. In Proceedings of the 19th ICALP Conference, number 623 in Lecture Notes in Computer Science, pages 617-628. Springer-Verlag, July 1992.
13. M. Moriconi and Xiaolei Qian. Correctness and Composition of Software Architectures. SIGSOFT Software Engineering Notes, 19(5):164-174, December 1994.
14. M. Moriconi, Xiaolei Qian, and R.A. Riemenschneider. Correct Architectures Refinement. IEEE Transactions on Software Engineering, 21(4):356-372, April 1995.
15. G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.