What Is a Multi-modeling Language?

DOI10.1007/978-3-642-03429-9_6MaRDI QIDQ3184725zbMATH OpenOpenAlexFDO

Authors Artur Boronat, Alexander Knapp, José Meseguer, 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

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

Recommendations

• Multi-view consistency in UML: a survey
• Formal concepts for an integrated internal model of the UML
• A Heterogeneous Approach to UML Semantics
• Model transformations across views
• Institution-based semantics for MOF and QVT-relations

Cites work

• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• A Heterogeneous Approach to UML Semantics
• A relational model of data for large shared data banks
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Heterogeneous Logical Environments for Distributed Specifications
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Specification and Development of Interactive Systems
• The model transformation language of the VIATRA2 framework
• What Is a Multi-modeling Language?

Cited in

(25)

• Twenty years of rewriting logic
• Institutions for OCL-like expression languages
• scientific article; zbMATH DE number 2033534 (Why is no real title available?)
• Consistent integration of models based on views of meta models
• An algebraic semantics for MOF
• Modularity of ontologies in an arbitrary institution
• Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• Models and metamodels.
• Institution-based semantics for MOF and QVT-relations
• An institution for Object-Z with inheritance and polymorphism
• A formalisation of deep metamodelling
• Model transformations across views
• scientific article; zbMATH DE number 2087519 (Why is no real title available?)
• Model-Checking Helena Ensembles with Spin
• On the Specification and Verification of Model Transformations
• What Is a Multi-modeling Language?
• Localized operational termination in general logics
• Multi-level model product lines. Open and closed variability for modelling language families
• Comprehensive systems: a formal foundation for multi-model consistency management
• Language family engineering with product lines of multi-level models
• A homage to Martin Wirsing
• Formal models of multilingual software
• Operads for complex system design specification, analysis and synthesis
• Composition of multilevel domain-specific modelling languages

Describes a project that uses

Uses Software

• UML2Alloy
• Maude
• VIATRA2

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

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