Sciweavers

1153 search results - page 86 / 231
» Reversing graph transformations
Sort
View
104
Voted
ECEASST
2010
14 years 7 months ago
Support for Bidirectional Model-to-Text Transformations
In recent years, model-driven approaches and processes have1 established themselves as pragmatic and feasible solutions with tangible2 advantages. Transformations play a central ro...
Anthony Anjorin, Marius Paul Lauder, Michael Schle...
KSEM
2007
Springer
15 years 6 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
GG
2008
Springer
15 years 1 months ago
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
Guilherme Rangel, Leen Lambers, Barbara König...
GG
2008
Springer
15 years 1 months ago
Graph-Based Tools: The Contest
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
Arend Rensink, Pieter Van Gorp
99
Voted
KCAP
2003
ACM
15 years 6 months ago
Using transformations to improve semantic matching
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
Peter Z. Yeh, Bruce W. Porter, Ken Barker