Now showing items 1-4 of 4

    • Behavioural approach to modular system specification 

      Ehrig, Hartmut; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1988-07)
      External research report
      Open Access
      The algebraic approach to modular specifications as developed by the first author during the last five years is joined with the behavioural approach to algebraic specifications introduced recently by the last two authors. ...
    • Formal analysis of model transformations based on triple graph grammars 

      Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas Valdés, Fernando (2014-08-01)
      Article
      Open Access
      Triple graph grammars (TGGs) are a well-established concept for the specification and execution of bidirectional model transformations within model driven software engineering. Their main advantage is an automatic generation ...
    • M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation 

      Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas Valdés, Fernando (2014-08-01)
      Article
      Open Access
      Nested application conditions generalise the well-known negative application conditions and are important for several application domains. In this paper, we present Local Church-Rosser, Parallelism, Concurrency and ...
    • Model synchronization based on triple graph grammars: correctness, completeness and invertibility 

      Hermann, Frank; Ehrig, Hartmut; Orejas Valdés, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas (2015-02-01)
      Article
      Open Access
      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 missing. This ...