On the usability of process algebra: An architectural view

Theoretical Computer Science

Volumn 335, Issue 2-3, 2005, Pages 281-329

  Aldini, Alessandro ^a   Bernardo, Marco ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

Architectural description languages; Component oriented verification and diagnosis; Equivalence checking; Process algebra; Usability

Indexed keywords

ARCHITECTURAL DESIGN; AUTOMATA THEORY; COMPUTER SCIENCE; ENCODING (SYMBOLS); MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING; TOPOLOGY;

ARCHITECTURAL DESCRIPTION LANGUAGES; COMPONENT-ORIENTED VERIFICATION AND DIAGNOSIS; EQUIVALENCE CHECKING; PROCESS ALGEBRA; USABILITY;

ALGEBRA;

EID: 17944367849     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.10.043     Document Type: Conference Paper

References (22)

1. A. Aldini, M. Bernardo, A general deadlock detection approach for software architectures, in: Proc. 12th Internat. Formal Methods Europe Symp. (FME 2003), Lecture Notes in Computer Science, Vol. 2805, Pisa, Italy, 2003, pp. 658-677.
2. R. Allen, R. Douence, D. Garlan, Specifying and analyzing dynamic software architectures, in: Proc. 1st Internat. Conf. on Fundamental Approaches to Software Engineering (FASE 1998), Lecture Notes in Computer Science, Vol. 1382, Lisbon, Portugal, 1998, pp. 21-37.
3. R. Allen, and D. Garlan A formal basis for architectural connection ACM Trans. Software Eng. Methodol. 6 1997 213 249
4. J.C.M. Baeten, and W.P. Weijland Process Algebra 1990 Cambridge University Press Cambridge
5. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001.
6. M. Bernardo, TwoTowers 5.0 User Manual, http://www.sti.uniurb.it/ bernardo/twotowers/, 2004.
7. M. Bernardo, and E. Bontà Generating well-synchronized multithreaded programs from software architecture descriptions Proc. 4th Working IEEE/IFIP Conf. on Software Architecture (WICSA 2004) 2004 IEEE-CS Press Oslo, Norway 167 176
8. M. Bernardo, P. Ciancarini, and L. Donatiello Architecting families of software systems with process algebras ACM Trans. Software Eng. Methodol. 11 2002 386 426
9. M. Bernardo, F. Franzè, Architectural types revisited: extensible and/or connections, in: Proc. 5th Internat. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), Lecture Notes in Computer Science, Vol. 2306, Grenoble, France, 2002, pp. 113-128.
10. M. Bernardo, F. Franzè, Exogenous and endogenous extensions of architectural types, in: Proc. 5th Internat. Conf. on Coordination Models and Languages (COORDINATION 2002), Lecture Notes in Computer Science, Vol. 2315, York, UK, 2002, pp. 40-55.
11. T. Bolognesi, and E. Brinksma Introduction to the ISO specification language LOTOS Computer Networks ISDN Systems 14 1987 25 59
12. C. Canal, E. Pimentel, and J.M. Troya Compatibility and inheritance in software architectures Sci. Comput. Programming 41 2001 105 138
13. H. Garavel, M. Sighireanu, A graphical parallel composition operator for process algebras, in: Proc. of the IFIP Joint Internat. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV 1999), Kluwer, Beijing, China, 1999, pp. 185-202.
14. G. Gössler, J. Sifakis, Composition for component-based modeling, in: Proc. 1st Internat. Symp. on Formal Methods for Components and Objects (FMCO 2002), Lecture Notes in Computer Science, Vol. 2852, Leiden, The Netherlands, 2003, pp. 443-466.
15. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall Englewood Cliffs, NJ
16. P. Inverardi, S. Uchitel, Proving deadlock freedom in component-based programming, in: Proc. 4th Internat. Conf. on Fundamental Approaches to Software Engineering (FASE 2001), Lecture Notes in Computer Science, Vol. 2029, Genova, Italy, 2001, pp. 60-75.
17. P. Inverardi, A.L. Wolf, and D. Yankelevich Static checking of system behaviors using derived component assumptions ACM Trans. Software Eng. Methodol. 9 2000 239 272
18. J. Magee, N. Dulay, S. Eisenbach, J. Kramer, Specifying distributed software architectures, in: Proc. 5th European Software Engineering Conf. (ESEC 1995), Lecture Notes in Computer Science, Vol. 989, Barcelona, Spain, 1995, pp. 137-153.
19. J. Magee, and J. Kramer Concurrency State Models & Java Programs 1999 Wiley New York
20. R. Milner Communication and Concurrency 1989 Prentice-Hall Englewood Cliffs, NJ
21. D.E. Perry, and A.L. Wolf Foundations for the study of software architecture ACM SIGSOFT Software Eng. Notes 17 1992 40 52
22. M. Shaw, and D. Garlan Software Architecture Perspectives on an Emerging Discipline 1996 Prentice-Hall Englewood Cliffs, NJ