Article

Free access

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

Authors:

Marco Bernardo,

Paolo Ciancarini,

Lorenzo DonatielloAuthors Info & Claims

WOSP '00: Proceedings of the 2nd international workshop on Software and performance

Pages 1 - 11

https://doi.org/10.1145/350391.350394

Published: 01 September 2000 Publication History

PDF eReader

References

[1]

R. Allen, D. Garlasa, "A Formal Basis for Architectural Connection", in ACM Trans. on Software Engineering and Methodology 6:312-249, 1997]]

Digital Library

Google Scholar

[2]

S. Balsamo, P. Inverardi, C. Mangano, "An Approach to Performance Evaluation of Software Architectures", in Proe. of the 1st Int. Workshop on Software and Performance (WOSP '98), ACM Press, pp. 178-190, Santa Fe (NM), 1998]]

Digital Library

Google Scholar

[3]

M. Bemardo, "Theory and Application of Extended Markovian Process Algebra", Ph.D. Thesis, University of Bologna (Italy), 1999 (http ://www. di. unito, it/~bernardo/)]]

Google Scholar

[4]

M. Bernardo, P. Ciancarini, L. Donatiello, "On the Formalization of Architectural Types with Process Algebras", to appear in Proc. of the 8th ACM Int. Syrup. on the Foundations of Software Engineering (FSE-8), ACM Press, San Diego (CA), 2000]]

Digital Library

Google Scholar

[5]

M. Bernardo, W.R. Cleaveland, "A Theory of Testing for Markovian Processes", to appear in Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000), LNCS, State College (PA), 2000]]

Digital Library

Google Scholar

[6]

G. Bert'y, G. Boudol, "The Chemical Abstract Machine", in Theoretical Computer Science 96:217-248, 1992]]

Digital Library

Google Scholar

[7]

W.R. Cleaveland, S. Sims, "The NCSU Concurrency Workbench", in Proc. of the 8th Int. Conf. on Computer Aided Verification (CAV '96), LNCS 1102:394-397, New Brunswick (NJ), 1996]]

Digital Library

Google Scholar

[8]

S. Gilmore, J. Hillston, R. Holton, "From SPA Models to Programs", in Proc. of the 4th Int. Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT, pp. 179-197, Torino (Italy), 1996]]

Google Scholar

[9]

H. Gratm, J. Bosch, "Some Initial Performance Characteristics of Three Architectural Styles", in Proc. of the 1st Int. Workshop on Software and Performance (WOSP '98), ACM Press, pp. 197-198, Santa Fe (NM), 1998]]

Digital Library

Google Scholar

[10]

H. Hermarms, "Interactive Markov Chains", Ph.D. Thesis, University of Erlaxlgen-Numberg (Germany), 1998]]

Google Scholar

[11]

J. Hillston, "A Compositional Approach to Performance Modelling", Cambridge University Press, 1996]]

Digital Library

Google Scholar

[12]

J. Hillston, "Exploiting Structure in Solution: Decomposing Composed Models", in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modelling (PAPM '98), pp. 1-15, Nice (France), 1998]]

Google Scholar

[13]

C.A.R. Hoax-e, "Communicating Sequential Processes", Prentice Hall, 1985]]

Google Scholar

[14]

P. Inverax-di, C. Maxlgaxlo, S. Balsamo, "Performance Evaluation of a Software Architecture: A Case Study", in Proc. of the 8th Int. Workshop on Software Specification and Design (IWSSD-8), Paderborn (Germany), 1998]]

Digital Library

Google Scholar

[15]

P. Inverax-di, 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]]

Digital Library

Google Scholar

[16]

L. Kleim'ock, "Queueing Systems", John Wiley 8z Sons, 1975]]

Digital Library

Google Scholar

[17]

P.B. Kruchten, "The 4 + 1 View Model of Architecture", in IEEE Software 12(6):42-50, 1995]]

Digital Library

Google Scholar

[18]

C.-H. Lung, A. Jahlapta-kar, A. El-Rayess, "Performance- Oriented Software Architecture Engineering: An Experience Report", in Proc. of the 1st Int. Workshop on Software and Performance (WOSP '98), ACM Press, pp. 191-196, Santa Fe (NM), 1998]]

Digital Library

Google Scholar

[19]

R. Mihmr, "Communication and Concurrency", Prentice Hall, 1989]]

Digital Library

Google Scholar

[20]

Object Management Group, "Unified Modeling Language Specification", Tech. Rep. available at uml.stfl.com, 1998]]

Google Scholar

[21]

D.E. Perry, A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992]]

Digital Library

Google Scholar

[22]

D.C. Petriu, X. Wang, "Deriving Software Performance Models from Architectural Patterns by Graph Transformations", in Proc. of the 6th Int. Workshop on Theory and Application of Graph Transformation (TAUT '98), pp. 340-347, Paderborn (Germany), 1998]]

Digital Library

Google Scholar

[23]

M. Shaw, D. Gax-laxl, "Software Architecture: Perspectives on an Emerging Discpline', Prentice Hall, 1996]]

Digital Library

Google Scholar

[24]

C.U. Smith, "Performance Engineering of Software Systems", Addison-Wesley, 1990]]

Digital Library

Google Scholar

[25]

B. Spitznagel, D. Garlaxl, "Architecture-Based Performance Analysis", in Proc. of the 10th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE '98), 1998]]

