More Web Proxy on the site http://driver.im/

research-article

A language for behavioural modelling of architectural patterns

Authors:

Alejandro Sanchez,

Luis S. Barbosa,

Daniel RiescoAuthors Info & Claims

BM-FA '11: Proceedings of the Third Workshop on Behavioural Modelling

Pages 17 - 24

https://doi.org/10.1145/1993956.1993959

Published: 06 June 2011 Publication History

Abstract

The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples.

References

[1]

A. Aldini, M. Bernardo, and F. Corradini. A Process Algebraic Approach to Software Architecture Design, volume 54. Springer London, London, 2010.

Digital Library

[2]

F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329--366, June 2004.

Digital Library

[3]

J. Baeten. A brief history of process algebra. Theoretical Computer Science, 335(2/3):131--146, 2005.

Digital Library

[4]

J. C. M. Baeten, T. Basten, and M. A. Reniers. Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, 2010.

Digital Library

[5]

J. P. Bodeveix, M. Filali, P. Gaufillet, and F. Vernadat. The AADL real-time model A behavioural annex for the AADL. In Proc. of the DASIA 2006 -- DAta Systems In Aerospace -- Conference, number May, Berlin, Germany, 2006.

[6]

Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, and Michael Stal. Pattern-Oriented Software Architecture Volume 1: A System of Patterns. Wiley, 1996.

Digital Library

[7]

D. Garlan. Style-based refinement for software architecture. Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pages 72--75, 1996.

Digital Library

[8]

D. Garlan and M. Shaw. An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering (volume I). World Scientific Publishing Co., 1993.

[9]

J. F. Groote, J. Keiren, A. Mathijssen, B. Ploeger, F. Stappers, C. Tankink, Y. Usenko, M. Weerdenburg, W. Wesselink, T. Willemse, and J. Wulp. The mcrl2 toolset. In Proc. International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008), 2008.

[10]

J. F. Groote, A. Mathijssen, M. Reniers, Y. Usenko, and M. van Weerdenburg. The formal specification language mcrl2. In Methods for Modelling Software Systems: Dagstuhl Seminar 06351, 2007.

[11]

N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. Software Engineering, IEEE, 26(1):70--93, 2002.

Digital Library

[12]

R. Milner. Communication and Concurrency. Series in Computer Science. Prentice Hall, 1989.

Digital Library

[13]

SAE Development Team. AADL homepage, 2011.

[14]

A. Sanchez, L. S. Barbosa, and D. Riesco. A Language for Behavioral Modeling of Architectural Patterns - Generation and Analysis in the mCRL2 Framework. Technical Report DI-CCTC-11-02, Universidade do Minho, Departamento de Informática, Campus de Gualtar 4710-057, Braga, Portugal, 03 2011.

[15]

M. Shaw and D. Garlan. Software architecture: perspectives on an emerging discipline. Prentice Hall, 1996.

Digital Library

Cited By

Sanchez AOliveira NBarbosa LHenriques P(2015)A perspective on architectural re-engineeringScience of Computer Programming10.1016/j.scico.2014.02.02698:P4(764-784)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.02.026
Sanchez AMadeira ABarbosa L(2015)On the verification of architectural reconfigurationsComputer Languages, Systems and Structures10.1016/j.cl.2015.07.00144:PC(218-237)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.07.001
Sanchez ABarbosa LMadeira A(2015)Modelling and Verifying Smell-Free Architectures with the Archery LanguageSoftware Engineering and Formal Methods10.1007/978-3-319-15201-1_10(147-163)Online publication date: 1-Feb-2015
https://doi.org/10.1007/978-3-319-15201-1_10
Show More Cited By

Recommendations

Towards an architectural patterns language for systems-of-systems
PLoP '19: Proceedings of the 26th Conference on Pattern Languages of Programs

Systems-of-Systems (SoS) architectures are inherently dynamic; hence, they must support continuous modification in the behaviour and configuration of these systems at runtime as a result of changes in the environment, new SoS missions, and failures or ...
Towards Containment Checking of Behaviour in Architectural Patterns
EuroPLoP '17: Proceedings of the 22nd European Conference on Pattern Languages of Programs

The behaviour of architectural patterns must be consistent in terms of the artefacts produced in the various activities of the software development process, such as requirements, software architecture, detailed design and implementation. In this context,...
Semi-automatic architectural pattern identification and documentation using architectural primitives

Documentation of architectural patterns based on architectural primitives.DSL-based documentation of pattern instances.DSL-based pattern catalog.Supports traceability between all artifacts. In this article, we propose an interactive approach for the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

BM-FA '11: Proceedings of the Third Workshop on Behavioural Modelling

June 2011

71 pages

ISBN:9781450306171

DOI:10.1145/1993956

Copyright © 2011 ACM.

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: 06 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Fundação para a Ciência e a Tecnologia
QREN (the Portuguese National Strategy Reference Chart)

Conference

BM-FA '11

BM-FA '11: The Third Workshop on Behavioural Modelling - Foundations and Application

June 6, 2011

Birmingham, United Kingdom

Acceptance Rates

Overall Acceptance Rate 8 of 9 submissions, 89%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
142
Total Downloads

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

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sanchez AOliveira NBarbosa LHenriques P(2015)A perspective on architectural re-engineeringScience of Computer Programming10.1016/j.scico.2014.02.02698:P4(764-784)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.02.026
Sanchez AMadeira ABarbosa L(2015)On the verification of architectural reconfigurationsComputer Languages, Systems and Structures10.1016/j.cl.2015.07.00144:PC(218-237)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.07.001
Sanchez ABarbosa LMadeira A(2015)Modelling and Verifying Smell-Free Architectures with the Archery LanguageSoftware Engineering and Formal Methods10.1007/978-3-319-15201-1_10(147-163)Online publication date: 1-Feb-2015
https://doi.org/10.1007/978-3-319-15201-1_10
Sanchez ABarbosa LRiesco D(2013)Verifying Bigraphical Models of Architectural ReconfigurationsProceedings of the 2013 International Symposium on Theoretical Aspects of Software Engineering10.1109/TASE.2013.25(135-138)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1109/TASE.2013.25
Sanchez AAguiar ABarbosa LRiesco D(2012)Analysing Tactics in Architectural PatternsProceedings of the 2012 35th Annual IEEE Software Engineering Workshop10.1109/SEW.2012.10(32-41)Online publication date: 12-Oct-2012
https://dl.acm.org/doi/10.1109/SEW.2012.10
Sanchez ABarbosa LRiesco D(2012)Bigraphical Modelling of Architectural PatternsFormal Aspects of Component Software10.1007/978-3-642-35743-5_19(313-330)Online publication date: 2012
https://doi.org/10.1007/978-3-642-35743-5_19

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents