Skip to main content

16 Result(s)

within Frank Hermann Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Sesqui-Pushout Rewriting

    Sesqui-pushout (SqPO) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. SqPO rewriting is a deterministic and conservat...

    Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König in Graph Transformations (2006)

  2. Chapter and Conference Paper

    Information Preserving Bidirectional Model Transformations

    Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and code ge...

    Hartmut Ehrig, Karsten Ehrig, Claudia Ermel… in Fundamental Approaches to Software Enginee… (2007)

    Download PDF (2387 KB)

  3. No Access

    Chapter and Conference Paper

    Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions

    Graph transformation systems (gts) are suitable for modelling concurrent and distributed behaviour of systems and in particular of workflows. Analysis of the behaviour of these models is in general highly complex...

    Frank Hermann in Graph Transformations (2008)

  4. No Access

    Chapter and Conference Paper

    On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars

    Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model tran...

    Hartmut Ehrig, Claudia Ermel, Frank Hermann… in Model Driven Engineering Languages and Sys… (2009)

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

  6. Chapter and Conference Paper

    Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks

    E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in a strict way. Hence, it is of main inte...

    Frank Hermann, Hartmut Ehrig, Claudia Ermel in Fundamental Approaches to Software Enginee… (2009)

    Download PDF (864 KB)

  7. No Access

    Chapter and Conference Paper

    How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?

    This keynote paper presents results coming out of an ongoing research project between Credit Suisse Luxembourg and the University of Luxembourg. It presents an approach that shows good potential to address sec...

    Christoph Brandt, Frank Hermann in Graph Transformations (2010)

  8. Chapter and Conference Paper

    Incremental Service Composition Based on Partial Matching of Visual Contracts

    Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requester may be able to use demand support for finding and selecting ser...

    Muhammad Naeem, Reiko Heckel… in Fundamental Approaches to Software Enginee… (2010)

    Download PDF (382 KB)

  9. No Access

    Chapter and Conference Paper

    Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars

    Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations ...

    Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas in Graph Transformations (2010)

  10. No Access

    Chapter and Conference Paper

    Correctness of Model Synchronization Based on Triple Graph Grammars

    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… in Model Driven Engineering Languages and Sys… (2011)

  11. No Access

    Chapter and Conference Paper

    From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case

    A bidirectional transformation (BX) keeps a pair of interrelated models synchronized. Symmetric BXs are those for which neither model in the pair fully determines the other. We build two algebraic frameworks f...

    Zinovy Diskin, Yingfei **ong… in Model Driven Engineering Languages and Sys… (2011)

  12. Chapter and Conference Paper

    Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

    Triple graph grammars (TGGs) have been used successfully to analyse correctness of bidirectional model transformations. Recently, also a corresponding formal approach to model synchronization has been presente...

    Frank Hermann, Hartmut Ehrig, Claudia Ermel… in Fundamental Approaches to Software Enginee… (2012)

    Download PDF (512 KB)

  13. No Access

    Chapter and Conference Paper

    Parallelism and Concurrency of Stochastic Graph Transformations

    Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states ...

    Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann in Graph Transformations (2012)

  14. No Access

    Chapter and Conference Paper

    On an Automated Translation of Satellite Procedures Using Triple Graph Grammars

    Model transformation based on triple graph grammars (TGGs) is a general, intuitive and formally well defined technique for the translation of models [5,6,2]. While previous concepts and case studies were focus...

    Frank Hermann, Susann Gottmann… in Theory and Practice of Model Transformatio… (2013)

  15. No Access

    Chapter and Conference Paper

    Triple Graph Grammars in the Large for Translating Satellite Procedures

    Software translation is a challenging task. Several requirements are important – including automation of the execution, maintainability of the translation patterns, and, most importantly, reliability concernin...

    Frank Hermann, Susann Gottmann… in Theory and Practice of Model Transformatio… (2014)

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