UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification

Younes, Ahlem Ben; Ayed, Leila Jemni Ben

doi:10.1109/services-i.2009.101

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2012

2018

Publication Types

Select...

Other5

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 6 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The concept of refinement has been highlighted in several studies. Most researchers have used a semiformal-to-formal approach consisting in translating the graphical notation into a formal language equipped with refinement machinery as [4,5,6,13,14,15,16,18].…”

Section: Introductionmentioning

confidence: 99%

UML AD Refinement Patterns for Modeling Workflow Applications

Younes

Ayed

Hlaoui

2012

2012 IEEE 36th Annual Computer Software and Applications Conference Workshops

Self Cite

View full text Add to dashboard Cite

In this paper, we propose an UML Activity Diagram (AD) approach based on stepwise refinement technique for modeling and describing workflow applications. Thus, we present a set of UML AD refinement patterns that support the different forms of refining process in a workflow. The workflow application is constructed in a hierarchical fashion. We show that thanks to the hierarchical workflow construction by refinement, a simple view of the workflow is maintained at each level of abstraction. In addition, we provide formal support for building process refinement graphs that are complete, proved correct.

show abstract