Please use this identifier to cite or link to this item:
Title: An Algebraic Semantics for MOF
Authors: Boronat, Artur
Meseguer, Jose
First Published: 3-Apr-2008
Publisher: Springer.
Citation: Lecture Notes in Computer Science, 2008, 4961, pp. 377-391.
Abstract: Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this field, the Meta-Object Facility (MOF) standard plays a crucial role by providing a generic framework where the abstract syntax of different modeling languages can be defined. In this work, we present a formal, algebraic semantics of the MOF standard in membership equational logic (mel). By using the Maude language, which directly supports mel specifications, this formal semantics is furthermore executable, and can be used to perform useful formal analyses. The executable algebraic framework for MOF obtained this way has been integrated within the Eclipse Modeling Framework as a plugin. In this way, formal analyses, such as semantic consistency checks, become available within Eclipse to provide formal support for model-driven development processes.
DOI Link: 10.1007/978-3-540-78743-3_28
ISSN: 0302-9743
Type: Book chapter
Description: This is the author’s final draft of the paper published as Lecture Notes in Computer Science, 2008, 4961, pp. 377-391. The final published version is available at, Doi: 10.1007/978-3-540-78743-3_28.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
fase08_BoronatMeseguer.pdf348.57 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.