ÆMPA: a process algebraic description language for the performance analysis of software architectures

We address the problem of describing and analyzing not only functional but also performance properties of software architectures in a formal framework. We thus develop an architectural description language with a precise syntax and semantics and we illustrate the various kinds of analysis that can be conducted on its descriptions, such as architectural compatibility and conformity checking, functional verification, and performance evaluation. The proposed architectural description language is based on stochastically timed process algebras by virtue of their compositionality, which makes them suited to work with at the architectural level.

[1]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[2]  Paolo Ciancarini,et al.  On the formalization of architectural types with process algebras , 2000, SIGSOFT '00/FSE-8.

[3]  Paola Inverardi,et al.  An approach to performance evaluation of software architectures , 1998, WOSP '98.

[4]  J. Hillston.  Exploiting Structure in Solution: Decomposing Composed Models , 1998 .

[5]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[6]  Rance Cleaveland,et al.  The NCSU Concurrency Workbench , 1996, CAV.

[7]  S. Wittevrongel,et al.  Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.

[8]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[9]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[10]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[11]  Jan Bosch,et al.  Some initial performance characteristics of three architectural styles , 1998, WOSP '98.

[12]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[13]  Paola Inverardi,et al.  Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model , 1995, IEEE Trans. Software Eng..

[14]  Chung-Horng Lung,et al.  Performance-oriented software architecture engineering: an experience report , 1998, WOSP '98.

[15]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[16]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[17]  S. Gilmore,et al.  From SPA models to programs , 1996 .

[18]  Leonard Kleinrock,et al.  Theory, Volume 1, Queueing Systems , 1975 .

[19]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..

[20]  Xin Wang,et al.  Deriving Software Performance Models from Architectural Patterns by Graph Transformations , 1998, TAGT.

[21]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[22]  Connie U. Smith,et al.  Performance evaluation of software architectures , 1998, WOSP '98.

[23]  Rance Cleaveland,et al.  A Theory of Testing for Markovian Processes , 2000, CONCUR.

[24]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[25]  F. Russo,et al.  Performance evaluation of a software architecture: a case study , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[26]  David Garlan,et al.  Architecture-Based Performance Analysis , 1998 .