Sciweavers

3429 search results - page 61 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
EDOC
2003
IEEE
14 years 1 months ago
A Model-Driven Transformation Method
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
Jana Koehler, Rainer Hauser, Shubir Kapoor, Freder...
ENTCS
2008
98views more  ENTCS 2008»
13 years 7 months ago
Graph Transformation Semantics for a QVT Language
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
Arend Rensink, Ronald Nederpel
APWEB
2004
Springer
14 years 1 months ago
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Qiujian Sheng, Zhongzhi Shi
IESA
2007
13 years 9 months ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
TABLEAUX
2009
Springer
14 years 2 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...