Towards a rigorous modeling formalism for systems of systems

Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2012

Volumn , Issue , 2012, Pages 204-211

  Gezgin, Tayfun ^a   Etzien, Christoph ^a   Henkler, Stefan ^a   Rettberg, Achim ^b  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Model based development; Real Time Embedded Systems; Self Adaptive Systems; Self X Systems; System of Systems

Indexed keywords

ADAPTIVITY; BASIC ELEMENTS; COMPONENT MODEL; DESIGN TIME; EVALUATION FUNCTION; GRAPH TRANSFORMATION; MODEL BASED DEVELOPMENT; MODELING APPROACH; MODELING FORMALISMS; REAL-TIME EMBEDDED SYSTEMS; RIGOROUS MODELING; RUNTIMES; SAFETY CRITICAL SYSTEMS; SAFETY-CRITICAL; SCALE SYSTEM; SELF-ADAPTIVE; SELF-ADAPTIVE SYSTEM; STRUCTURAL ELEMENTS; SYSTEM OF SYSTEMS; SYSTEMS OF SYSTEMS;

ADAPTIVE SYSTEMS; DESIGN; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS;

SYSTEMS ENGINEERING;

EID: 84861494413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORCW.2012.42     Document Type: Conference Paper

References (31)

1. Robert Allen, Rémi Douence, and David Garlan. Specifying and analyzing dynamic software architectures. Lecture Notes in Computer Science, 1382:21-36, 1998.
2. 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.
3. Yaneer Bar-Yam. The characteristics and emerging behaviors of system of systems, 2004.
4. J. Boardman and B. Sauser. System of Systems - the meaning of of. System of Systems Engineering, 0:6 pp.+, 2006.
5. 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.
6. Sven Burmester, Holger Giese, and Matthias Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In Uwe Assmann, Arend Rensink, and Mehmet Aksit, editors, Model Driven Architecture: Foundations and Applications, LNCS, pages 1-15. Springer Verlag, 2005.
7. Sven Burmester, Matthias Tichy, and Holger 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.
8. Carlos Canal, Ernesto Pimentel, and José 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.
9. W. Damm and D. Harel. Lscs: Breathing life into message sequence charts. Technical report, Jerusalem, Israel, Israel, 1998.
10. Bruce Powell Douglass. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
11. Holger Giese and Florian Klein. Systematic verification of multi-agent systems based on rigorous executable specifications. Int. J. Agent-Oriented Softw. Eng., 1:28-62, April 2007.
12. S. Henkler, M. Hirsch, C. Priesterjahn, and W. Schäfer. Modeling and verifying dynamic communication structures based on graph transformations. In Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.- 26.2.2010 in Paderborn, 2010.
13. Thomas 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.
14. Dan Hirsch, Paolo Inverardi, and Ugo 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.
15. Martin Hirsch, Stefan Henkler, and Holger Giese. Modeling collaborations with dynamic structural adaptation in mechatronic uml. In SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems, pages 33-40, New York, NY, USA, 2008. ACM.
16. Franjo Ivancic. Modeling and Analysis of Hybrid Systems. PhD thesis, University of Pennsylvania, 2003.
17. M. Jamshidi. Systems of systems engineering: principles and applications. CRC Press, 2009.
18. R.S. Kalawsky, S. Workinger, E. Honour, M. Winokur, A. Ferrari, U. Shani, A. Savir, A. Fisher, A. Benveniste, A. Sangiovanni Vincentelli, T. Peikenkamp, T. Lochow, C. Sofronis, A. Keis, P. Soulard, A. Legay, and R. Bullinga. Challenges in operationalizing systems of systems (sos) by managing their characteristics and attributes through new systems engineering paradigms. Technical report, 2012.
19. 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.
20. Jeff Kramer, Jeff Magee, and Morris 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.
21. Daniel Le 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.
22. Bertrand Meyer. Applying "design by contract". Computer, 25(10):40-51, 1992.
23. L. Northrop, P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, D. Schmidt, K. Sullivan, and K. Wallnau. Ultra-Large-Scale Systems - The Software Challenge of the Future. Technical report, Software Engineering Institute, Carnegie Mellon, June 2006.
24. Peyman Oreizy, Nenad Medvidovic, and Richard 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.
25. Grzegorz Rozenberg. HANDBOOK of GRAPH GRAMMARS and COMPUTING by GRAPH TRANSFORMATION, Volume 1: Foundations. World Scientific, 1997.
26. W. Schäfer, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O'Grady, M. Platzner, F. Rammig, W. Reif, and A. Trächtler. Engineering self-coordinating software intensive systems. In Proceedings of the Foundations of Software Engineering (FSE) and NITRD/SPD Working Conference on the Future of Software Engineering Research (FoSER 2010), 2010.
27. Gabriele Taentzer, Michael Goedicke, and Torsten 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.
28. Todor TAGAREV Tsvetomir TSACHEV and Nikolay ZHIVKOV. Formalizing the optimization problem in long term capability planning, 2007.
29. Mark W.Maier. Architecting principles for systems-of-systems. In Inc. Systems Engineering, volume 1, pages 267-284, 1998.
30. Ji Zhang and Betty 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.
31. Albert Zündorf. Rigorous Object Oriented Software Development. Habilitation, Software Engineering Group, University of Paderborn, 2001.