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 generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling 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
3 Citations
15 References
Similar Papers


Publications citing this paper.


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

Eclipse Modelling Framework

  • F. Budinsky et al. Budinsky, D. Steinberg, E. Merks
  • Addison Wesley,
  • 2003

MDA Guide Version 1.0.1”

  • Miller, J. Mukerji 2003 Miller, J. Mukerji
  • OMG (2003),
  • 2003

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

  • Mellor, S. J. Trockey 2001 Mellor, S. Tockey
  • Tech. Rep. Project
  • 2001

An introduction to AN2, the proposed new version of Action Notation”

  • Lassen
  • AS 2000,
  • 2000

Similar Papers

Loading similar papers…