Sciweavers

809 search results - page 51 / 162
» Formal Semantics for the Java Modeling Language
Sort
View
EWDW
1990
15 years 6 months ago
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
Georg Gottlob, Gerti Kappel, Michael Schrefl
ER
1993
Springer
163views Database» more  ER 1993»
15 years 6 months ago
Using Conceptual Graph Theory to Support Schema Integration
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
Paul Johannesson
JSW
2007
120views more  JSW 2007»
15 years 2 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
APLAS
2010
ACM
15 years 2 months ago
Model Independent Order Relations for Processes
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
Chaodong He
117
Voted
DEXAW
2002
IEEE
117views Database» more  DEXAW 2002»
15 years 7 months ago
Semantic Web and Knowledge Representation
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...
Gian Piero Zarri