Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Modellierung 2008, 12.-14. Maerz 2008, Berlin P-127, 11-26 (2008).

Gesellschaft fuer Informatik, Bonn


Thomas Kuehne (ed.), Wolfgang Reisig (ed.), Friedrich Steimann (ed.)

Copyright © Gesellschaft fuer Informatik, Bonn


Incremental evaluation of OCL invariants in the essential MOF object model

Miguel Garcia and Ralf Moeller


The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabilities are needed in order to successfully establish a toolchain for Model-Driven Software Engineering. We focus on two such capabilities: transactions and efficient evaluation of invariants, not in the usual context of databases but for main-memory runtime engines, an area where no previous work has addressed the combination of Essential MOF + OCL. The realization of this infrastructural support proves feasible but requires a careful design to accomodate the expressiveness of OCL.

Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-221-5

Last changed 04.10.2013 18:16:56