An algebraic semantics for MOF

DOI10.1007/S00165-009-0140-9MaRDI QIDQ973052zbMATH OpenOpenAlexWikidataFDO

Authors Artur Boronat, José Meseguer

Publication date 28 May 2010

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-009-0140-9

zbMATH Keywords

reflectionformal analysismodel-driven developmentMOFmembership equational logicmetamodeling semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Institution-based semantics for MOF and QVT-relations
• Meaningful models. A research agenda on model-driven engineering
• A model-based development approach for model transformations
• scientific article; zbMATH DE number 2086957
• scientific article; zbMATH DE number 1946722

Cites work

• scientific article; zbMATH DE number 1693510 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 2087518 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• A rewriting logic approach to operational semantics
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Automated Reasoning
• Conditional rewriting logic as a unified model of concurrency
• Fundamentals of algebraic graph transformation
• Generalized sketches as a framework for completeness theorems. I-III
• Handbook of Graph Grammars and Computing by Graph Transformation
• Institutions: abstract model theory for specification and programming
• Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• Semantic foundations for generalized rewrite theories
• Semantics and pragmatics of real-time maude
• Specification and proof in membership equational logic
• The rewriting logic semantics project
• What Is a Multi-modeling Language?

Cited in

(13)

• The rewriting logic semantics project: a progress report
• Language support for model-driven software development
• The rewriting logic semantics project: a progress report
• An algebraic semantics for QVT-relations check-only transformations
• Twenty years of rewriting logic
• Research on metamodels consistency verification based on formalization of domain-specific metamodeling language
• Combining graph transformation and algebraic specification into model transformation
• Institution-based semantics for MOF and QVT-relations
• A module system for domain-specific languages
• A formal approach to the specification and transformation of constraints in MDE
• scientific article; zbMATH DE number 1931780 (Why is no real title available?)
• Two Decades of Maude
• Meaningful models. A research agenda on model-driven engineering

Describes a project that uses

Uses Software

• WebSphere
• Kermeta
• SelfSync
• MOMENT2
• UML2Alloy
• Maude
• AGG
• Alloy

This page was built for publication: An algebraic semantics for MOF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q973052)