|
|
|
 |
|
|
| |
References: Action Semantics
| [Boc03a] |
Conrad Bock.
UML 2 activity and action models.
Journal of Object Technology, 2(4):43-53, 2003. [ http | .pdf | Abstract ] |
| [Boc03b] |
Conrad Bock.
UML 2 activity and action models, part 2.
Journal of Object Technology, 2(5):41-56, 2003. [ http | .pdf | Abstract ] |
| [Boc03c] |
Conrad Bock.
UML 2 activity and action models, part 3: Control nodes.
Journal of Object Technology, 2(6):7-23, 2003. [ http | .pdf | Abstract ] |
| [Boc04a] |
Conrad Bock.
UML 2 activity and action models, part 4: Object nodes.
Journal of Object Technology, 3(1):27-41, 2004. [ http | .pdf | Abstract ] |
| [Boc04b] |
Conrad Bock.
UML 2 activity and action models, part 5: Partitions.
Journal of Object Technology, 3(7):37-56, 2004. [ http | .pdf | Abstract ] |
| [Boc05] |
Conrad Bock.
UML 2 activity and action models, part 6: Structured activities.
Journal of Object Technology, 4(4):43-66, 2005. [ http | .pdf | Abstract ] |
| [Mos92] |
Peter D. Mosses.
Action Semantics.
Cambridge Tracts in Theoretical Computer Science. Cambridge
University Press, 1992. [ Abstract ] |
| [MTAL00] |
Stephen J. Mellor, Steve Tockey, Rodolphe Arthaud, and Phillipe Leblanc.
Software-platform-independent, precise action specifications for
UML.
Technical report, Project Technology, Inc., 2000. [ http | Abstract ] |
| [OMG01a] |
OMG.
Action semantics for the UML.
Response to OMG RFP ad/98-11-01 OMG ad/2001-08-04, Object Management
Group, 2001.
Newer version; does not include trace semantics appendix. [ .pdf ] |
| [OMG01b] |
OMG.
Action semantics for the UML.
Response to OMG RFP ad/98-11-01 OMG ad/2001-03-01, Object Management
Group, 2001.
Older version of action semantics; contains appendix with some
formalism. [ .pdf ] |