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

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item