research-article

Modeling of correct self-adaptive systems: a graph transformation system based approach

Authors:

Holger GieseAuthors Info & Claims

CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology

Pages 508 - 516

https://doi.org/10.1145/1456223.1456326

Published: 28 October 2008 Publication History

Abstract

Software is always embedded in a social and technical context which change over time and therefore also the software has to be adjusted over time to preserve its value. Self-adaptive systems provide a vision how the systems can become capable of doing a large fraction of the required adaptations autonomously. In this paper we first discuss what is required to model correct self-adaptive systems. We then present the formal model of graph transformation systems which serves most of the identified needs. Based on this findings we outline how UML class and object diagrams as well as extensions for the modeling of behavior based upon graph transformation systems can be employed to model correct self-adaptive system. An application example is used to present how the approach can be employed to model self-adaptive systems at a high level of abstraction and means to ensure its correctness are discussed.

References

[1]

R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. LNCS, 1382:21, 1998.

[2]

B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling. Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In Proc. ICSE, pages 72--81. ACM, 2006.

Digital Library

[3]

B. Becker and H. Giese. On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In In Proc. of 11^th ISORC, pages 203--210. IEEE CS, 5--7 May 2008.

Digital Library

[4]

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger. A survey of self-management in dynamic software architecture specifications. In WOSS 2004, pages 28--33. ACM, 2004.

Digital Library

[5]

S. Burmester, H. Giese, and M. Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In Model Driven Architecture: Foundations and Applications, volume 3599 of LNCS, pages 1--15. Springer Verlag, 2005.

[6]

S. Burmester, M. Tichy, and H. Giese. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In Proc. of Model Driven Architecture: Foundations and Applications, June 2004.

Digital Library

[7]

C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In Proc. IFIP, pages 107--126. Kluwer, 1999.

Digital Library

[8]

H. Giese and F. Klein. Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications. IJAOSE, 1(1):28--62, April 2007.

Digital Library

[9]

H. Giese and R. Wagner. Incremental Model Synchronization with Triple Graph Grammars. In Proc. MoDELS, volume 4199 of LNCS, pages 543--557. Springer Verlag, October 2006.

Digital Library

[10]

D. Hirsch, P. Inverardi, and U. Montanari. Graph grammars and constraint solving for software architecture styles. In Proc. of ISAW'98, pages 69--72. ACM, 1998.

Digital Library

[11]

H. Kastenberg and A. Rensink. Model Checking Dynamic States in GROOVE. In Model Checking Software, volume 3925 of LNCS, pages 299--305. Springer Berlin / Heidelberg, 2006.

Digital Library

[12]

T. Klein, U. Nickel, J. Niere, and A. Zündorf. From UML to Java And Back Again. Technical Report tr-ri-00-216, Univ. of Paderborn, Paderborn, Germany, September 1999.

[13]

H. J. Köhler, U. A. Nickel, J. Niere, and A. Zündorf. Integrating UML Diagrams for Production Control Systems. In Proc. ICSE, pages 241--251. ACM, 2000.

Digital Library

[14]

J. Kramer and J. Magee. Analysing dynamic change in software architectures: A case study. In Proc. ICCDS, page 91. IEEE, 1998.

Digital Library

[15]

J. Kramer and J. Magee. Self-Managed Systems: an Architectural Challenge. In FOSE 2007, pages 259--268. IEEE Computer Society, 2007.

Digital Library

[16]

J. Kramer, J. Magee, and M. Sloman. Configuring distributed systems. In Proc. SIGOPS, pages 1--5. ACM, 1992.

Digital Library

[17]

M. M. Lehman. Software's Future: Managing Evolution. IEEE Software, 15(01):40--44, 1998.

Digital Library

[18]

D. L. Métayer. Software architecture styles as graph grammars. In Proc. SIGSOFT, pages 15--23. ACM, 1996.

Digital Library

[19]

D. J. Musliner, R. P. Goldman, M. J. Pelican, and K. D. Krebsbach. Self-Adaptive Software for Hard Real-Time Environments. IEEE Inteligent Systems, 14(4), 1999.

Digital Library

[20]

P. Oreizy. A Flexible Approach to Decentralized Software Evolution. In Proc. ICSE, pages 730--731, 1999.

Digital Library

[21]

P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proc. ICSE, pages 177--186. IEEE, 1998.

Digital Library

[22]

G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume 1. World Scientific Pub Co, 1997.

Digital Library

[23]

W. Schäfer and H. Wehrheim. The Challenges of Building Advanced Mechatronic Systems. In FOSE 2007, pages 72--84. IEEE Computer Society, 2007.

Digital Library

[24]

A. Schürr. Specification of graph translators with triple graph grammars. In Graph-Theoretic Concepts in Computer Science, 20^th International Workshop, volume 903 of LNCS, pages 151--163, 1994.

Digital Library

[25]

M. Spijkerman. Monitoring gemischt struktureller und temporaler Eigenschaften von UML Modellen. Master's thesis, Univ. of Paderborn, 2007. german.

[26]

J. Sztipanovits, G. Karsai, and T. Bapty. Self-Adaptive Software for Signal Processing. Comm. of the ACM, 41(5):66--73, 1998.

Digital Library

[27]

G. Taentzer, M. Goedicke, and T. Meyer. Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In TAGT 1998, pages 179--193. Springer-Verlag, 2000.

Digital Library

[28]

J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In Proc. ICSE, pages 371--380. ACM, 2006.

Digital Library

Cited By

