Verification of e-Commerce Business Processes

2011 ◽  
pp. 105-123 ◽  
Author(s):  
Sven Feja ◽  
Andreas Speck ◽  
Elke Pulvermüller ◽  
Marcel Schulz
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
System Development ◽  
Real System ◽  
Process Models ◽  
Business Process Models ◽  
Negative Results ◽  
Formal Requirement ◽  
Different Types

Nevertheless distinctive improvements are necessary before this technology can be applied in the real system development. Graphical formal requirement notations for different kinds of process model notations as representations of the specification of rules are also crucial, along with the ability to present the positive and especially negative results to the different types of stakeholders. And finally, the model checking technique has to be improved in order to deal with different types of model elements which are typical for business process models.

scholarly journals Business processes exceptions in relation to operational performance

2019 ◽  
Vol 25 (5) ◽  
pp. 908-922 ◽  
Author(s):  
Remco Dijkman ◽  
Oktay Turetken ◽  
Geoffrey Robert van IJzendoorn ◽  
Meint de Vries
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Process Models ◽  
Operational Performance ◽  
Normal Flow ◽  
Throughput Time ◽  
Content Type ◽  
Business Process Models ◽  
Practical Implications

Purpose Business process models describe the way of working in an organization. Typically, business process models distinguish between the normal flow of work and exceptions to that normal flow. However, they often present an idealized view. This means that unexpected exceptions – exceptions that are not modeled in the business process model – can also occur in practice. This has an effect on the efficiency of the organization, because information systems are not developed to handle unexpected exceptions. The purpose of this paper is to study the relation between the occurrence of exceptions and operational performance. Design/methodology/approach The paper does this by analyzing the execution logs of business processes from five organizations, classifying execution paths as normal or exceptional. Subsequently, it analyzes the differences between normal and exceptional paths. Findings The results show that exceptions are related to worse operational performance in terms of a longer throughput time and that unexpected exceptions relate to a stronger increase in throughput time than expected exceptions. Practical implications These findings lead to practical implications on policies that can be followed with respect to exceptions. Most importantly, unexpected exceptions should be avoided by incorporating them into the process – and thus transforming them into expected exceptions – as much as possible. Also, as not all exceptions lead to longer throughput times, continuous improvement should be employed to continuously monitor the occurrence of exceptions and make decisions on their desirability in the process. Originality/value While work exists on analyzing the occurrence of exceptions in business processes, especially in the context of process conformance analysis, to the best of the authors’ knowledge this is the first work that analyzes the possible consequences of such exceptions.

scholarly journals Collaborative method to maintain business process models updated

2014 ◽  
Vol 11 (2) ◽  
pp. 461-480 ◽  
Author(s):  
Nuno Castela ◽  
Paulo Dias ◽  
Marielba Zacarias ◽  
José Tribolet
Keyword(s):  
Case Studies ◽  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Process Models ◽  
Organizational Environment ◽  
Business Process Model ◽  
Business Process Models ◽  
Definition Of ◽  
Over Time

Business process models are often forgotten after their creation and its representation is not usually updated. This appears to be negative as processes evolve over time. This paper discusses the issue of business process models maintenance through the definition of a collaborative method that creates interaction contexts enabling business actors to discuss about business processes, sharing business knowledge. The collaboration method extends the discussion about existing process representations to all stakeholders promoting their update. This collaborative method contributes to improve business process models, allowing updates based in change proposals and discussions, using a groupware tool that was developed. Four case studies were developed in real organizational environment. We came to the conclusion that the defined method and the developed tool can help organizations to maintain a business process model updated based on the inputs and consequent discussions taken by the organizational actors who participate in the processes.

scholarly journals Aggregate Metric Model for Evaluating Business Processes

2020 ◽  
Author(s):  
Henry Chika Eleonu
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Process Modelling ◽  
Process Models ◽  
Business Process Modelling ◽  
Business Process Models ◽  
Measurement Framework ◽  
Aggregate Measure ◽  
Modelling Approaches

