Results 1  10
of
123
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
 HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOLUME 1: FOUNDATIONS
, 1996
"... ..."
Confluence of Typed Attributed Graph Transformation Systems
 In: Proc. ICGT 2002. Volume 2505 of LNCS
, 2002
"... The issue of confluence is of major importance for the successful application of attributed graph transformation, such as automated translation of UML models into semantic domains. Whereas termination is undecidable in general and must be established by carefully designing the rules, local confl ..."
Abstract

Cited by 53 (10 self)
 Add to MetaCart
(Show Context)
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as automated translation of UML models into semantic domains. Whereas termination is undecidable in general and must be established by carefully designing the rules, local confluence can be shown for term rewriting and graph rewriting using the concept of critical pairs. In this paper, we discuss typed attributed graph transformation using a new simplified notion of attribution. For this kind of attributed graph transformation systems we establish a definition of critical pairs and prove a critical pair lemma, stating that local confluence follows from confluence of all critical pairs.
Tutorial introduction to graph transformation: A software engineering perspective
 In Proc. of the First International Conference on Graph Transformation (ICGT 2002
, 2002
"... ..."
(Show Context)
Adhesive categories
, 2004
"... Abstract. We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are wellbehaved. Many types of graphical structures used in computer science are shown to be examples of adhesive categories. Doublepushout graph rewriting generalises well to ..."
Abstract

Cited by 41 (7 self)
 Add to MetaCart
(Show Context)
Abstract. We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are wellbehaved. Many types of graphical structures used in computer science are shown to be examples of adhesive categories. Doublepushout graph rewriting generalises well to rewriting on arbitrary adhesive categories.
ADHESIVE AND QUASIADHESIVE CATEGORIES
 THEORETICAL INFORMATICS AND APPLICATIONS
, 1999
"... We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are wellbehaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be ex ..."
Abstract

Cited by 37 (3 self)
 Add to MetaCart
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are wellbehaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Doublepushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.
An Inductive View of Graph Transformation
 In Workshop on Algebraic Development Techniques
, 1998
"... . The dynamic behavior of rulebased systems (like term rewriting systems [24], process algebras [27], and so on) can be traditionally determined in two orthogonal ways. Either operationally, in the sense that a way of embedding a rule into a state is devised, stating explicitly how the result i ..."
Abstract

Cited by 31 (12 self)
 Add to MetaCart
(Show Context)
. The dynamic behavior of rulebased systems (like term rewriting systems [24], process algebras [27], and so on) can be traditionally determined in two orthogonal ways. Either operationally, in the sense that a way of embedding a rule into a state is devised, stating explicitly how the result is built: This is the role played by (the application of) a substitution in term rewriting. Or inductively, showing how to build the class of all possible reductions from a set of basic ones: For term rewriting, this is the usual definition of the rewrite relation as the minimal closure of the rewrite rules. As far as graph transformation is concerned, the operational view is by far more popular: In this paper we lay the basis for the orthogonal view. We first provide an inductive description for graphs as arrows of a freely generated dgsmonoidal category. We then apply 2categorical techniques, already known for term and term graph rewriting [29, 7], recasting in this framework the...
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
, 1996
"... this paper we concentrate on structuring and refinement concepts for graph transformation systems. Conceptually, we distinguish between two kinds of structuring. We speak of horizontal structuring if a large specification is obtained by combining and modifying smaller ones, possibly sharing some com ..."
Abstract

Cited by 31 (18 self)
 Add to MetaCart
this paper we concentrate on structuring and refinement concepts for graph transformation systems. Conceptually, we distinguish between two kinds of structuring. We speak of horizontal structuring if a large specification is obtained by combining and modifying smaller ones, possibly sharing some common parts. Instead, if we consider the relationship between a more abstract and a more concrete version of the same specification, or between a specification and its implementation, we speak of vertical structuring.
Detection of Conflicting Functional Requirements in a Use CaseDriven Approach  A static analysis technique based on graph transformation
 ICSE 2002
, 2002
"... In objectoriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consisten ..."
Abstract

Cited by 29 (7 self)
 Add to MetaCart
In objectoriented software development, requirements of different stakeholders are often manifested in use case models which complement the static domain model by dynamic and functional requirements. In the course of development, these requirements are analyzed and integrated to produce a consistent overall requirements specification. Iterations of the model may be triggered by conflicts between requirements of different parties. However, due to the...
ConsistencyPreserving Model Evolution through Transformations
 Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications
, 2002
"... Withmo delbased develo pment beingo n the vergeo f beco ming an industrial standard, theto pico f researcho f statically checking the co sistencyo f a mo del made upo f several submo dels has already received increasing attentio . The evo lutio omo dels withinso# ware engineering requires suppoF fo ..."
Abstract

Cited by 23 (2 self)
 Add to MetaCart
(Show Context)
Withmo delbased develo pment beingo n the vergeo f beco ming an industrial standard, theto pico f researcho f statically checking the co sistencyo f a mo del made upo f several submo dels has already received increasing attentio . The evo lutio omo dels withinso# ware engineering requires suppoF fo incremental c o sistency analysis techniques o a new versio o f themo del after evoA tio , thereby avo iding a coz lete reiteratio o f all co sistency tests. In this paper, we discuss thepro blemo f preserving co nsistency within mo delbased evo lutio n fo cusingo n UMLRTmo dels. We intro duce the co ncepto f amo del transfo rmatio n rule that captures an evo lutio n step. CoE oE io o f several evoA tio steps leads to acoE lex evo lutio o a mo del. Fo r each evo lutio n step, we study the e#ectso n the co nsistency o f theo verallmo del andpro vide lo calized co nsistency checks fo rtho se partso f themo del that have changed. Fo r a co mplex evo lutio no f a mo del, co nsistency can then be established by incrementally perfo rming tho se lo calized co nsistency checks asso ciatedto the transfo rmatio n rules applied within the evo lutio n. 1