Architecting families of software systems with process algebras

ACM Transactions on Software Engineering and Methodology

Volumn 11, Issue 4, 2002, Pages 386-426

  Bernardo, Marco ^a   Ciancarini, Paolo ^b   Donatiello, Lorenzo ^b  

^a UNIVERSITY OF URBINO   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Architectural mismatch detection; Architectural styles; Design; Languages; Process algebras; Software architectures; Verification

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DEGREES OF FREEDOM (MECHANICS); INTERPOLATION; TOPOLOGY;

ARCHITECTURAL COMPATIBILITY; COMPONENT-BASED SOFTWARE SYSTEMS; SOFTWARE COMPONENTS; SOFTWARE SYSTEMS;

COMPUTER SOFTWARE;

EID: 1542325378     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/606612.606614     Document Type: Article

References (30)

1. ABOWD, G. D., ALLEN, R., AND GARLAN, D. 1995. Formalizing style to understand descriptions of software architecture. ACM Trans. Softw. Eng. Meth. 4, 319-364.
2. ALLEN, R. AND GARLAN, D. 1997. A formal basis for architectural connection. ACM Trans. Softw. Eng. Meth. 6, 213-249.
3. ALLEN, R. AND GARLAN, D. 1998. A case study in architectural modelling: the aegis system. In Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD-8).
4. ANDERSEN, H. R. 1995. Partial model checking. In Proceedings of the 10th IEEE International Symposium on Logic in Computer Science (LICS 1995). IEEE-CS Press, New York, 398-407.
5. BALSAMO, S., BERNARDO, M., AND SIMEONI, M. 2002. Combining stochastic process algebras and queueing networks for software architecture analysis. In Proceedings of the 3rd International Workshop on Software and Performance (WOSP 2002). ACM, New York, 190-202.
6. BERNARDO, M. 2002. TwoTowers 2.0 User Manual, http://www.sti.uniurb.it/bernardo/ twotowers/
7. BERNARDO, M., CIANCARINI, P., AND DONATIELLO, L. 2000. On the formalization of architectural types with process algebras. In Proceedings of the 8th ACM International Symposium on the Foundations of Software Engineering (FSE-8). ACM, New York, 140-148.
8. BERNARDO, M., CIANCARINI, P., AND DONATIELLO, L. 2001. Detecting architectural mismatches in process algebraic descriptions of software systems. In Proceedings of the 1st Working IEEE/IFIP Conference on Software Architecture (WICSA 2001). IEEE-CS Press, New York, 77-86.
9. BERNARDO, M., DONATIELLO, L., AND CIANCARINI, P. 2002. Stochastic process algebra: from an algebraic formalism to an architectural description language. In Performance Evaluation of Complex Systems: Techniques and Tools, Calzarossa, M. C., and Tucci, S., Eds. Lecture Notes in Computer Science, vol. 2459 Springer-Verlag, New York, 236-260.
10. BERNARDO, M. AND FRANZÈ, F. 2002a. Architectural types revisited: extensible and/or connections. In Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE 2002). Lecture Notes in Computer Science, vol. 2306. Springer, New York, 113-128.
11. BERNARDO, M. AND FRANZÈ, F. 2002b. Exogenous and endogenous extensions of architectural types. In Proceedings of the 5th International Conference on Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, vol. 2315. Springer, New York, 40-55.
12. BRAVETTI, M. AND BERNARDO, M. 2000. Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. In Proceedings of the 1st International Workshop on Models for Time Critical Systems (MTCS 2000). ENTCS, vol. 39(3). Elsevier, Amsterdam, The Netherlands.
13. CLARKE, E. M., GRUMBERG, O., AND PELED, D. A. 1999. Model Checking. MIT Press.
14. CLARKE, E. M., LONG, D. E., AND McMILLAN, K. L. 1989. Compositional model checking. In Proceedings of the 4th IEEE International Symposium on Logic in Computer Science (LICS 1989). IEEE-CS Press, New York, 353-362.
15. DAVIO, M. 1981. Kronecker products and shuffle algebra. IEEE Trans. Comput. 30, 116-125.
16. DEAN, T. R. AND CORDY, J. R. 1995. A syntactic theory of software architecture. IEEE Trans. Softw. Eng. 21, 302-313.
17. DEREMER, F. AND KRON, H. H. 1976. Programming-in-the-large versus programming-in-the-small. IEEE Trans. Softw. Eng. 2, 80-86.
18. VAN GLABBEEK, R. J. 2001. The linear time-branching time spectrum I. The semantics of concrete, sequential processes. In Handbook of Process Algebra, Bergstra, J. A., Ponse, A., and Smolka, S. A., Eds. Elsevier, 3-99.
19. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, New Jersey.
20. INVERARDI, P. AND UCHITEL, S. 2001. Proving deadlock freedom in component-based programming. In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001). Lecture Notes in Computer Science, vol. 2029. Springer-Verlag, New York, 60-75.
21. INVERARDI, P. AND WOLF, A. L. 1995. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Softw. Eng. 21, 373-386.
22. INVERARDI, P. WOLF, A. L., AND YANKELEVICH, D. 2000. Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Method. 9, 239-272.
23. KRAMER, J. AND MAGEE, J. 1997. Exposing the skeleton in the coordination closet. In Proceedings of the 2nd International Conference on Coordination Models and Languages (COORDINATION 1997). Lecture Notes in Computer Science, vol. 1282. Springer-Verlag, New York, 18-31.
24. LAVENBERG, S. S., ED. 1983. Computer Performance Modeling Handbook. Academic Press, Orlando, Fla.
25. MAGEE, J., DULAY, N., EISENBACH, S., AND KRAMER, J. 1995. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference (ESEC 1995). Lecture Notes in Computer Science, vol. 989. Springer-Verlag, New York, 137-153.
26. MILKER, R. 1989. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, N.J.
27. MORICONI, M., QIAN, X., AND RIEMENSCHNEIDER, R. A. 1995. Correct architecture refinement. IEEE Trans. Softw. Eng. 21, 356-372.
28. PERRY, D. E. AND WOLF, A. L. 1992. Foundations for the study of software architecture. ACM Softw. Eng. Notes 17, 40-52.
29. SHAW, M., DELINE, R., KLEIN, D. V., Ross, T. L., YOUNG, D. M., AND ZELESNIK, G. 1995. Abstractions for software architecture and tools to support them. IEEE Trans. Softw. Eng. 21, 314-335.
30. SHAW, M. AND GARLAN, D. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs, New Jersey.