Detecting architectural mismatches in process algebraic descriptions of software systems

Proceedings - Working IEEE/IFIP Conference on Software Architecture, WICSA 2001

Volumn , Issue , 2001, Pages 77-86

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

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER CONTROL; COMPUTER SOFTWARE; SOFTWARE ARCHITECTURE; TOPOLOGY;

ALGEBRAIC DESCRIPTION; ALGEBRAIC FRAMEWORK; ARCHITECTURAL COMPATIBILITY; ARCHITECTURAL MISMATCHES; DEADLOCK FREEDOM; OBSERVATIONAL EQUIVALENCES; SOFTWARE COMPONENT; SOFTWARE SYSTEMS;

INTEROPERABILITY;

EID: 84954053571     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICSA.2001.948411     Document Type: Conference Paper

References (13)

1. G.D. Abowd, R. Allen, D. Garlan, "Formalizing Style to Understand Descriptions of Software Architecture", in ACM Trans, on Software Engineering and Methodology 4:319-364, 1995
2. R. Allen, D. Garlan, "A Formal Basis for Architectural Connection ", in ACM Trans, on Software Engineering and Methodology 6:213-249, 1997
3. M. Bernardo, P. Ciancarini, L. Donatiello, "On the Formalization of Architectural Types with Process Algebras", in Proc. of the 8th ACM Int. Symp. on the Foundations of Software Engineering (ESE-8), ACM Press, pp. 140-148, San Diego (CA), 2000
4. W.R. Cleaveland, J. Parrow, B. Steffen, "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems", in ACM Trans, on Programming Languages and Systems 15:36-72, 1993
5. C.A.R. Hoare, "Communicating Sequential Processes", Prentice Hall, 1985
6. P. Inverardi, S. Uchitel, "Proving Deadlock Freedom in Component-Based Programming", in Proc. of the 4th Int. Conf. on Fundamental Approaches to Software Engineering (EASE '01), LNCS 2029:60-75, Genova (Italy). 2001
7. P. Inverardi, A.L. Wolf, "Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model", in IEEE Trans, on Software Engineering 21:373-386, 1995
8. P. Inverardi, A.L. Wolf, D. Yankelevich, "Static Checking of System Behaviors Using Derived Component Assumptions", in ACM Trans, on Software Engineering and Methodology 9:239-272, 2000
9. J. Kramer, J. Magee, "Exposing the Skeleton in the Coordination Closet", in Proc. of the 2nd Int. Conf. on Coordination Languages and Models (COORDINATION '97), LNCS 1282:18-31, Berlin (Germany), 1997
10. J. Magee, N. Dulay, S. Eisenbach, J. Kramer, "Specifying Distributed Software Architectures", in Proc. of the 5th European Software Engineering Conf. (ESEC '95), LNCS 989:137-153. Barcelona (Spain), 1995
11. R. Milner, "Communication and Concurrency", Prentice Hall, 1989
12. D.E. Perry, A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992
13. M. Shaw, D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996