Purpose - The purpose of this paper is to present a business process measurement framework for the evaluation of a corpus of business processes modelled in different business process modelling approaches. The results of the application of the proposed measurement framework will serve as a basis for choosing business process modelling approaches. Design/methodology/approach - The approach uses ideas of the Goal Question Metric (GQM) framework to define metrics for measuring a business process where the metrics answer the questions to achieve the goal. The Weighted Sum Method (WSM) is used to aggregate the measure of attributes of a business process to derive an aggregate measure, and business process modelling approaches are compared based on the evaluation of business process models created in different business process modelling approaches using the aggregate measure. Findings - The proposed measurement framework was applied to a corpus of business process models in different business process modelling approaches and is showed that insight is gained into the effect of business process modelling approach on the maintainability of a business process model. From the results, business process modelling approaches which imbibed the principle of separation of concerns of models, make use of reference or base model for a family of business process variants and promote the reuse of model elements performed highest when their models are evaluated with the proposed measurement framework. The results showed that the applications of the proposed framework proved to be useful for the selection of business process modelling approaches. Originality - The novelty of this work is in the application of WSM to integrate metric of business process models and the evaluation of a corpus of business process models created in different business process modelling approaches using the aggregate measure.

Viewpoints on Business Process Models

2018 ◽  
pp. 788-798
Author(s):  
Giorgio Bruno
Keyword(s):  
Business Process ◽  
Role Models ◽  
Process Model ◽  
Role Model ◽  
Business Processes ◽  
Life Cycles ◽  
Process Models ◽  
Business Process Models ◽  
Business Entities ◽  
Operational Activities

Over the past few years a number of viewpoints have influenced the design of notations for business processes. They emphasize the different elements (tasks, business entities and roles) that compose business process models; for this reason, they are referred to as activity-centric, data-centric, and role-centric viewpoints. The activity-centric viewpoint focuses on the orchestration of operational activities, which encompass human tasks and automatic ones. On the contrary, the data-centric viewpoint stresses the identification of the key business entities and their life cycles consisting of states and transitions. In the role-centric viewpoint, a process model is made up of several “role” models; each role model provides a restricted view of the process limited to the behavior of the role under consideration. This article illustrates how the above-mentioned viewpoints can be extracted from a global model, with the help of an example concerning the submission of papers to conferences.

Recovery and Refinement of Business Process Models for Web Applications

2018 ◽  
pp. 248-291
Author(s):  
Alessandro Marchetto ◽  
Chiara Di Francescomarino
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Web Applications ◽  
Process Mining ◽  
Relevant Information ◽  
Process Models ◽  
Model Complexity ◽  
Model Refinement ◽  
Business Process Models

Web Applications (WAs) have been often used to expose business processes to the users. WA modernization and evolution are complex and time-consuming activities that can be supported by software documentation (e.g., process models). When, as often happens, documentation is missing or is incomplete, documentation recovery and mining represent an important opportunity for reconstructing or completing it. Existing process-mining approaches, however, tend to recover models that are quite complex, rich, and intricate, thus difficult to understand and use for analysts and developers. Model refinement approaches have been presented in the literature to reduce the model complexity and intricateness while preserving the capability of representing the relevant information. In this chapter, the authors summarize approaches to mine first and refine later business process models from existing WAs. In particular, they present two process model refinement approaches: (1) re-modularization and (2) reduction. The authors introduce the techniques and show how to apply them to WAs.

scholarly journals A Method for Bridging the Gap between Business Process Models and Services

2013 ◽  
Vol 6 ◽  
pp. 62-98
Author(s):  
Leonardo Guerreiro Azevedo ◽  
Flávia Santoro ◽  
Fernanda Baião ◽  
Thaissa Diirr ◽  
Alexandre Souza ◽  
...  
Keyword(s):  
Business Process ◽  
Business Models ◽  
Business Processes ◽  
System Development ◽  
Process Models ◽  
Business Process Models ◽  
Development Lifecycle ◽  
Service Identification ◽  
Starting Point ◽  
Service Oriented

Many proposals in the literature are consensual in making business processes as the starting point of a Service-Oriented system development lifecycle. However, there is no systematic approach that can be easily applied in practice. We argue that an effective SOA approach requires an integrated view of organizational business processes, where services are explicitly related to business models components. Accomplishing these requirements is vital for bridging the gap between business needs and their supporting services. This work proposes a top-down method for service identification and analysis from business process models. Each step of the method implements a set of heuristics that are also specified. The method is presented in detail, and constitutes a systematic guide for service identification and analysis. A case study is conducted to demonstrate the use of the method in practice.

Recovery and Refinement of Business Process Models for Web Applications

2013 ◽  
pp. 134-175
Author(s):  
Alessandro Marchetto ◽  
Chiara Di Francescomarino
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Web Applications ◽  
Process Mining ◽  
Relevant Information ◽  
Process Models ◽  
Model Complexity ◽  
Model Refinement ◽  
Business Process Models

