The Formalization of the Business Process Modeling Goals

Bušinska, Ligita; Kirikova, Mārīte

doi:10.7250/csimq.2016-8.03

Cited by 2 publications

(4 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Each framework dimension has appropriate "scale" of "values" shown with the abbreviation GL i -for generalization, DL i -for decomposition, and P i -for perspectives. The detailed description of each dimension with appropriate values of the scale is available from [4].…”

Section: Formalization Of the Business Process Modeling Goalmentioning

confidence: 99%

“…While, in general, the goal of modeling is a central notion in the choice of modeling languages, in the most of researches, which propose guidelines, techniques, and methods for business process modeling language evaluation or/and selection, the business process modeling goal is not formalized and respectively not transparently taken into account. To overcome this gap, and to explicate and help to handle the business process modeling complexity, the approach to formalize the business process modeling goal and the supporting three dimensional business process modeling framework were proposed [4].…”

Section: Introductionmentioning

confidence: 99%

“…The way how to formalize the business process modeling goal was discussed in detail in [4], specifying what parameters the desirable business process abstraction should have. On the basis of the formalized modeling goal, business process modeling languages can be evaluated according to the values of the modeling goal parameters.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

The Goal-Based Selection of the Business Process Modeling Language

Bušinska

Kirikova

2016

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Part 3: Short PapersInternational audienceBusiness process models are an essential issue of enterprise modeling because business process modeling is the means for performing a wide range of tasks, such as documentation, communication, business improvement, and capturing requirements for software design up to creation of executable process descriptions. Nowadays a wide range of general purpose business process modeling languages are used for handling these tasks. Constantly also a number of the general purpose modeling language extensions and domain specific modeling languages (DSL) are being developed. Thus, obviously, the universal business process modeling language that would be suitable for all the modeling purposes does not (yet) exist. In such a situation the modeler is faced with the problem of choosing a business process modeling language suitable for a certain modeling purpose. This paper proposes to base the choice of the language on a formalized business process modeling goal and a three dimensional business process modeling framework. The paper also describes how to use the proposed framework to measure the modeling language conformity to a certain modeling goal using a general business process element taxonomy and metrics

show abstract

Section: Formalization Of the Business Process Modeling Goalmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

The Goal-Based Selection of the Business Process Modeling Language

Bušinska

Kirikova

2016

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

show abstract

“…Rehse et al (2017) proposed inductive approach using graph theory for modeling of the business process, based on existing individual model from different domains. Bušinska and Kirikova (2016) described appreciable multi-level business processing framework to formalize business process modeling goals for a specific level of business abstraction. Then, accordingly, business process modeling language should be evaluated.…”

Section: Introductionmentioning

confidence: 99%

Formalization of business workflow with typed attributed graph

Tripathi

Banerjee

Sarkar

2018

IJWIS

View full text Add to dashboard Cite

Purpose Business process workflow is a design conceptualization to automate the sequence of activities to achieve a business goal with involved participants and a predefined set of rules. Regarding this, a formal business workflow model is a prime requisite to implement a consistent and rigorous business process. In this context, majority of the existing research works are formalized structural features and have not focused on functional and behavioral design aspects of business processes. To address this problem, this paper aims to propose a formal model of business process workflow called as business process workflow using typed attributed graph (BPWATG) enriched with structural, functional and behavioral characteristics of business processes. Design/methodology/approach Typed attributed graph (ATG) and first-order logic have been used to formalize proposed BPWATG to provide rigorous syntax and semantics towards business process workflows. This is an effort to execute a business workflow on an automated machine. Further, the proposed BPWATG is illustrated using a case study to show the expressiveness of proposed model. Besides, the proposed graph is initially validated using generic modelling environment (GME) case tool. Moreover, a comparative study is performed with existing formal approaches based on several crucial features to exhibit the effectiveness of proposed BPWATG. Findings The proposed model is capable of facilitating structural, functional and behavioral aspects of business process workflows using several crucial features such as dependency conceptualization, timer concepts, exception handling and deadlock detection. These features are used to handle real-world problems and ensure the consistency and correctness of business workflows. Originality/value BPWATG is proposed to formalize a business workflow that is required to make a model of business process machine-readable. Besides, formalizations of dependency conceptualization, exception handling, deadlock detection and time-out concepts are specified. Moreover, several non-functional properties (reusability, scalability, flexibility, dynamicity, reliability and robustness) are supported by the proposed model.

show abstract

The Formalization of the Business Process Modeling Goals

Cited by 2 publications

References 35 publications

The Goal-Based Selection of the Business Process Modeling Language

The Goal-Based Selection of the Business Process Modeling Language

Formalization of business workflow with typed attributed graph

Contact Info

Product

Resources

About