Abstract
Development processes in engineering disciplines are inherently complex. Throughout the development process, the system to be built is modeled from different perspectives and on different levels of abstraction in multiple documents. They are related by manifold dependencies and need to be maintained mutually consistent with respect to these dependencies. In addition, development processes are highly incremental and iterative. Thus, tools are urgently needed which assist developers in maintaining consistency between inter-dependent documents. These tools have to operate incrementally and need to support user interactions, as the effects of changes cannot always be determined automatically and deterministically. At the Department of Computer Science 3 at RWTH Aachen University, triple graph grammars (TGG) have been invented as a formal approach to handling integration problems. During multiple research activities at the department and many other research groups, TGGs have been used as a basis to design algorithms and modeling formalisms and have been further elaborated. At the department they were implemented and enhanced in different ways for the support of rapid integration tool construction for real-world interactive development processes. This paper gives an insight into specification, algorithms, and tool construction for interactive, incremental integration and shows the application within the design process of a chemical plant executed in a commercial product.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG Architecture Board ORMSC: Model driven architecture (MDA) (2001)
Lewerentz, C.: Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge. Springer, Heidelberg (1988); Doktorarbeit, RWTH Aachen University
Engels, G., Lewerentz, C., Nagl, M., Schäfer, W., Schürr, A.: Building integrated software development environments - part 1: Tool specification. ACM Transactions on Software Engineering and Methodology 2(1), 135–167 (1992)
Westfechtel, B.: Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklunsumgebung. Informatik-Fachberichte, vol. 280. Springer, Heidelberg (1991); Doktorarbeit, RWTH Aachen University
Janning, T.: Requirements Engineering und Programmieren im Großen: Integration von Sprachen und Werkzeugen. DUV (1992); Doktorarbeit, RWTH Aachen University
Lefering, M.: Integrationswerkzeuge in einer Softwareentwicklungsumgebung. Berichte aus der Informatik. Shaker Verlag, Aachen (1995); Doktorarbeit, RWTH Aachen University
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Nagl, M., Marquardt, W. (eds.): Collaborative and Distributed Chemical Engineering Design Processes: Better Understanding and Substantial Support Results of the CRC IMRPOVE. LNCS, vol. 4970. Springer, Heidelberg (2008)
Becker, S.M.: Integratoren zur Konsistenzsicherung von Dokumenten in Entwicklungsprozessen. Berichte aus der Informatik. Shaker Verlag, Aachen (2007); Doktorarbeit, RWTH Aachen University
Körtgen, A.: Modellierung und Realisierung von Konsistenzsicherungswerkzeugen für simultane Dokumentenentwicklung. Berichte aus der Informatik. Shaker Verlag, Aachen (2009); Doktorarbeit, RWTH Aachen University
Schürr, A., Winter, A.J., Zündorf, A.: Visual Programming with Graph Rewriting Systems. In: Proc. of the 11th Intl. IEEE Symposium on Visual Languages (VL 1995). IEEE Computer Society, Los Alamitos (1995)
Nagl, M., Marquardt, W.: SFB 476 IMPROVE: Informatische Unterstützung übergreifender Entwicklungsprozesse in der Verfahrenstechnik. In: Jarke, M., Pohl, K., Pasedach, K. (eds.) Informatik als Innovationsmotor (GI Jahrestagung 1997). Informatik Aktuell, pp. 143–154. Springer, Heidelberg (1997)
COMOS PT: Documentation, http://www.comos.com (2010)
Aspen-Technology: Aspen Plus Documentation (2009), http://www.aspentech.com
Becker, S.M., Wilhelms, J.: Integrationswerkzeuge in verfahrenstechnischen Entwicklungsprozessen. Verfahrenstechnik 36(6), 44–45 (2002)
Körtgen, A., Becker, S.M., Herold, S.: A Graph-Based Framework for Rapid Construction of Document Integration Tools. Integrated Design and Process Science, 21 (2007)
Körtgen, A.: Tools for Consistency Management between Process Design Products. In: Proc. of the 8th World Conf. on Chemical Engineering, WCCE 2009 (2009)
Becker, S.M., Haase, T., Westfechtel, B.: Model-based a-posteriori integration of engineering tools for incremental development processes. Software and Systems Modeling (SoSyM) 4(2), 123–140 (2005)
Becker, S.M., Westfechtel, B.: UML-based Definition of Integration Models for Incremental Development Processes in Chemical Engineering. Integrated Design and Process Science: Transactions of the SDPS 8(1), 49–63 (2004)
Böhlen, B., Jäger, D., Schleicher, A., Westfechtel, B.: UPGRADE: Building interactive tools for visual languages. In: Proc. of the 6th World MultiConf. on Systemics, Cybernetics, and Informatics (SCI 2002), USA. Information Systems Development I, vol. I, pp. 17–22 (2002)
Becker, S.M., Lohmann, S., Westfechtel, B.: Rule Execution in Graph-Based Incremental Interactive Integration Tools. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 22–38. Springer, Heidelberg (2004)
Schürr, A., Winter, A., Zündorf, A.: The PROGRES Approach: Language and Environment, vol. 2, pp. 487–550. World Scientific, Singapore (1999)
Becker, S.M., Herold, S., Lohmann, S., Westfechtel, B.: A Graph-Based Algorithm for Consistency Maintenance in Incremental and Interactive Integration Tools. Software and Systems Modeling (SoSyM) 6(3), 287–315 (2007)
Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Fundamenta Informaticae 26(3/4), 287–313 (1996)
Becker, S.M., Körtgen, A., Nagl, M.: Tools for Consistency Management between Design Products. In: Nagl, M., Marquardt, W. (eds.) Collaborative and Distributed Chemical Engineering. LNCS, vol. 4970, pp. 696–710. Springer, Heidelberg (2008)
Körtgen, A., Heukamp, S.: Correspondence Analysis for Supporting Document Re-Use in Development Processes. In: Proc. of the 12th World Conf. on Integrated Design & Process Technology (IDPT 2008), SDPS, pp. 194–205 (2008)
Körtgen, A.: Modeling Successively Connected Repetitive Subgraphs. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 428–443. Springer, Heidelberg (2008)
Miller, G.A.: WordNet: a Lexical Database for English. Communications of the ACM 38(11), 39–41 (1995)
Comos Industry Solutions GmbH: Homepage, http://www.comos.com (2010)
Nagl, M. (ed.): IPSEN 1996. LNCS, vol. 1170. Springer, Heidelberg (1996)
Becker, S.M., Westfechtel, B.: Integrationswerkzeuge für verfahrenstechnische Entwicklungsprozesse. In: Engineering in der Prozessindustrie. VDI Fortschritt-Berichte, vol. 1684, pp. 103–112. VDI-Verlag (2002)
Spanoudakis, G., Zisman, A.: Inconsistency Management in Software Engineering: Survey and Open Research Issues. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, vol. 1, pp. 329–380. World Scientific Publishing Co., Singapore (2001)
Enders, B.E., Heverhagen, T., Goedicke, M., Tröpfner, P., Tracht, R.: Towards an Integration of Different Specification Methods by Using the ViewPoint Framework. Transactions of the SDPS 6(2), 1–23 (2002)
Finkelstein, A., Kramer, J., Goedicke, M.: Viewpoint oriented software development. In: Intl. Workshop on Software Engineering and Its Applications, pp. 374–384 (1990)
Taentzer, G., Koch, M., Fischer, I., Volle, V.: Distributed Graph Transformation with Application to Visual Design of Distributed Systems. In: Handbook on Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, vol. 3, pp. 269–340. World Scientific Press, Singapore (1999)
Wagner, R., Giese, H., Nickel, U.A.: A plug-in for flexible and incremental consistency mangement. In: Proc. of the Intl. Conf. on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-Based Software Development) (2003)
Gerber, A., Lawley, M., Raymond, R., Steel, J., Wood, A.: Transformation: The missing link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 90–105. Springer, Heidelberg (2002)
Kent, S., Smith, R.: The Bidirectional Mapping Problem. ENTCS 82(7) (2003)
Baresi, L., Mauri, M., Pezzè, M.: PLCTools: Graph transformation meets PLC design. ENTCS 72(2) (2002)
de Lara, J., Vangheluwe, H.: Computer Aided Multi-Paradigm Modelling to Process Petri-Nets and Statecharts. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 239–253. Springer, Heidelberg (2002)
Königs, A.: Model Integration and Transformation - A Triple Graph Grammar-based QVT Implementation. PhD thesis, Technische Universität Darmstadt, Fachbereich Elektrotechnik und Informationstechnik (January 2009) (dissertation)
Wagner, R.: Inkrementelle Modellsynchronisation. PhD thesis, Universität Paderborn, Institut für Informatik, Fachgebiet Softwaretechnik (2009) (dissertation)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)
Königs, A., Schürr, A.: Multi-Domain Integration with MOF and extended Triple Graph Grammars [online]. In: Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proc., Dagstuhl, Germany, vol. 04101. IBFI (2005)
Van Der Straeten, R., Mens, T.: Incremental Resolution of Model Inconsistencies. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 111–126. Springer, Heidelberg (2007)
Hausmann, J.H., Heckel, R., Sauer, S.: Extended Model Relations with Graphical Consistency Conditions. LNCS, vol. 2460, pp. 61–74. Springer, Heidelberg (2002)
Van Der Straeten, R.: Inconsistency Management in Model-driven Engineering: an Approach using Description Logics. PhD thesis, Vrije Universiteit Brussel (2005)
Van Der Straeten, R., D’Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: Proc. of the 2006 ACM symposium on Applied computing (SAC 2006), pp. 1210–1217. ACM, New York (2006)
Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proc. of the 25th Intl. Conf. on Software Engineering (ICSE 2003), pp. 455–464. IEEE Computer Society, Los Alamitos (2003)
Egyed, A., Letier, E., Finkelstein, A.: Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In: ASE, pp. 99–108. IEEE, Los Alamitos (2008)
Egyed, A.: Fixing Inconsistencies in UML Design Models. In: Proc. of the 29th Intl. Conf. on Software Engineering (ICSE 2007), pp. 292–301. IEEE Computer Society, Los Alamitos (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Becker, S.M., Körtgen, AT. (2010). Integration Tools for Consistency Management between Design Documents in Development Processes. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds) Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, vol 5765. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17322-6_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-17322-6_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17321-9
Online ISBN: 978-3-642-17322-6
eBook Packages: Computer ScienceComputer Science (R0)