Sciweavers

3233 search results - page 142 / 647
» Rule Modeling and Markup
Sort
View
ENTCS
2006
192views more  ENTCS 2006»
15 years 4 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
Karsten Ehrig, Jessica Winkelmann
123
Voted
SEMCO
2007
IEEE
15 years 10 months ago
Thematic Role Based Generation of UML Models from Real World Requirements
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
Tom Gelhausen, Walter F. Tichy
CSCLP
2006
Springer
15 years 7 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
MVA
1990
15 years 5 months ago
Handwriting Model Adjustable to Writers
A new handwriting model is proposed for simulating complex handwriting variation in obedience to individual handwriting tendencies. Individual handwriting t,endency is represented...
Nobuyuki Kita
ENTCS
2008
110views more  ENTCS 2008»
15 years 4 months ago
An Efficient Solution for Model Checking Graph Transformation Systems
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani,...