An algebraic semantics for MOF

DOI10.1007/S00165-009-0140-9zbMATH Open1213.68358OpenAlexW1991651491WikidataQ125377640 ScholiaQ125377640MaRDI QIDQ973052FDOQ973052

José Meseguer, Artur Boronat

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

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

zbMATH Keywords

reflectionformal analysismodel-driven developmentMOFmembership equational logicmetamodeling semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Institutions: abstract model theory for specification and programming
• Handbook of Graph Grammars and Computing by Graph Transformation
• Conditional rewriting logic as a unified model of concurrency
• Semantic foundations for generalized rewrite theories
• Title not available (Why is that?)
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• A rewriting logic approach to operational semantics
• Automated Reasoning
• The rewriting logic semantics project
• Semantics and pragmatics of real-time maude
• Fundamentals of algebraic graph transformation
• Specification and proof in membership equational logic
• Title not available (Why is that?)
• Generalized sketches as a framework for completeness theorems. I-III
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• Title not available (Why is that?)
• What Is a Multi-modeling Language?
• Title not available (Why is that?)
• Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

Cited In (8)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Combining Graph Transformation and Algebraic Specification into Model Transformation
• A formal approach to the specification and transformation of constraints in MDE
• A Module System for Domain-Specific Languages
• The Rewriting Logic Semantics Project: A Progress Report
• Title not available (Why is that?)
• Two Decades of Maude

Uses Software

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

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)