Article

A graph based architectural (Re)configuration language

Authors:

Michel Wermelinger,

Antónia Lopes,

José Luiz FiadeiroAuthors Info & Claims

ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

Pages 21 - 32

https://doi.org/10.1145/503209.503213

Published: 01 September 2001 Publication History

Abstract

For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such evolution can be conceived in terms of a language for specifying the dynamic reconfiguration of systems. In this paper, continuing our work on the development of a formal platform for architectural design, we present a high-level language to describe architectures and for operating changes over a configuration (i.e., an architecture instance), such as adding, removing or substituting components or interconnectons. The language follows an imperative style and builds on a semantic domain established in previous work. Therein, we model architectures through categorical diagrams and dynamic reconfiguration through algebraic graph rewriting.

References

[1]

R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. In Fundamental Approaches to Software Engineering, volume 1382 of LNCS, pages 21-37. Springer-Verlag, 1998.]]

[2]

R. Allen and D. Garlan. A formal basis for architectural connection. ACM TOSEM, 6(3):213-249, July 1997.]]

Digital Library

[3]

L. Andrade and J. L. Fiadeiro. Coordination technologies for managing information system evolution. In Proc. CAiSE'01, volume 2068 of LNCS, pages 374-387. Springer-Verlag, 2001.]]

[4]

C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In Software Architecture, pages 107-125. Kluwer Academic Publishers, 1999.]]

[5]

K. M. Chandy and J. Misra. Parallel Program Design-A Foundation. Addison-Wesley, 1988.]]

Digital Library

[6]

A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Lowe. Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach. Technical Report TR-96-17, University of Pisa, Mar. 1996.]]

Digital Library

[7]

M. Endler. A language for implementing generic dynamic reconfigurations of distributed programs. In Proceedings of the 12th Brazilian Symposium on Computer Networks, pages 175-187, 1994.]]

[8]

G. Engels and R. Heckel. Graph transformation as unifying formal framework for system modeling and model evolution. In Proc. of ICALP, volume 1853 of LNCS, pages 127-150. Springer-Verlag, 2000.]]

[9]

J. L. Fiadeiro and A. Lopes. Semantics of architectural connectors. In Proceedings of TAPSOFT'97, volume 1214 of LNCS, pages 505-519. Springer-Verlag, 1997.]]

[10]

J. L. Fiadeiro, N. Marty-Oliet, T. Maibaum, J. Meseguer, and I. Pita. Towards a verification logic for rewriting logic. In Recent Trends in Algebraic Development Techniques, number 1827 in LNCS, pages 438-458. Springer-Verlag, 2000.]]

[11]

N. Francez and I. Forman. Interacting Processes. Addison-Wesley, 1996.]]

[12]

J. Gouveia, G. Koutsoukos, L. Andrade, and J. L. Fiadeiro. Tool support for coordination-based software evolution. In Proc. TOOLS 38, pages 184-196. IEEE Computer Society Press, 2001.]]

Digital Library

[13]

D. Hirsch, P. Inverardi, and U. Montanari. Modelling software architectures and styles with graph grammars and constraint solving. In Software Architecture, pages 127-143. Kluwer Academic Publishers, 1999.]]

[14]

D. Hirsch, P. Inverardi, and U. Montanari. Reconfiguration of software architecture styles with name mobility. In Coordination Languages and Models, volume 1906 of LNCS, pages 148-163. Springer-Verlag, 2000.]]

[15]

J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293-1306, Nov. 1990.]]

Digital Library

[16]

A. Lopes. Nao-determinismo e Composicionalidade na Especificacao de Sistemas Reactivos. PhD thesis, Universidade de Lisboa, Jan. 1999.]]

[17]

A. Lopes and J. L. Fiadeiro. Using explicit state to describe architectures. In Proceedings of Fundamental Approaches to Software Engineering, number 1577 in LNCS, pages 144-160. Springer-Verlag, 1999.]]

Digital Library

[18]

J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 3-14. ACM Press, 1996.]]

Digital Library

[19]

J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour analysis of software architectures. In Software Architecture, pages 35-50. Kluwer Academic Publishers, 1999.]]

[20]

N. Medvidovic. ADLs and dynamic architecture changes. In Joint Proceedings of the SIGSOFT'96 Workshops, pages 24-27. ACM Press, 1996.]]

Digital Library

[21]

N. R. Mehta, N. Medvidovic, and S. Phadke. Towards a taxonomy of software connectors. In Proc. of the 22nd Intl. Conf. on Software Engineering, pages 178-187. ACM Press, 2000.]]

Digital Library

[22]

D. L. Metayer. Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering, 24(7):521-553, July 1998.]]

Digital Library

[23]

K. Moazami-Goudarzi. Consistency Preserving Dynamic Reconfiguration of Distributed Systems. PhD thesis, Imperial College London, Mar. 1999.]]

[24]

R. T. Monroe. Capturing software architecture design expertise with Armani. Technical Report CMU-CS-98-163, School of Computer Science, Carnegie Mellon University, Oct. 1998.]]

[25]

R. T. Monroe, D. Garlan, and D. Wile. Acme StrawManual, Nov. 1997.]]

[26]

P. Oreizy. Issues in the runtime modification of software architectures. Technical Report UCI-ICS-TR-96-35, Department of Information and Computer Science, University of California, Irvine, Aug. 1996.]]

[27]

P. Rodgers. Constructs for programming with graph rewrites. In Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, number 2000-2 in Forschungsberichte des Fachbereichs Informatik, pages 59-66. Technische Universitat Berlin, 2000.]]

[28]

G. Taentzer, M. Goedicke, and T. Meyer. Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In Proc. 6th Int. Workshop on Theory and Application of Graph Transformation, 1998.]]

