3987 search results - page 101 / 798 » Ontology-Based Model Transformation |
FCS
2006
15 years 2 months ago
2006
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...
119
Voted
SAC
2006
ACM
15 years 23 days ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
93
Voted
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
94
Voted
EUROMICRO
1998
IEEE
15 years 5 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
92
Voted
GG
2004
Springer
15 years 6 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...