IEEE - Institute of Electrical and Electronics Engineers, Inc. - Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking

2009 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Author(s): Raschke, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Patras, Greece, Greece
Conference Date: 27 August 2009
Page(s): 149 - 154
ISBN (Paper): 978-0-7695-3784-9
ISSN (Paper): 1089-6503
DOI: 10.1109/SEAA.2009.60
Regular:

Activity diagrams are part of the Unified Modeling Language (UML) to specify a system's behavior. This formalism has been substantially revised in UML 2. Concepts like signal handling and... View More

Advertisement