A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines

Abstract Function is a key concept to integrate design object modeling and design process modeling in design. We here propose the FEP (Functional Evolution Process) model in order to integrate design object modeling and design process modeling. In the FEP model, the model of a design object is evolved through three steps, i.e., function description, function actualization and function evaluation. Function description is the step in which a designer modifies required functions of a design object. Function actualization depicts a process to obtain physical descriptions from functional description. Function evaluation is a process to measure realizability of functions of the design object. However, among other steps, how to treat the function evaluation is one of the most important theme, because evaluation executed by designers is based on subjective, ambiguous and tacit standards. We discuss a methodology for evaluating function and propose the function content that quantifies functions and enables evaluation of functions. The function content is a similar concept of Shannon’s information content and we show an example of functional optimization based on this scheme.

Download Full-text

Statistical Verification of Process Model Conformance to Execution Log Considering Model Abstraction

International Journal of Cooperative Information Systems ◽

10.1142/s0218843018500028 ◽

2018 ◽

Vol 27 (02) ◽

pp. 1850002

Author(s):

Sung-Hyun Sim ◽

Hyerim Bae ◽

Yulim Choi ◽

Ling Liu

Keyword(s):

Process Model ◽

Process Mining ◽

Statistical Significance ◽

Conformance Checking ◽

Model Abstraction ◽

Verification Method ◽

Statistical Verification ◽

New Concepts ◽

Kolmogorov Smirnov ◽

Process Execution

In Big data and IoT environments, process execution generates huge-sized data some of which is subsequently obtained by sensors. The main issue in such areas has been the necessity of analyzing data in order to suggest enhancements to processes. In this regard, evaluation of process model conformance to the execution log is of great importance. For this purpose, previous reports on process mining approaches have advocated conformance checking by fitness measure, which is a process that uses token replay and node-arc relations based on Petri net. However, fitness measure so far has not considered statistical significance, but just offers a numeric ratio. We herein propose a statistical verification method based on the Kolmogorov–Smirnov (K–S) test to judge whether two different log datasets follow the same process model. Our method can be easily extended to determinations that process execution actually follows a process model, by playing out the model and generating event log data from it. Additionally, in order to solve the problem of the trade-off between model abstraction and process conformance, we also propose the new concepts of Confidence Interval of Abstraction Value (CIAV) and Maximum Confidence Abstraction Value (MCAV). We showed that our method can be applied to any process mining algorithm (e.g. heuristic mining, fuzzy mining) that has parameters related to model abstraction. We expect that our method will come to be widely utilized in many applications dealing with business process enhancement involving process-model and execution-log analyses.

Download Full-text

Research of Multiple Stresses Accelerated Life Model Verification Method

Journal of Mechanical Engineering ◽

10.3901/jme.2010.24.156 ◽

2010 ◽

Vol 46 (24) ◽

pp. 156 ◽

Cited By ~ 3

Author(s):

Ping QIAN

Keyword(s):

Model Verification ◽

Multiple Stresses ◽

Verification Method ◽

Accelerated Life ◽

Life Model ◽

Accelerated Life Model

Download Full-text

Ontology-Based Framework for Quality in Configurable Process Models

Sustainable Business ◽

10.4018/978-1-5225-9615-8.ch021 ◽

2020 ◽

pp. 464-478

Author(s):

Loubna El Faquih ◽

Mounia Fredj

Keyword(s):

Business Process ◽

Process Modeling ◽

Process Model ◽

Business Processes ◽

Research Work ◽

Process Models ◽

Novel Method ◽

Ontology Languages ◽

Variability Management

In recent years, business process modeling has increasingly drawn the attention of enterprises. As a result of the wide use of business processes, redundancy problems have arisen and researchers introduced the variability management, in order to enhance the business process reuse. The most approach used in this context is the Configurable Process Model solution, which consists in representing the variable and the fixed parts together in a unique model. Due to the increasing number of variants, the configurable models become complex and incomprehensible, and their quality is therefore impacted. Most of research work is limited to the syntactic quality of process variants. The approach presented in this paper aims at providing a novel method towards syntactic verification and semantic validation of configurable process models based on ontology languages. We define validation rules for assessing the quality of configurable process models. An example in the e-healthcare domain illustrates the main steps of our approach.

Download Full-text

The RALph miner for automated discovery and verification of resource-aware process models

Software & Systems Modeling ◽

10.1007/s10270-020-00820-7 ◽

2020 ◽

Vol 19 (6) ◽

pp. 1415-1441

Author(s):

Cristina Cabanillas ◽

Lars Ackermann ◽

Stefan Schönig ◽

Christian Sturm ◽

Jan Mendling

Keyword(s):

Process Model ◽

Model Verification ◽

Process Models ◽

Resource Assignment ◽

Process Discovery ◽

Event Logs ◽

Different Types ◽

Automated Discovery ◽

And Performance ◽

Resource Aware

Abstract Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved in their execution. Recent approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process models that contain the inferred resource assignment constraints. Such constraints can be complex and process discovery approaches so far have missed the opportunity to represent expressive resource assignments graphically together with process models. A subsequent verification of the extracted resource-aware process models is required in order to check the proper utilisation of resources according to the resource assignments. So far, research on discovering resource-aware process models has assumed that models can be put into operation without modification and checking. Integrating resource mining and resource-aware process model verification faces the challenge that different types of resource assignment languages are used for each task. In this paper, we present an integrated solution that comprises (i) a resource mining technique that builds upon a highly expressive graphical notation for defining resource assignments; and (ii) automated model-checking support to validate the discovered resource-aware process models. All the concepts reported in this paper have been implemented and evaluated in terms of feasibility and performance.

Download Full-text

Social Software for Business Process Modeling

