An algebraic semantics for MOF

DOI10.1007/s00165-009-0140-9zbMath1213.68358OpenAlexW1991651491WikidataQ125377640 ScholiaQ125377640MaRDI QIDQ973052

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

zbMATH Keywords

reflectionformal analysismodel-driven developmentMOFmembership equational logicmetamodeling semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

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

Uses Software

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

Cites Work

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

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