IEEE - Institute of Electrical and Electronics Engineers, Inc. - A formal semantics of timed activity diagrams and its PROMELA translation

Proceedings. 12th Asia-Pacific Software Engineering Conference

Author(s): N. Guelfi ; A. Mammar
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 15 December 2005
ISBN (Paper): 0-7695-2465-6
ISSN (Paper): 1530-1362
DOI: 10.1109/APSEC.2005.7
Regular:

The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domains that require a... View More

Advertisement