Marshall ARiley IQuirk LGamble R(2022)Using Design Questions to Analyze System Adaptation Potential2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOSC56246.2022.00043(113-118)Online publication date: Sep-2022
https://doi.org/10.1109/ACSOSC56246.2022.00043
Kluge THoniden SNitto ECalinescu R(2020)A role-based architecture for self-adaptive cyber-physical systemsProceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3387939.3391601(120-124)Online publication date: 29-Jun-2020
https://dl.acm.org/doi/10.1145/3387939.3391601
Khakpour NKleijn JSirjani M(2019)A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive SystemsFundamentals of Software Engineering10.1007/978-3-030-31517-7_1(3-19)Online publication date: 22-Sep-2019
https://doi.org/10.1007/978-3-030-31517-7_1
Show More Cited By

Index Terms

Modeling of correct self-adaptive systems: a graph transformation system based approach
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Modeling Dimensions of Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems

It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it is deployed. A cursory review of the software engineering literature ...
Adaptive Knowledge Bases in Self-Adaptive System Design
SEAA '15: Proceedings of the 2015 41st Euromicro Conference on Software Engineering and Advanced Applications

Self-adaptive systems allow for flexible solutions in changing environments. Usually, a fixed set of predefined rules is used to define the adaptation possibilities of a system. The main problem of such systems is to cope with environment behaviours ...
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets
TASE '13: Proceedings of the 2013 International Symposium on Theoretical Aspects of Software Engineering

The development of self-adaptive systems requires the definition of the parts of the system that will be adapted, when such adaptations will take place, and how these adaptations will interact with each other. However, foreseeing all possible ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

CSTST '08: Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology

October 2008

733 pages

ISBN:9781605580463

DOI:10.1145/1456223

Conference Chair:
Lotfi A. Zadeh
University of California
,
General Chairs:
Youakim Badr
INSA-Lyon, France
,
Ajith Abraham
Norwegian University of Science and Technology, Norway
,
Yukio Ohsawa
Tokyo Institute of Technology, Japan
,
Program Chairs:
Richard Chbeir
University of Bourgogne, France
,
Fernando Ferri
IRPPS-CNR, Italy
,
Mario Koeppen
Kyushu Institute of Technology, Japan
,
Dominique Laurent
University of Cergy-Pontoise, France

Copyright © 2008 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

The French Chapter of ACM Special Interest Group on Applied Computing
Ministère des Affaires Etrangères et Européennes
Région Ile de France
Communauté d'Agglomération de Cergy-Pontoise
Institute of Electrical and Electronics Engineers Systems, Man and Cybernetics Society
The European Society For Fuzzy And technology
Institute of Electrical and Electronics Engineers France Section
Laboratoire des Equipes Traitement des Images et du Signal
AFIHM: Ass. Francophone d'Interaction Homme-Machine
The International Fuzzy System Association
Laboratoire Innovation Développement
University of Cergy-Pontoise
The World Federation of Soft Computing
Agence de Développement Economique de Cergy-Pontoise
The European Neural Network Society
Comité d'Expansion Economique du Val d'Oise

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 October 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
205
Total Downloads

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

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Marshall ARiley IQuirk LGamble R(2022)Using Design Questions to Analyze System Adaptation Potential2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)10.1109/ACSOSC56246.2022.00043(113-118)Online publication date: Sep-2022
https://doi.org/10.1109/ACSOSC56246.2022.00043
Kluge THoniden SNitto ECalinescu R(2020)A role-based architecture for self-adaptive cyber-physical systemsProceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3387939.3391601(120-124)Online publication date: 29-Jun-2020
https://dl.acm.org/doi/10.1145/3387939.3391601
Khakpour NKleijn JSirjani M(2019)A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive SystemsFundamentals of Software Engineering10.1007/978-3-030-31517-7_1(3-19)Online publication date: 22-Sep-2019
https://doi.org/10.1007/978-3-030-31517-7_1
(2018)A novel adaptation approach for collaborative ubiquitous applicationsInternational Journal of Autonomous and Adaptive Communications Systems10.5555/3292675.329267611:4(293-314)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.5555/3292675.3292676
Abolhasanzadeh BJalili S(2018)Towards modeling and runtime verification of self-organizing systemsExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.09.00844:C(230-244)Online publication date: 29-Dec-2018
https://dl.acm.org/doi/10.1016/j.eswa.2015.09.008
Giese HVogel TWätzoldt S(2015)Towards Smart Systems of SystemsFundamentals of Software Engineering10.1007/978-3-319-24644-4_1(1-29)Online publication date: 12-Nov-2015
https://doi.org/10.1007/978-3-319-24644-4_1
Bucchiarone AEhrig HErmel CPelliccione PRunge O(2015)Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationSoftware, Services, and Systems10.1007/978-3-319-15545-6_33(582-601)Online publication date: 2015
https://doi.org/10.1007/978-3-319-15545-6_33
Karam YBaker TBendiab A(2013)Support for self-optimized organizational patterns in socio-driven elastic clouds2013 IEEE International Systems Conference (SysCon)10.1109/SysCon.2013.6549888(235-243)Online publication date: Apr-2013
https://doi.org/10.1109/SysCon.2013.6549888
Tichy MKlöpper B(2012)Planning Self-adaption with Graph TransformationsApplications of Graph Transformations with Industrial Relevance10.1007/978-3-642-34176-2_13(137-152)Online publication date: 2012
https://doi.org/10.1007/978-3-642-34176-2_13
Giese HLambers LBecker BHildebrandt SNeumann SVogel TWätzoldt S(2012)Graph transformations for MDE, adaptation, and models at runtimeProceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering10.1007/978-3-642-30982-3_5(137-191)Online publication date: 18-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-30982-3_5
Show More Cited By

View Options

Get Access

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