From Graphical Model in UML Activity Diagrams to Formal Specification in Event B for Workflow Applications Modeling

Date Added: Dec 2009
Format: PDF

The lack of a precise semantics for UML AD makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domains that require a certain degree of confidence. Due to economical interests, the business domain is one of these. To enhance confidence level of UML AD, this paper provides a formal definition of their syntax and semantics. The main interest of the approach is that the authors chose UML AD, which are recognized to be more tractable by engineers.