Login / Signup
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion.
Martin Gogolla
Published in:
Language Engineering for Model-Driven Software Development (2004)
Keyphrases
</>
correctness criterion
transaction management
integrity constraints
concurrency control
linear logic
multidatabase systems
data replication
database systems
metamodel
knn
fault tolerant
concurrency control protocols
correctness criteria
nearest neighbor
decision support
replicated databases