Sciweavers

177 search results - page 28 / 36
» Formal agent-oriented modeling with UML and graph transforma...
Sort
View
SQJ
2010
152views more  SQJ 2010»
13 years 5 months ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
SOSYM
2008
90views more  SOSYM 2008»
13 years 7 months ago
A metamodeling language supporting subset and union properties
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
Marcus Alanen, Ivan Porres
SYNASC
2008
IEEE
284views Algorithms» more  SYNASC 2008»
14 years 1 months ago
Graph Rewriting in Computational Origami
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
Tetsuo Ida
JOT
2006
113views more  JOT 2006»
13 years 7 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
FMOODS
2006
13 years 8 months ago
Generating Instance Models from Meta Models
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
Karsten Ehrig, Jochen Malte Küster, Gabriele ...