Skip to main content
SpringerLink
Log in
Book cover

Graph Transformations and Model-Driven Engineering pp 683–718Cite as

Integration Tools for Consistency Management between Design Documents in Development Processes

  • Chapter

  • 1568 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5765))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG Architecture Board ORMSC: Model driven architecture (MDA) (2001)

    Google Scholar 

  2. Lewerentz, C.: Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge. Springer, Heidelberg (1988); Doktorarbeit, RWTH Aachen University

    Book  MATH  Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. Westfechtel, B.: Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklunsumgebung. Informatik-Fachberichte, vol. 280. Springer, Heidelberg (1991); Doktorarbeit, RWTH Aachen University

    Book  Google Scholar 

  5. Janning, T.: Requirements Engineering und Programmieren im Großen: Integration von Sprachen und Werkzeugen. DUV (1992); Doktorarbeit, RWTH Aachen University

    Google Scholar 

  6. Lefering, M.: Integrationswerkzeuge in einer Softwareentwicklungsumgebung. Berichte aus der Informatik. Shaker Verlag, Aachen (1995); Doktorarbeit, RWTH Aachen University

    Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. 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)

    Google Scholar 

  9. Becker, S.M.: Integratoren zur Konsistenzsicherung von Dokumenten in Entwicklungsprozessen. Berichte aus der Informatik. Shaker Verlag, Aachen (2007); Doktorarbeit, RWTH Aachen University

    Google Scholar 

  10. Körtgen, A.: Modellierung und Realisierung von Konsistenzsicherungswerkzeugen für simultane Dokumentenentwicklung. Berichte aus der Informatik. Shaker Verlag, Aachen (2009); Doktorarbeit, RWTH Aachen University

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. COMOS PT: Documentation, http://www.comos.com (2010)

  14. Aspen-Technology: Aspen Plus Documentation (2009), http://www.aspentech.com

  15. Becker, S.M., Wilhelms, J.: Integrationswerkzeuge in verfahrenstechnischen Entwicklungsprozessen. Verfahrenstechnik 36(6), 44–45 (2002)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. Körtgen, A.: Tools for Consistency Management between Process Design Products. In: Proc. of the 8th World Conf. on Chemical Engineering, WCCE 2009 (2009)

    Google Scholar 

  18. 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)

    Article  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. Schürr, A., Winter, A., Zündorf, A.: The PROGRES Approach: Language and Environment, vol. 2, pp. 487–550. World Scientific, Singapore (1999)

    Google Scholar 

  23. 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)

    Article  Google Scholar 

  24. Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Fundamenta Informaticae 26(3/4), 287–313 (1996)

    MathSciNet  MATH  Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. 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)

    Google Scholar 

  27. 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)

    Chapter  Google Scholar 

  28. Miller, G.A.: WordNet: a Lexical Database for English. Communications of the ACM 38(11), 39–41 (1995)

    Article  Google Scholar 

  29. Comos Industry Solutions GmbH: Homepage, http://www.comos.com (2010)

  30. Nagl, M. (ed.): IPSEN 1996. LNCS, vol. 1170. Springer, Heidelberg (1996)

    Google Scholar 

  31. 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)

    Google Scholar 

  32. 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)

    Chapter  Google Scholar 

  33. 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)

    Google Scholar 

  34. Finkelstein, A., Kramer, J., Goedicke, M.: Viewpoint oriented software development. In: Intl. Workshop on Software Engineering and Its Applications, pp. 374–384 (1990)

    Google Scholar 

  35. 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)

    Chapter  Google Scholar 

  36. 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)

    Google Scholar 

  37. 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)

    Chapter  Google Scholar 

  38. Kent, S., Smith, R.: The Bidirectional Mapping Problem. ENTCS 82(7) (2003)

    Google Scholar 

  39. Baresi, L., Mauri, M., Pezzè, M.: PLCTools: Graph transformation meets PLC design. ENTCS 72(2) (2002)

    Google Scholar 

  40. 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)

    Chapter  Google Scholar 

  41. 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)

    Google Scholar 

  42. Wagner, R.: Inkrementelle Modellsynchronisation. PhD thesis, Universität Paderborn, Institut für Informatik, Fachgebiet Softwaretechnik (2009) (dissertation)

    Google Scholar 

  43. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  44. 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)

    Google Scholar 

  45. 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)

    Chapter  Google Scholar 

  46. Hausmann, J.H., Heckel, R., Sauer, S.: Extended Model Relations with Graphical Consistency Conditions. LNCS, vol. 2460, pp. 61–74. Springer, Heidelberg (2002)

    Google Scholar 

  47. Van Der Straeten, R.: Inconsistency Management in Model-driven Engineering: an Approach using Description Logics. PhD thesis, Vrije Universiteit Brussel (2005)

    Google Scholar 

  48. 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)

    Chapter  Google Scholar 

  49. 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)

    Chapter  Google Scholar 

  50. 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)

    Google Scholar 

  51. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inform GmbH, Pascalstrasse 23, D-52076, Aachen, Germany

    Simon M. Becker

  2. Department of Computer Science 3, RWTH Aachen University, Ahornstrasse 55, D-52074, Aachen, Germany

    Anne-Thérèse Körtgen

Authors
  1. Simon M. Becker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anne-Thérèse Körtgen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät für Elektrotechnik, Informatik und Mathematik, University of Paderborn, Institut für Informatik Warburger Str. 100, 33098, Paderborn, Germany

    Gregor Engels

  2. Software Systems Engineering Research Group, Brandenburg Technical University at Cottbus, Konrad-Wachsmann-Allee 1, 03046, Cottbus, Germany

    Claus Lewerentz

  3. Department of Mathematics and Computer Science, University of Paderborn, Warburger Str. 100, 33098, Paderborn, Germany

    Wilhelm Schäfer

  4. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Merckstraße 25, 64283, Darmstadt, Germany

    Andy Schürr

  5. Angewandte Informatik I, University of Bayreuth, Universitätsstr. 30, 95447, Bayreuth, Germany

    Bernhard Westfechtel

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation