The meta-modeling language calculus: foundation semantics for UML

DOI10.1007/3-540-45314-8_3MaRDI QIDQ2764105zbMATH OpenFDO

Authors Tony Clark, Stuart Kent, Andrew J. Evans

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2029/20290017

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models
• An action semantics for MML
• Formal Methods for the Design of Real-Time Systems
• Mapping between levels in the metamodel architecture
• Analysis of UML Activities Using Dynamic Meta Modeling

Cited in

(6)

• Reasoning on UML class diagrams
• Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models
• An action semantics for MML
• Mapping between levels in the metamodel architecture
• scientific article; zbMATH DE number 2087518 (Why is no real title available?)
• An algebraic semantics for MOF

This page was built for publication: The meta-modeling language calculus: foundation semantics for UML

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