Workflow modeling based on extended activity diagram using ASM semantics

Authors:
Eun-Jung Ko;Sang-Young Lee;Hye-Min Noh;Cheol-Jung Yoo;Ok-Bae Chang
Affiliations:
Dept. of Computer Science, Chonbuk National University, Jeonju, South Korea;Dept. of Computer Science, Chonbuk National University, Jeonju, South Korea;Dept. of Computer Science, Chonbuk National University, Jeonju, South Korea;Dept. of Computer Science, Chonbuk National University, Jeonju, South Korea;Dept. of Computer Science, Chonbuk National University, Jeonju, South Korea
Venue:
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Year:
2005

Citing 3
Cited 0

A Toolset for Supporting UML Static and Dynamic Model Checking

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
An ASM Semantics for UML Activity Diagrams

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Expressing UML Class Diagrams Properties with OCL

Object Modeling with the OCL, The Rationale behind the Object Constraint Language

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Unified Modeling Language(UML) provides rich notations for representing and analyzing architecture and behaviors of systems. Among these notations, UML activity diagram is well-known for describing systems' dynamic behaviors, and it is useful to model business process and workflow. Currently, the UML semantics is informally defined in plain text and it is often unclear, ambiguous or it contains contradictory assertions. It is difficult to present the precise semantics which are taken as important in workflow system with the guide provided by OMG to the UML activity diagram. In this thesis, the alternative approach of using Abstract State Machines to formalize UML activity diagrams is presented. We propose the workflow modeling methodology by applying ASM semantics to the activity diagram. Through the exact definition to formal semantics based on ASM, it is possible to effectively model the workflow.