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

Author(s):  
Yang Dong ◽  
Zhang ShenSheng
Author(s):  
Donald R. Chand ◽  
Alina M. Chircu

This chapter presents a variety of business process modeling notations that range from programming logic flowcharts to the new standard, BPMN (Business Process Modeling Notation), as put forth by the Business Process Management Initiative (BPMI) (http://www.bpmi.org). Specifically, it discusses (1) the use of unstructured programming flowcharts in modeling business processes and their adaptation in process flow diagramming notation, (2) the UML activity diagram, and (3) BPMN, a comprehensive notation for documenting and modeling complex business processes. Using simple examples, this chapter brings out the inherent complexity of modeling business processes and the need for modeling tools that synchronize and align the mental models of business users, process analyst and information technology (IT) systems developers in order to correctly represent the intended process.


2022 ◽  
Vol 5 (1) ◽  
pp. 10
Author(s):  
Meriem Kherbouche ◽  
Galena Pisoni ◽  
Bálint Molnár

Business process modeling and verification have become an essential way to control and assure organizational evolution. We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case. We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment. We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable data. Our paper creates a unified picture of the approaches towards business processes modeling used in the financial industry organized around the set of premises intending to develop a future research agenda for blockchain business process modeling, specifically for the financial industry domain.


Author(s):  
Daniel Lübke ◽  
Maike Ahrens ◽  
Kurt Schneider

AbstractBusiness process modeling is an important activity for developing software systems—especially within digitization projects and when realizing digital business models. Specifying requirements and building executable workflows is often done by using BPMN 2.0 process models. Although there are several style guides available for BPMN, e.g., by Silver and Richard (BPMN method and style, vol 2, Cody-Cassidy Press, Aptos, 2009), there has not been much empirical research done into the consequences of the diagram layout. In particular, layouts that require scrolling have not been investigated yet. The aim of this research is to establish layout guidelines for business process modeling that help business process modelers to create more understandable business process diagrams. For establishing benefits and penalties of different layouts, a controlled eye tracking experiment was conducted, in which data of 21 professional software developers was used. Our results show that horizontal layouts are less demanding and that as many diagram elements as possible should be put on the initially visible screen area because such diagram elements are viewed more often and longer. Additionally, diagram elements related to the reader’s task are read more often than those not relevant to the task. BPMN modelers should favor a horizontal layout and use a more complex snake or multi-line layout whenever the diagrams are too large to fit on one page in order to support BPMN model comprehension.


2004 ◽  
Vol 13 (03) ◽  
pp. 289-332 ◽  
Author(s):  
JULIANE DEHNERT ◽  
WIL M. P. VAN DER AALST

This paper presents a methodology to bridge the gap between business process modeling and workflow specification. While the first is concerned with intuitive descriptions that are mainly used for communication, the second is concerned with configuring a process-aware information system, thus requiring a more rigorous language less suitable for communication. Unlike existing approaches the gap is not bridged by providing formal semantics for an informal language. Instead it is assumed that the desired behavior is just a subset of the full behavior obtained using a liberal interpretation of the informal business process modeling language. Using a new correctness criterion (relaxed soundness), it is verified whether a selection of suitable behavior is possible. The methodology consists of five steps and is illustrated using event-driven process chains as a business process modeling language and Petri nets as the workflow specification language.


Sign in / Sign up

Export Citation Format

Share Document