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

5th International Conference on Soft Computing as Transdisciplinary Science and Technology, CSTST '08 - Proceedings

Volumn , Issue , 2008, Pages 508-516

  Becker, Basil ^a   Giese, Holger ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Correctness; Graph transformations; Invariant checking; Modeling; Self adaptive systems

Indexed keywords

APPLICATION EXAMPLES; BEHAVIOR-BASED; FORMAL MODEL; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION SYSTEM; HIGH LEVEL OF ABSTRACTION; INVARIANT CHECKING; OBJECT DIAGRAMS; SELF-ADAPTIVE SYSTEM;

EMBEDDED SOFTWARE; MATHEMATICAL MODELS; SOFT COMPUTING;

ADAPTIVE SYSTEMS;

EID: 70049116537     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1456223.1456326     Document Type: Conference Paper

References (28)

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.
3. th ISORC, pages 203-210. IEEE CS, 5-7 May 2008.
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.
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.
7. C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In Proc. IFIP, pages 107-126. Kluwer, 1999.
8. H. Giese and F. Klein. Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications. IJAOSE, 1(1):28-62, April 2007.
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.
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.
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.
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.
14. J. Kramer and J. Magee. Analysing dynamic change in software architectures: A case study. In Proc. ICCDS, page 91. IEEE, 1998.
15. J. Kramer and J. Magee. Self-Managed Systems: an Architectural Challenge. In FOSE 2007, pages 259-268. IEEE Computer Society, 2007.
16. J. Kramer, J. Magee, and M. Sloman. Configuring distributed systems. In Proc. SIGOPS, pages 1-5. ACM, 1992.
17. M. M. Lehman. Software's Future: Managing Evolution. IEEE Software, 15(01):40-44, 1998.
18. D. L. Métayer. Software architecture styles as graph grammars. In Proc. SIGSOFT, pages 15-23. ACM, 1996.
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.
20. P. Oreizy. A Flexible Approach to Decentralized Software Evolution. In Proc. ICSE, pages 730-731, 1999.
21. P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proc. ICSE, pages 177-186. IEEE, 1998.
22. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, volume 1. World Scientific Pub Co, 1997.
23. W. Schäfer and H. Wehrheim. The Challenges of Building Advanced Mechatronic Systems. In FOSE 2007, pages 72-84. IEEE Computer Society, 2007.
24. th International Workshop, volume 903 of LNCS, pages 151-163, 1994.
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.
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.
28. J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In Proc. ICSE, pages 371-380. ACM, 2006.