Digital Library

[29]

M. Wermelinger and J. L. Fiadeiro. Algebraic software architecture reconfiguration. In Software Engineering-ESEC/FSE'99, volume 1687 of LNCS, pages 393-409. Springer-Verlag, 1999.]]

[30]

M. Wermelinger and J. L. Fiadeiro. A graph transformation approach to run-time software architecture reconfiguration. Science of Computer Programming, 2001. To appear.]]

Digital Library

Cited By

Rapp MScheerer MReussner RFeng DBecker SHerbst NLeitner P(2022)Design-time Performability Optimization of Runtime Adaptation StrategiesCompanion of the 2022 ACM/SPEC International Conference on Performance Engineering10.1145/3491204.3527471(113-120)Online publication date: 14-Jul-2022
https://dl.acm.org/doi/10.1145/3491204.3527471
Ait-Ameur YBabin GPantel M(2021)An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensationService Oriented Computing and Applications10.1007/s11761-021-00314-4Online publication date: 4-May-2021
https://doi.org/10.1007/s11761-021-00314-4
Baresi LGhezzi CMa XManna V(2017)Efficient Dynamic Updates of Distributed Components Through Version ConsistencyIEEE Transactions on Software Engineering10.1109/TSE.2016.259291343:4(340-358)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2592913
Show More Cited By

Index Terms

A graph based architectural (Re)configuration language
1. Software and its engineering
  1. Software notations and tools
    1. System description languages
      1. Design languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

A graph based architectural (Re)configuration language

For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such evolution can be conceived in terms of a language for specifying the dynamic ...
Product configuration knowledge modeling using ontology web language

Effective and efficient development of product configuration systems, including the modeling of product configuration knowledge and the development of inference systems, is a key successful factor to implement mass customization paradigm. Ontology-based ...
Development of a product configuration system with an ontology-based approach

Product configuration is a crucial means to implement the mass customization paradigm by assembling a set of customizable components to satisfy both customers' needs and technical constraints. With the aim of enabling efficient and effective development ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

September 2001

329 pages

ISBN:1581133901

DOI:10.1145/503209

Conference Chairs:
A. Min Tjoa
Vienna Univ. of Technology, Vienna, Austria
,
Volker Gruhn
Univ. of Dortmund, Dortmund, Germany

ACM SIGSOFT Software Engineering Notes Volume 26, Issue 5
Sept. 2001
329 pages
ISSN:0163-5948
DOI:10.1145/503271
Issue’s Table of Contents

Copyright © 2001 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]

Sponsors

CEPIS: Council of European Professional Informatics Societies
VIENUT: Vienna University of Technology
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ESEC/FSE01

Sponsor:

CEPIS
VIENUT
SIGSOFT

ESEC/FSE01: European Software Engineering Conference 2001/ Foundations on Software Engineering 2001

September 10 - 14, 2001

Vienna, Austria

Acceptance Rates

ESEC/FSE-9 Paper Acceptance Rate 29 of 137 submissions, 21%;

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

68
Total Citations
View Citations
771
Total Downloads

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

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Rapp MScheerer MReussner RFeng DBecker SHerbst NLeitner P(2022)Design-time Performability Optimization of Runtime Adaptation StrategiesCompanion of the 2022 ACM/SPEC International Conference on Performance Engineering10.1145/3491204.3527471(113-120)Online publication date: 14-Jul-2022
https://dl.acm.org/doi/10.1145/3491204.3527471
Ait-Ameur YBabin GPantel M(2021)An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensationService Oriented Computing and Applications10.1007/s11761-021-00314-4Online publication date: 4-May-2021
https://doi.org/10.1007/s11761-021-00314-4
Baresi LGhezzi CMa XManna V(2017)Efficient Dynamic Updates of Distributed Components Through Version ConsistencyIEEE Transactions on Software Engineering10.1109/TSE.2016.259291343:4(340-358)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2592913
Mavridou ABaranov EBliudze SSifakis J(2016)Architecture Diagrams: A Graphical Language for Architecture Style SpecificationElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.223.6223(83-97)Online publication date: 10-Aug-2016
https://doi.org/10.4204/EPTCS.223.6
Durán FSalaün G(2016)Robust and reliable reconfiguration of cloud applicationsJournal of Systems and Software10.1016/j.jss.2015.09.020122:C(524-537)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.jss.2015.09.020
Durán FSalaün GSeinturier LAlmeida ECarlson J(2014)Robust reconfiguration of cloud applicationsProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602479(179-184)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602479
Salaün GBoyer FCoupaye TDe Palma NEtchevers XGruber O(2013)An experience report on the verification of autonomic protocols in the cloudInnovations in Systems and Software Engineering10.1007/s11334-013-0204-09:2(105-117)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1007/s11334-013-0204-0
Weyns DIftikhar Mde la Iglesia DAhmad TDesai BVassev EMudur SDesai B(2012)A survey of formal methods in self-adaptive systemsProceedings of the Fifth International C* Conference on Computer Science and Software Engineering10.1145/2347583.2347592(67-79)Online publication date: 27-Jun-2012
https://dl.acm.org/doi/10.1145/2347583.2347592
Panzica La Manna VGrassi VMirandola RMedvidovic NLarsson M(2012)Local dynamic update for component-based distributed systemsProceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering10.1145/2304736.2304764(167-176)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2304736.2304764
Salaün GEtchevers XDe Palma NBoyer FCoupaye TOssowski SLecca P(2012)Verification of a self-configuration protocol for distributed applications in the cloudProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2231979(1278-1283)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2231979
Show More Cited By

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