Journal of Information Technology ◽

10.1057/jlt.2009.21 ◽

2010 ◽

Vol 25 (3) ◽

pp. 308-322

Author(s):

Agnes Koschmider ◽

Minseok Song ◽

Hajo A Reijers

Keyword(s):

Business Process ◽

Process Modeling ◽

Process Model ◽

Business Processes ◽

Social Software ◽

Modeling Process ◽

Single Person ◽

Formal Business

Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborative fashion, the building of the final, formal process model is done mostly by a single person. This article presents the design and Implementation of a Recommendation-Based Process Modeling Support System with ‘social features.’ A process builder using this system will receive recommendations to complete or edit a formal business process model on the basis of previous usage of modeling fragments by her peers. Such features potentially Improve the modeling process and, as such, the modeling outcome, that is, the quality of the process model. This article also contains an evaluation of the system's usage and effectiveness, which builds on an experimental design. It is shown that process builders are inclined to follow up on the provided recommendations and that this will improve the semantical quality of the created model. However, Information on peer usage of modeling fragments does not play a big role in selecting the recommendations being followed up. This article fits within a stream of research that puts emphasis on the modeling process, rather than on the model artifact.

Download Full-text

Theoretical and Experimental Determination of Geometry Deviation in Continuous Path Controlled OD Grinding Processes

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.223.784 ◽

2011 ◽

Vol 223 ◽

pp. 784-793 ◽

Cited By ~ 7

Author(s):

Berend Denkena ◽

Ruben Fischer

Keyword(s):

Process Model ◽

Simulation Method ◽

Model Verification ◽

Parameter Study ◽

Force Model ◽

Grinding Process ◽

Continuous Path ◽

Loop Modeling ◽

Machine Model ◽

Structural Dynamic

A simulation method for the continuous path controlled grinding process is described in this paper. The process model allows a virtual analysis of the process parameters, different input conditions and their influence concerning workpiece geometry. The machine structure is represented by a structural dynamic system. The dynamic influence of the machine axes is considered by its control system parameters. In this machine model, the positioning error of the axes can be calculated in relation to the reference position. This is used to compute the local engagement numerically. The process force is estimated by means of an empirical grinding force model. Hence, the overall process force can be calculated and fed back into the dynamic model. Closed-loop modeling allows to rate the influence of different parameters with respect to process errors. Finally, a parameter study and the model verification under real conditions are presented on the basis of the wheel head oscillating pin grinding process of crankshafts.

Download Full-text

On Modeling and Simulation of the Discharging Activity in Electrochemical Discharge Machining

Volume 1: Processing ◽

10.1115/msec2015-9456 ◽

2015 ◽

Author(s):

Baoyang Jiang ◽

Shuhuai Lan ◽

Jun Ni

Keyword(s):

Process Modeling ◽

Material Removal ◽

Process Model ◽

Energy Intensity ◽

Good Accuracy ◽

Material Removal Mechanism ◽

Electrochemical Discharge Machining ◽

Electrochemical Discharge ◽

Releasing Process

Electrochemical discharge machining (ECDM) is a promising machining technology to process non-conducing and brittle materials, featuring high throughput and good accuracy in meso and micro scale machining of hard-to-machine materials. Currently ECDM has not yet attracted wide interest from the industry because of the low controllability and repeatability. There is a huge gap in process optimization to make ECDM viable in industry. A good process model is essential to achieve an improved and optimized process. The fundamental of ECDM is the discharging activity, which triggers various mechanisms to remove material. Therefore characterization of sparks from the aspects of electrical and thermal properties is the premise of process modeling. In this paper, experimental investigation and modeling of discharging activity was presented. The spark releasing process was studied in terms of discharge energy, intensity distribution, and material removal. Conic tool electrodes were fabricated to achieve more consistent discharging. The material removal mechanism was revealed by analytical derivation and simulated with numerical methods.

Download Full-text

Ownership relevance in aspect-oriented business process models

Business Process Management Journal ◽

10.1108/bpmj-01-2015-0006 ◽

2016 ◽

Vol 22 (3) ◽

pp. 566-593 ◽

Cited By ~ 4

Author(s):

Julio Cesar Sampaio do Prado Leite ◽

Flavia Maria Santoro ◽

Claudia Cappelli ◽

Thais Vasconcelos Batista ◽

Fabiana Jack Nogueira Santos

Keyword(s):

Business Process ◽

Process Modeling ◽

Process Model ◽

Business Process Modeling ◽

Process Models ◽

Actor Model ◽

Content Type ◽

Business Process Modeling Notation ◽

Representation Scheme

Purpose – The purpose of this paper is to propose a representation scheme based on the i* strategic actor model to represent the process owner information and show how to incorporate this approach into the event driven process chain and Business Process Modeling Notation-BPMN meta-models and also into the aspect-oriented business process modeling (BPM) context. Design/methodology/approach – The authors use a case study in a real setting to evaluate the proposal and a controlled experiment to get more evidence about its relevance. Findings – The authors presented evidence both from a case study in a real-world library showing the importance of representing – previously unavailable – process owner information, and from an experiment which involved participants analyzing the same models of the case study, confirming the preliminary evidences. It is important to stress the recognition that the proposed representation provided more transparency, in terms of ownership, than the usual BPM models. These benefits are due to the combination of the aspect-oriented approach and the strategic actor model, providing ownership information in a more transparent way. Originality/value – The authors not only argue the importance of clearly established process ownership, both of the core process and the aspectual process, but also the authors presented an approach to represent the actor involved in process and aspect ownership as an instantiation of the i* strategic actor. Using this approach, the process owner can be defined in terms of actors instead of the activities performed. It is also possible to define the aspect owner and to include the aspectual process concept in the business process model.

Download Full-text