Modeling collaborations with dynamic structural adaptation in mechatronic UML

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 33-40

  Hirsch, Martin ^a   Henkler, Stefan ^a   Giese, Holger ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Collaboration; Dynamic structural adaption; Mechatronic systems; Safety

Indexed keywords

BUILDING COMMUNITY; COLLABORATION; COMPONENT BEHAVIOR; COORDINATION PROTOCOLS; GLOBAL NETWORKING; HIERARCHICAL STATE MACHINES; MECHATRONIC SYSTEMS; RUNTIMES; SELF ADAPTATION; STRUCTURAL ADAPTATION;

ALGORITHMS; AUTONOMOUS AGENTS; COBALT COMPOUNDS; COORDINATION REACTIONS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

MECHATRONICS;

EID: 77954766080     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. A. Agrawal, G. Simon, and G. Karsai. Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations. In International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain, 2004.
2. R. Allen, R. Douence, and D. Garlan. Specifying and analyzing dynamic software architectures. Lecture Notes in Computer Science, 1382: 21-36, 1998.
3. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical Hybrid Modeling of Embedded Systems. In First Workshop on Embedded Software, 2001.
4. R. Alur, R. Grosu, I. Lee, and O. Sokolsky. Compositional Refinement of Hierarchical Hybrid Systems. In Proceedings of the Fourth International Conference on Hybrid Systems: Computation and Control (HSCC01), volume 2034 of Lecture Notes in Computer Science, pages 33-48. Springer Verlag, 2001.
5. J. S. Bradbury, J. R. Cordy, J. Dingel, and M. 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.
6. S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In H. Araujo, A. Vieira, J. Braz, B. Encarnacao, and M. Carvalho, editors, Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pages 222-229. INSTICC Press, August 2004.
7. S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In Informatics in Control, Automation and Robotics. Kluwer Academic Publishers, 2005. to appear.
8. S. Burmester, H. Giese, and M. Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Assmann, A. Rensink, and M. Aksit, editors, Model Driven Architecture: Foundations and Applications, LNCS, pages 1-15. Springer Verlag, 2005.
9. S. Burmester, M. Tichy, and H. Giese. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Aßmann, editor, Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pages 155-169, June 2004.
10. C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In WICSA1: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), pages 107-126, Deventer, The Netherlands, The Netherlands, 1999. Kluwer, B.V
11. H. Giese. A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. Technical Report tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, July 2003.
12. H. Giese, S. Burmester, W. Schäfer, and O. 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.
13. H. Giese and S. Henkler. A survey of approaches for the visual model-driven development of next generation software-intensive systems. In Journal of Visual Languages and Computing, volume 17, pages 528-550, December 2006.
14. H. Giese and S. Henkler. A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput., 17(6): 528-550, 2006. (Pubitemid 44835263)
15. H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. 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.
16. S. Graf and J. Hooman. Correct Development of Embedded Systems. In F. Oquendo, B. Warboys, and R. Morrision, editors, Proceedings of the First European Workshop on Software Architecture, EWSA2004, volume 3047 of Lecture Notes in Computer Science, pages 241-249, St Andrews, UK, May 21-22 2004. Springer Verlag.
17. T. A. Henzinger. Masaccio: A formal model for embedded components. In Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), Lecture Notes in Computer Science 1872, Springer-Verlag, 2000, pp. 549-563., 2000.
18. D. Hirsch, P. Inverardi, and U. Montanari. Graph grammars and constraint solving for software architecture styles. In ISAW '98: Proceedings of the third international workshop on Software architecture, pages 69-72, New York, NY, USA, 1998. ACM.
19. F. Ivancic. Modeling and Analysis of Hybrid Systems. PhD thesis, University of Pennsylvania, 2003.
20. A. Knapp, S. Merz, and C. Rauh. Model Checking timed UML State Machines and Collaborations. 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002), Oldenburg, September 2002, Lecture Notes in Computer Science volume 2469 pages 395-414. Springer-Verlag, 2002.
21. nd International Conference on Software Engineering (ICSE), Limerick, Irland, pages 241-251. ACM Press, 2000.
22. J. Kramer and J. Magee. Analysing dynamic change in software architectures: A case study. In CDS '98: Proceedings of the International Conference on Configurable Distributed Systems, page 91, Washington, DC, USA, 1998. IEEE Computer Society.
23. J. Kramer, J. Magee, and M. Sloman. Configuring distributed systems. In EW 5: Proceedings of the 5th workshop on ACM SIGOPS European workshop, pages 1-5, New York, NY, USA, 1992. ACM.
24. D. L. Métayer. Software architecture styles as graph grammars. In SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pages 15-23, New York, NY, USA, 1996. ACM.
25. P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In ICSE '98: Proceedings of the 20th international conference on Software engineering, pages 177-186, Washington, DC, USA, 1998. IEEE Computer Society.
26. G. Taentzer, M. Goedicke, and T. Meyer. Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In TAGT'98: Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, pages 179-193, London, UK, 2000. Springer-Verlag.
27. J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 371-380, New York, NY, USA, 2006. ACM.