Formal Action Semantics for a UML Action Language

@article{Yang2008FormalAS,
  title={Formal Action Semantics for a UML Action Language},
  author={Mikai Yang and Greg J. Michaelson and Rob Pooley},
  journal={J. UCS},
  year={2008},
  volume={14},
  pages={3608-3624}
}
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

Citations

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

References

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 http://www.dcs.gla.ac.uk/ daw/publications/JOOS.ps

David A. Watt
1997
View 9 Excerpts
Highly Influenced

Executable UML - A Foundation for Model-Driven Architecture

Addison Wesley object technology series • 2002
View 1 Excerpt