Web Applications (WAs) have been often used to expose business processes to the users. WA modernization and evolution are complex and time-consuming activities that can be supported by software documentation (e.g., process models). When, as often happens, documentation is missing or is incomplete, documentation recovery and mining represent an important opportunity for reconstructing or completing it. Existing process-mining approaches, however, tend to recover models that are quite complex, rich, and intricate, thus difficult to understand and use for analysts and developers. Model refinement approaches have been presented in the literature to reduce the model complexity and intricateness while preserving the capability of representing the relevant information. In this chapter, the authors summarize approaches to mine first and refine later business process models from existing WAs. In particular, they present two process model refinement approaches: (1) re-modularization and (2) reduction. The authors introduce the techniques and show how to apply them to WAs.

Viewpoints on Business Process Models

2019 ◽  
pp. 405-416
Author(s):  
Giorgio Bruno
Keyword(s):  
Business Process ◽  
Role Models ◽  
Process Model ◽  
Role Model ◽  
Business Processes ◽  
Global Model ◽  
Process Models ◽  
Business Process Models ◽  
Business Entities ◽  
Operational Activities

Over the past few years, a number of viewpoints have influenced the design of notations for business processes. They emphasize the different elements (tasks, business entities, and roles) that compose business process models; for this reason, they are referred to as activity-centric, data-centric, and role-centric viewpoints. The activity-centric viewpoint focuses on the orchestration of operational activities, which encompass human tasks and automatic ones. On the contrary, the data-centric viewpoint stresses the identification of the key business entities and their lifecycles consisting of states and transitions. In the role-centric viewpoint, a process model is made up of several “role” models; each role model provides a restricted view of the process limited to the behavior of the role under consideration. This chapter illustrates how the above-mentioned viewpoints can be extracted from a global model, with the help of an example concerning the submission of papers to conferences.

scholarly journals Business Process Model Variations in Islamic Boarding Schools Using Requirements Analysis Method

2020 ◽  
Vol 3 ◽  
pp. 183-188
Author(s):  
Fitri Nuriyanti ◽  
Iffatul Izzah ◽  
Munajatul Azizah ◽  
Muhammad Ainul Yaqin
Keyword(s):  
Business Process ◽  
Process Model ◽  
System Development ◽  
Boarding School ◽  
Requirements Analysis ◽  
Process Models ◽  
Analysis Method ◽  
Business Process Models ◽  
System Analyst ◽  
The Right

The business process at a boarding school is a collection of all the detailed activities that have been arranged in such a way as to solve the existing problems so that the objectives set can be met. There are development standards that can be used as a reference to build architecture and business process models at a boarding school. Every business process has planned many ways to be able to obtain goals precisely. Therefore variations are formed in the business process models. Business process models of variations are a collection of business process models that have the same goals in different ways. Variations in the business process models are needed to achieve the right goals in a variety of ways according to existing resources and needs. From all reviews of the variations, it is necessary to have a cyclomatic complexity to find out how complex the business process models is and to maintain the simplicity of the business process models. This study uses the requirements analysis method, which is the intensive interaction stage between the system analyst and the system user community (end-user), where the system development team shows its expertise to get user feedback and confidence so that it gets good participation. The results of this study are a collection of variations of business process models that have a level of complexity not much different from one variation, with another on each standard applied.

scholarly journals Pengujian Unit Plugin Pemberian Anotasi Efek Secara Semantik pada Proses Bisnis BPMN

2021 ◽  
Vol 6 (3) ◽  
pp. 170
Author(s):  
Hilman Nuril Hadi
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Process Models ◽  
Unit Testing ◽  
Business Process Model ◽  
Testing Technique ◽  
Modeling Tools ◽  
Path Testing ◽  
Future Business

Business process model was created to make it easier for business process stakeholders to communicate and discuss the structure of the process more effectively and efficiently. Business process models can also be business artifacts and media that can be analyzed further to improve and maintain organizational competitiveness. To analyze business processes in a structured manner, the effect/results of the execution of business processes will be one of the important information. The effect/result of the execution of certain activities or a business process as a whole are useful for managing business processes, including for improvements related to future business processes. This effect annotation approach needs to be supported by business process modeling tools to assist business analysts in managing business processes properly. In previous research, the author has developed a plugin that supports business analysts to describe the effects semantically attached to activities in the Business Process Model and Notation (BPMN) business process model. In this paper, the author describes the unit testing process and its results on the plugin of semantic effect annotation that have been developed. Unit testing was carried out using the basic path testing technique and has obtained three test paths. The results of unit test for plugin are also described in this paper.

Sign in / Sign up

Export Citation Format

Share Document