Modeling and Verifying Dynamic Communication Structures based on Graph Transformations

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-159, Issue , 2010, Pages 153-164

  Henkler, Stefan ^a   Hirsch, Martin ^a   Priesterjahn, Claudia ^a   Schäfer, Wilhelm ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; GRAPH THEORY;

'CURRENT; COMMUNICATION STRUCTURES; COMPONENTS INTERACTION; DYNAMIC COMMUNICATION; GRAPH TRANSFORMATION; PROPERTY; SELF-HEALING; SELF-OPTIMIZATION; SOFTWARE-SYSTEMS; STRUCTURE-BASED;

MODEL CHECKING;

EID: 79951587613     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Rajeev Alur. Model Checking: From Tools to Theory. In 25 Years of Model Checking, volume 5000 of Lecture Notes in Computer Science, pages 89-106. Springer Berlin / Heidelberg, 2008.
2. Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, and Michel Wermelinger. A survey of self-management in dynamic software architecture specifications. In WOSS'04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, pages 28-33, New York, NY, USA, 2004. ACM.
3. Sven Burmester, Holger Giese, Martin Hirsch, and Daniela Schilling. Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. In Proc. of the International Workshop on Specification and Validation of UML Models for Real-Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pages 1-20, October 2004.
4. E. M. Clarke, Orna Grumberg, and Doron Peled. Model Checking. MIT Press, January 2000.
5. Holger Giese, Sven Burmester, Wilhelm Schäfer, and Oliver Oberschelp. Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pages 179-188. ACM Press, November 2004.
6. Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, and Stephan Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, pages 38-47. ACM Press, September 2003.
7. Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kathan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, and Holger Giese. Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, May 2009.
8. Martin Hirsch, Stefan Henkler, and Holger Giese. Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'08),Leipzig, Germany, pages 33-40. ACM Press, May 2008.
9. Martin Hirsch. Modell-basierte Verifikation von vernetzten mechatronischen Systemen. PhD thesis, University of Paderborn, Paderborn, Germany, September 2008.
10. Christian Henke, Matthias Tichy, Joachim Böcker, and Wilhelm Schäfer. Organization and Control of Autonomous Railway Convoys. In Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan, October 2008.
11. J. Misra and M. Chandy. Proofs of Networks of Processes. IEEE Transactions on Software Engineering, 7(4):417-426, 1981.
12. Oliver Niggemann and Joachim Stroop. Models for model's sake: why explicit system models are also an end to themselves. In Wilhelm Schäfer, Matthew B. Dwyer, and Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pages 561-570. ACM, 2008.
13. Arend Rensink. The GROOVE Simulator: A Tool for State Space Generation. In J. Pfalz, M. Nagl, and B. Böhlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of Lecture Notes in Computer Science, pages 479-485. Springer Verlag, 2004.
14. Wilhelm Schäfer and Heike Wehrheim. The Challenges of Building Advanced Mechatronic Systems. In FOSE'07: 2007 Future of Software Engineering, pages 72-84, Washington, DC, USA, 2007. IEEE Computer Society.