Modeling business processes as part of the BOOSTER approach to business object-oriented system development based on UML

Schader, Martin; Korthaus, Axel

doi:10.1109/edoc.1998.723242

Cited by 5 publications

(4 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…State charts [5], Petri nets [6], and activity diagrams [7] have been utilized by many studies. Issues of intuitiveness, ease, and rigorousness of semantics are discussed repeatedly in these works.…”

Section: Related Workmentioning

confidence: 99%

A New Methodology for Process Modeling of Workflows

Al-Fedaghi¹,

Alloughani²,

Sanousi³

2012

JSEA

View full text Add to dashboard Cite

Workflow-based systems are typically said to lead to better use of staff and better management and productivity. The first phase in building a workflow-based system is capturing the real-world process in a conceptual representation suitable for the following phases of formalization and implementation. The specification may be in text or diagram form or written in a formal language. This paper proposes a flow-based diagrammatic methodology as a tool for workflow specification. The expressiveness of the method is appraised though its ability to capture a workflow-based application. Here we show that the proposed conceptual diagrams are able to express situations arising in practice as an alternative to tools currently used in workflow systems. This is demonstrated by using the proposed methodology to partial build demo systems for two government agencies.

show abstract

Section: Related Workmentioning

confidence: 99%

A New Methodology for Process Modeling of Workflows

Al-Fedaghi¹,

Alloughani²,

Sanousi³

2012

JSEA

View full text Add to dashboard Cite

show abstract

“…(3) Summation 1 2 P P + : The process behaves like either 1 P or 2 P . (4) Composition | 1 2 P P : is a process that can do anything that 1 P or 2 P can do, and moreover commu nication between 1 P and 2 P can occur if one process outputs a name and the other input a name on the same port.…”

Section: -Calculus πmentioning

confidence: 99%

“…The main purpose of UML activity diagram is to model business processes and software processes [1][5] [16]. In general, the completion of activities needs to coordinate computer-supported tools or applications.…”

Section: Introductionmentioning

confidence: 99%

“…(2)The processes can be checked whether it satisfies properties of models by means of -calculus π analytical tools. Our contributions have: (1) The behavioral features of UML activity diagram can be expressed by calculus π and thus business process models have rigorous process semantics. (2) According to weak bisimulation in -calculus π , two process models can be checked for equivalence, thus facilitating the optimization of business processes.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Using π-calculus to formalize UML activity diagram for business process modeling

Yang

Zhang

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings.

View full text Add to dashboard Cite

UML has become de facto standards for objectoriented software development. It provides rich notations for representing, analyzing architecture and behaviors of systems. Among these notations, UML activity diagram is well-known for describing system' s dynamic behaviors. One of its main purposes is to model software processes and business processes, and represent control flows among activities. As a semiformal notation, UML activity diagram has not publicly agreed formal semantics. In this paper, the alternative approach of usingcalculus π to formalize UML activity diagrams is presented. Therefore, activity models can be of rich process semantics. Its main advantages have: (1) According to weak bisimulation incalculus π two process models can be checked for equivalence, thus facilitating the optimization of business processes or software processes.(2) Process model can be verified whether it satisfies certain properties, such as safety and liveness, by means of calculus π analytical tools. (3) Correct criterions for process model are expressed with modal Mµ -calculus, such as the correct termination of processes. Therefore, process model can be automatically verified with the help ofcalculus π analytical tools.

show abstract