What Is a Multi-modeling Language?

DOI10.1007/978-3-642-03429-9_6zbMath1253.68225OpenAlexW1503248228MaRDI QIDQ3184725

Artur Boronat, José Meseguer, Alexander Knapp, Martin Wirsing

Publication date: 22 October 2009

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2142/11494

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (13)

What Is a Multi-modeling Language? ⋮ On the Specification and Verification of Model Transformations ⋮ Model-Checking Helena Ensembles with Spin ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Algebraic Reinforcement Learning ⋮ Twenty years of rewriting logic ⋮ An algebraic semantics for MOF ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ A Homage to Martin Wirsing ⋮ Localized Operational Termination in General Logics ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ Institutions for OCL-Like Expression Languages ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML

Uses Software

• VIATRA2
• Maude
• UML2Alloy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Institution morphisms
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• The model transformation language of the VIATRA2 framework
• Institution-independent model theory
• Specification and Development of Interactive Systems
• What Is a Multi-modeling Language?
• Heterogeneous Logical Environments for Distributed Specifications
• A Heterogeneous Approach to UML Semantics
• Institutions: abstract model theory for specification and programming
• A relational model of data for large shared data banks

This page was built for publication: What Is a Multi-modeling Language?