Google Scholar

[26]

W.J. Stewart, "Introduction to the Numerical Solution of Markov Chains", Princeton University Press, 1994]]

Google Scholar

[27]

L.G. Williams, C.U. Smith, "Performance Evaluation of Software Architectures", in Proc. of the 1st Int, Workshop on Software and Performance (WOSP '98), ACM Press, pp. 164-177, Santa Fe (NM), 1998]]

Digital Library

Google Scholar

Cited By

View all

Berardinelli LBernardo MCortellessa VDi Marco A(2019)Multidimensional context modeling applied to non-functional analysis of softwareSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0645-218:3(2137-2176)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0645-2
Ozkaya M(2018)The analysis of architectural languages for the needs of practitionersSoftware: Practice and Experience10.1002/spe.256148:5(985-1018)Online publication date: 15-Jan-2018
https://doi.org/10.1002/spe.2561
Tolosana-Calasanz RBañares JColom J(2014)Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud InfrastructuresEconomics of Grids, Clouds, Systems, and Services10.1007/978-3-319-14609-6_13(189-205)Online publication date: 24-Dec-2014
https://doi.org/10.1007/978-3-319-14609-6_13
Show More Cited By

Index Terms

ÆMPA: a process algebraic description language for the performance analysis of software architectures
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
    2. System description languages
      1. Specification languages
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Commutative pseudo-equality algebras

Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...
Congruences and ideals in pseudo effect algebras as total algebras

Congruences and ideals in pseudo-effect algebras and their total algebra versions are studied. It is shown that every congruence of the total algebra induces a Riesz congruence in the corresponding pseudo-effect algebra. Conversely, to every normal ...
Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

The present paper gives a new construction of a quotient BCI(BCK)- algebra X/µ by a fuzzy ideal µ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if µ is a fuzzy ideal (closed fuzzy ideal) of X. then X/µ is a commutative (...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WOSP '00: Proceedings of the 2nd international workshop on Software and performance

September 2000

226 pages

ISBN:158113195X

DOI:10.1145/350391

Chairmen:
Murray Woodside
Carleton Univ., Ottowa, Canada
,
Hassan Gomaa
George Mason Univ., Fairfax, VA
,
Danny Menasce
George Mason Univ., Fairfax, VA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

WOSP00

Sponsor:

SIGMETRICS
IFIP WG 7.3
SIGSOFT
IFIP WG 6.3

WOSP00: 2nd International Workshop on Software and Performance

Ontario, Ottawa, Canada

Acceptance Rates

WOSP '00 Paper Acceptance Rate 30 of 36 submissions, 83%;

Overall Acceptance Rate 149 of 241 submissions, 62%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
335
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)3

Reflects downloads up to 29 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Berardinelli LBernardo MCortellessa VDi Marco A(2019)Multidimensional context modeling applied to non-functional analysis of softwareSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0645-218:3(2137-2176)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0645-2
Ozkaya M(2018)The analysis of architectural languages for the needs of practitionersSoftware: Practice and Experience10.1002/spe.256148:5(985-1018)Online publication date: 15-Jan-2018
https://doi.org/10.1002/spe.2561
Tolosana-Calasanz RBañares JColom J(2014)Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud InfrastructuresEconomics of Grids, Clouds, Systems, and Services10.1007/978-3-319-14609-6_13(189-205)Online publication date: 24-Dec-2014
https://doi.org/10.1007/978-3-319-14609-6_13
Smith C(2007)Introduction to software performance engineeringProceedings of the 7th international conference on Formal methods for performance evaluation10.5555/1768017.1768027(395-428)Online publication date: 28-May-2007
https://dl.acm.org/doi/10.5555/1768017.1768027
Grassi VMirandola RSabetta A(2005)An XML-based language to support performance and reliability modeling and analysis in software architecturesProceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality10.1007/11558569_7(71-87)Online publication date: 20-Sep-2005
https://dl.acm.org/doi/10.1007/11558569_7
Purhonen A(2004)Performance optimization of embedded software architecture - a case studyProceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)10.1109/WICSA.2004.1310695(112-121)Online publication date: 2004
https://doi.org/10.1109/WICSA.2004.1310695
Balsamo SDi Marco AInverardi PSimeoni M(2004)Model-Based Performance Prediction in Software DevelopmentIEEE Transactions on Software Engineering10.1109/TSE.2004.930:5(295-310)Online publication date: 1-May-2004
https://dl.acm.org/doi/10.1109/TSE.2004.9
Balsamo SSimeoni M(2004)Integrating Performance Modeling in the Software Development ProcessRadical Innovations of Software and Systems Engineering in the Future10.1007/978-3-540-24626-8_3(35-49)Online publication date: 2004
https://doi.org/10.1007/978-3-540-24626-8_3
Barber KGraser THolt JBaker G(2003)ArcadeRequirements Engineering10.1007/s00766-002-0159-48:4(222-235)Online publication date: 1-Nov-2003
https://dl.acm.org/doi/10.1007/s00766-002-0159-4
Inverardi P(2002)The SALADIN projectACM SIGSOFT Software Engineering Notes10.1145/638574.63858527:3(38-43)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1145/638574.638585
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Commutative pseudo-equality algebras

Congruences and ideals in pseudo effect algebras as total algebras

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal