Graph and Model Transformation
General Framework and Applications
Chapter
Corporate Bonds (Unternehmensanleihen) stellen für einen kontinentaleuropäischen Fixed-Income-Investor eine neue Performancequelle und eine Anlagealternative zu Staatsanleihen dar. Mit dem Wegfall des Währungs...
Chapter
Unter SRM wird das ganzheitliche Management des Beschaffungsprozesses und der Lieferantenbeziehungen über alle Unternehmensbereiche hinweg verstanden. Dabei gehören zum SRM neben dem auf die transaktionale Abw...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Article
Subobject transformation systems STS are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pushout (DPO) approach. They can be consid...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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 ...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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 ...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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...
Chapter and Conference Paper
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 ...
Chapter and Conference Paper
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...
Chapter and Conference Paper
In several application areas, Graph Transformation Systems (GTSs) are equipped with Negative Application Conditions (NACs) that specify “forbidden contexts”, in which the rules shall not be applied. The extens...
Chapter and Conference Paper
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...
Book