Skip to main content

and
  1. No Access

    Article

    Model synchronization based on triple graph grammars: correctness, completeness and invertibility

    Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been mi...

    Frank Hermann, Hartmut Ehrig, Fernando Orejas in Software & Systems Modeling (2015)

  2. No Access

    Chapter and Conference Paper

    Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory

    This paper shows typical security and consistency challenges regarding the models of the business and the IT universe of the dynamic service-, process- and rule-based environment at Credit Suisse. It presents ...

    Christoph Brandt, Frank Hermann in Enterprise, Business-Process and Informati… (2009)