Model-driven systems engineering: state-of-the-art and research challenges

• Autorzy: Lauder M. , Schlereth M. , Rose S. , Schurr A.
• Języki publikacji: EN

Abstrakty

EN

Model-driven software engineering is a well investigated and heavily used technique for software development. Within automation engineering we want to benefit from these ideas and concepts by adopting them to systems engineering. Parallel processes in systems engineering demand high synchronization effort between different disciplines, their engineers, and processes. Unfortunately, these processes are concurrently established, but do only support sequential engineering. With model-driven systems engineering we want to enable systems engineers to model their domain knowledge and tooling on a more abstract level. Thus, engineers may benefit in increasing efficiency and quality for the resulting products from existing integration approaches of engineering artifacts and tools. By means of an integration approach we are able to synchronize and check consistency of model data that evolved parallel in different tools. In this contribution, we present a new classification scheme for integration scenarios and explain our modeling and integration approach together with a proof-of-concept use case and prototype, located in automation engineering.

Słowa kluczowe

EN

model-driven development; integration; automation engineering; TGG; empirical

• Wydawca: Polska Akademia Nauk, Wydział IV Nauk Technicznych
• Czasopismo: Bulletin of the Polish Academy of Sciences. Technical Sciences
• Rocznik: 2010
• Tom: Vol. 58, nr 3
• Strony: 409--421
• Opis fizyczny: Bibliogr. 42 poz., rys.

Twórcy

autor

Lauder M.

autor

Schlereth M.

autor

Rose S.

autor

Schurr A.

• Real-Time Systems Lab, Technische Universitat Darmstadt, Merckstr. 25, 64283 Darmstadt, Germany

Bibliografia

• [1] VDI-Gesellschaft Entwicklung Konstruktion Vertrieb, Entwicklungsmethodik fuer mechatronische Systeme, VDI 2206, 2004.
• [2] VDI-Gesellschaft F¨ordertechnik Materialfluss Logistik, Digitale Fabrik – Grundlagen/Digital factory – Fundamentals, VDI 4499, 2007.
• [3] International Electrotechnical Commission (IEC), Programmable Controllers – Part 3: Programming languages, IEC 61131–3, 2003.
• [4] Comos Industry Solutions GmbH, Comos ET, http://www.comos.com/elektrotechnik.html?&L=1 (2009).
• [5] Siemens AG, SIMATIC STEP7 Programming Software, http://www.automation.siemens.com/simatic/industriesoftware/html 76/products/step7.htm (2007).
• [6] IEEE Computer Society, IEEE Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE 1471, 2000.
• [7] ISO/IEC JTC 1/SC 32 Daten-Management und Daten-Austausch, Information technology – Meta Object Facility (MOF) Specification, ISO/IEC 19502, 2005.
• [8] Object Management Group, OMG Model Driven Architecture, http://www.omg.org/mda/ (2009).
• [9] I. Weisem¨oller and A. Sch¨urr, “A comparison of standard compliant ways to define domain specific languages”, Models in Software Engineering. Workshops and Symposia at MODELS 2007, Reports and Revised Selected Papers 1, 47–58 (2008).
• [10] IEC/TC 3 Information structures, documentation and graphical symbols, Preparation of Documents Used in Electrotechnology – Part 1: Rules, IEC 61082–1, 2006.
• [11] Configuring Hardware and Communication Connections with STEP7. Manual, 6ES7810-4CA08-8BW0 (2006).
• [12] Object Management Group, Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification OMG Available Specification, http://www.omg.org/spec/QVT/1.0/PDF/ (2009).
• [13] A. Sch¨urr, “Specification of graph translators with triple graph grammars”, Graph-Theoretic Concepts in Computer Science. 20th Int. Workshop, WG ’94 Herrsching, Germany, Proceedings 1, 151–163 (1995).
• [14] T. Mens, K. Czarnecki, and P. Van Gorp, “A taxonomy of model transformations”, Dagstuhl Seminar Proceedings 1, CDROM (2005).
• [15] IEC/SC 3B Dokumentation, Industrial Systems, Installations and Equipment And Industrial Products – Structuring Principles And Reference Designations – Part 1: Basic Rules, IEC 61346–1, 1996.
• [16] C. Amelunxen, F. Klar, A. K¨onigs, T. R¨otschke, and A. Schurr, “Metamodel-based tool integration with MOFLON”, 30th Int. Conf. on Software Engineering 1, 807–810 (2008).
• [17] Object Management Group, Meta Object Facility (MOF) 2.0 Core Specification OMG Available Specification, http://www.omg.org/cgi-bin/doc?formal/06-01-01.pdf (2006).
• [18] F. Klar, S. Rose, and A. Sch¨urr, “TiE – a tool integration environment”, Proc. 5th ECMDA Traceability Workshop 1, 39–48 (2009).
• [19] Java Metadata Interface (JMI) Specification. JSR 040 Java Community Process, 2002.
• [20] E. Kindler and R. Wagner, Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios, University of Paderborn Paderborn, 2007.
• [21] A. K¨onigs and A. Sch¨urr, “Tool integration with triple graph grammars – a survey”, Proc. SegraVis School on Foundations of Visual Modelling Techniques 1, 113–150 (2006).
• [22] ISO/IEC JTC 1/SC 32 Daten-Management und Daten-Austausch, Information Technology – XML Metadata Interchange (XMI), ISO/IEC 19503, 2005.
• [23] A. Sch¨urr and F. Klar, “15 years of triple graph grammars – research challenges, new contributions, open problems”, 4th Int. Conf. on Graph Transformation 1, 411–425 (2008).
• [24] F. Altheide, S. D¨orfel, H. D¨orr, and J. Kanzleiter, “An architecture for a sustainable tool integration”, Workshop on Tool Integration in System Development, TIS 2003 1, 29–32 (2003).
• [25] M. Nagl, Building Tightly Integrated Software Development Environments: The IPSEN Approach to Building Tightly Integrated Software Development Environments. The IPSEN Approach, Springer, Berlin, 1996.
• [26] A. Sch¨urr and H. D¨orr, “Special section on model-based tool integration”, Software and Systems Modeling 4 (2), 109–170 (2005).
• [27] C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, “xlinkit: a consistency checking and smart link generation service”, ACM Transactions on Internet Technology 2 (2), 151–185 (2002).
• [28] J. Bezivin, F. Jouault, and P. Valduriez, “On the need for megamodels”, Proc. Workshop on Best Practices for Model-Driven 420 Bull. Pol. Ac.: Tech. 58(3) 2010 Model-driven systems engineering: state-of-the-art and research challenges Software Development 19th Annual ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications 1, CD-ROM(2004).
• [29] G. Kappel, G. Kramler, E. Kapsammer, T. Reiter, W. Retschitzegger, and W. Schwinger, “ModelCVS – a semantic infrastructure for model-based tool integration”, Technical Report 1, http://www.modelcvs.org/papers/0705.pdf.(2007).
• [30] G. Kramler, G. Kappel, T. Reiter, E. Kapsammer, W. Retschitzegger, and W. Schwinger, “Towards a semantic infrastructure supporting model-based tool integration”, GaMMa ’06: Proc. 2006 Int. Workshop on Global Integrated Model Management 1, 43–46 (2006).
• [31] K. Czarnecki and S. Helsen, “Classification of model transformation approaches”, OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture 1, CDROM (2003).
• [32] A.W. Brown, D.J. Carney, E.J. Morris, D.B. Smith, and P.F. Zarrella, Principles of CASE Tool Integration, Oxford University Press, Oxford, 1994.
• [33] Geensys, REQTIFY, Effective Solution for Managing Requirements Traceability and Impact Analysis across Hardware and Software Projects Lifecycle, http://www.geensys.com/?Outils/Reqtify (2009).
• [34] Altova, MapForce, http://www.altova.com/products/mapforce/data mapping.html (2009).
• [35] J. Kiefer, „Mechatronikorientierte Planung automatisierter Fertigungszellen im Bereich Karosserierohbau“, Phd Dissertation, Univ. des Saarlandes Lehrstuhl f¨ur Fertigungstechnik, Saarbrucken, 2007.
• [36] R. Wagner, „Inkrementelle Modellsynchronisation“, Phd Dissertation, University of Paderborn, Paderborn, 2009.
• [37] S.M. Becker, S. Herold, S. Lohmann, and B. Westfechtel, “A graph-based algorithm for consistency maintenance in incremental and interactive integration tools”, Software and Systems Modeling 3, 287–315 (2007).
• [38] Microsoft, Microsoft BizTalk Server, http://www.microsoft.com/biztalk/en/us/default.aspx (2009).
• [39] Baukastenbasiertes Engineering mit F¨oderal. Ein Leitfaden fur Maschinen- und Anlagenbauer, VDMA Verl., Frankfurt am Main, 2004.
• [40] F.M. Gr¨atz, “Teilautomatische Generierung von Stromlauf- und Fluidpl¨anen fur mechatronische Systeme”, Phd Dissertation, Utz Herbert, Munchen, 2006.
• [41] J. Jakob, A. K¨onigs, and A. Sch¨urr, “Non-materialized model view specification with triple graph grammars”, Proc. Int. Conf. on Graph Transformations, Lecture Notes in Computer Science (LNCS) 4178, 321–335 (2006).
• [42] C. Atkinson and T. K¨uhne, “Aspect-oriented development with stratified frameworks”, IEEE Software 20 (1), 81–89 (2003).