Formal Action Semantics for a UML Action Language

  title={Formal Action Semantics for a UML Action Language},
  author={Mikai Yang and Greg J. Michaelson and Rob Pooley},
  journal={J. UCS},
The abstract syntax and static semantics of UML, the widely-used general-purpose graphical modeling language, have been standardized in a four-layer meta-modeling framework. However UML’s dynamic semantics, such as UML Precise Action Semantics and the behaviors like activities, interactions and state machines, are only standardized in a natural language—English. It is commonly argued that such informal description inevitably involves ambiguities and lacks rigorousness, precluding the early… CONTINUE READING


Publications citing this paper.
Showing 1-4 of 4 extracted citations

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation • 2012
View 6 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 18 references

Action Semantics for UML. Response to OMG RFP ad/98-11-01 OMG ad/1002-08-04

Stephen, J. Mellor, Steve, Tockey
Technical report, Project Technology, • 2001
View 4 Excerpts
Highly Influenced

A structural approach to operational semantics

J. Log. Algebr. Program. • 2004
View 6 Excerpts
Highly Influenced

Action Semantics

ADT • 1986
View 9 Excerpts
Highly Influenced

JAS: a Java action semantics [C

Deryck F. Brown, David A. Watt
2nd International Workshop on Action Semantics, University of Aarhus, Denmark: BRICS NS, • 1999
View 9 Excerpts
Highly Influenced

JOOS action semantics. Version 1. Available at daw/publications/

David A. Watt
View 9 Excerpts
Highly Influenced

Executable UML - A Foundation for Model-Driven Architecture

Addison Wesley object technology series • 2002
View 1 Excerpt