An action semantics for MML

DOI10.1007/3-540-45441-1_2MaRDI QIDQ4435841zbMATH OpenFDO

Authors José Manuel Álvarez, Tony Clark, Paul Sammut, Andrew J. Evans

Publication date 20 November 2003

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/2185/21850002.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Using UML action semantics for executable modeling and beyond
• The meta-modeling language calculus: foundation semantics for UML
• Analysis of UML Activities Using Dynamic Meta Modeling
• scientific article; zbMATH DE number 2085188
• Using UML action semantics for model execution and transformation

Cited in

(6)

• Using UML action semantics for model execution and transformation
• The meta-modeling language calculus: foundation semantics for UML
• Using UML action semantics for executable modeling and beyond
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• UML reflections
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

This page was built for publication: An action semantics for MML

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