Constraint-based reasoning on declarative process execution with the logics workbench

2015 ◽  
Vol 21 (3) ◽  
pp. 586-609 ◽  
Author(s):  
Vitus Lam
Keyword(s):  
Practical Reasoning ◽  
Process Modelling ◽  
Process Models ◽  
Theorem Prover ◽  
Business Rules ◽  
Business Rule ◽  
Content Type ◽  
Formal Framework ◽  
Execution Trace ◽  
New Business

Purpose – An integral part of declarative process modelling is to guarantee that the execution of a declarative workflow is compliant with the respective business rules. The purpose of this paper is to establish a formal framework for representing business rules and determining whether any business rules are violated during the executions of declarative process models. Design/methodology/approach – In the approach, a business rule is phrased in terms of restricted English that is related to a constraint template. Linear temporal logic (LTL) is employed as a formalism for defining the set of constraint templates. By exploiting the theorem-proving feature of the Logics Workbench (LWB), business rule violations are then detected in an automatic manner. Findings – This study explored the viability of encoding: first, process executions by means of LTL and second, business rules in terms of restricted English that built upon pattern-oriented templates and LTL. The LWB was used for carrying out temporal reasoning through automated techniques. The applicability of the formal verification approach was exemplified by a case study concerning supply chain management. The findings showed that practical reasoning could be achieved by combining declarative process modelling, restricted English, pattern-oriented templates, LTL and LWB. Originality/value – First, new business rule templates are proposed; second, business rules are expressed in restricted English instead of graphical constructs; third, both finite execution trace and business rules are grounded in LTL. There is no need to deal with the semantic differences between different formalisms; and finally, the theorem prover LWB is used for the conformance checking of a finite execution trace against business rules.

Detecting violation of business constraints in declarative process execution: a case study

2017 ◽  
Vol 23 (5) ◽  
pp. 1043-1063 ◽  
Author(s):  
Vitus S.W. Lam
Keyword(s):  
Business Process ◽  
Process Modelling ◽  
Process Models ◽  
Business Rules ◽  
Business Rule ◽  
Efficient Manner ◽  
Content Type ◽  
Process Execution ◽  
Business Process Execution

Purpose Declarative process modelling is a constraint-centric approach that treats business rules as first-class citizens in business process models. Augmenting the declarative process modelling technique with capability to detect the constraint violations during business process execution is of crucial importance. The purpose of this paper is to contribute to the modelling of business rules through a repository of pattern-oriented templates. Design/methodology/approach The semantics of the business rule templates is underpinned by linear temporal logic (LTL). Automated temporal reasoning is then conducted for determining whether process executions adhere to the business rules through the utilisation of the Logics Workbench (LWB). An application of the methodological framework is illustrated by a realistic case study on degree requirements verification. Findings To access the practicality of the approach, the case study of this paper is based on the verification of degree requirements, which is different from the domain area of the case study in the author’s prior work. The findings indicated that the temporal framework could be applied to the declarative process modelling in a consistent and efficient manner. Originality/value This paper is an extended version of the author’s earlier study. More details on the LTL and LWB are provided in the current study. The author introduces 17 new business rule templates and illustrates the utilisation of the new templates via a case study that belongs to a different domain area.

A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts

2019 ◽  
Vol 29 (03) ◽  
pp. 433-455
Author(s):  
Vitus S. W. Lam
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic ◽  
Process Models ◽  
Business Rules ◽  
Business Rule ◽  
Business Process Models ◽  
Formal Framework ◽  
Automated Tools ◽  
Büchi Automaton

Drawing on business rules for constructing business process models by a constraint-driven methodology is a distinct characteristic of declarative process modeling. Given the intricacies of business rules, there is a pragmatic need to conduct conflict-free assessments for business rules in an automatic manner. In this paper, business rules are stated in terms of restricted English by harnessing a group of predefined business rule templates. With linear temporal logic that serves as a semantic foundation for the business rule templates, a pair of business rules represented as a linear temporal logic specification is translated into an associated Büchi automaton via LTL2BA, LTL3BA and ltl2tgba. A Büchi automaton that accepts the empty language signifies that the two business rules are in conflict with each other. The suitability of the formal framework and the three automated tools is evaluated by an industry-level case study.

scholarly journals Adaptive business rules framework for workflow management

2019 ◽  
Vol 25 (5) ◽  
pp. 948-971
Author(s):  
Kanana Ezekiel ◽  
Vassil Vassilev ◽  
Karim Ouazzane ◽  
Yogesh Patel
Keyword(s):  
Real Time ◽  
Business Process ◽  
Business Processes ◽  
Object Oriented ◽  
Process Modelling ◽  
Semantic Indexing ◽  
Business Rules ◽  
Business Process Modelling ◽  
Bottom Up ◽  
Content Type

Purpose Changing scattered and dynamic business rules in business workflow systems has become a growing problem that hinders the use and configuration of workflow-based applications. There is a gap in the existing research studies which currently focus on solutions that are application specific, without accounting for the universal logical dependencies between the business rules and, as a result, do not support adaptation of the business rules in real time. The paper aims to discuss this issue. Design/methodology/approach To tackle the above problems, this paper adopts a bottom-up approach, which puts forward a component model of the business process workflows and then adds business rules which have clear logical semantics. This allows incremental development of the workflows and semantic indexing of the rules which govern them during the initial acquisition. Findings The paper introduces an event-driven model for development of business workflows which is purely logic-based and can be easily implemented using an object-oriented technology, together with a model of the business rules dependencies which supports incremental semantic indexing. It also proposes a two-level inference mechanism as a vehicle for controlling the business process execution and the process of adaptation of the business rules at real time based on propagating the dependencies. Research limitations/implications The framework is strictly logical and completely domain-independent. It allows to account both synchronous and asynchronous triggering events as well as both qualitative and quantitative description of the conditions of the rules. Although our primary interest is to apply the framework to the business processes typical in the construction industry we believe our approach has much wider potential due to its strictly logical formalization and domain independence. In fact it can be used to control any business processes where the execution is governed by rules. Practical implications The framework could be applied to both large business process modelling tasks and small but very dynamic business processes like the typical digital business processes found in online banking or e-Commerce. For example, it can be used for adjusting security policies by adding the capability to adapt automatically the access rights to account for additional resources and new channels of operation which can be very interesting ion both B2C and B2B applications. Social implications The potential scope of the impact of the research reported here is linked to the wide applicability of rule-based systems in business. Our approach makes it possible not only to control the execution of the processes, but also to identify problems in the control policies themselves from the point of view of their logical properties – consistency, redundancies and potential gaps in the logics. In addition to this, our approach not only increases the efficiency, but also provides flexibility for adaptation of the policies in real time and increases the security of the overall control which improves the overall quality of the automation. Originality/value The major achievement reported in this paper is the construction of a universal, strictly logic-based event-driven framework for business process modelling and control, which allows purely logical analysis and adaptation of the business rules governing the business workflows through accounting their dependencies. An added value is the support for object-oriented implementation and the incremental indexing which has been possible thanks to the bottom-up approach adopted in the construction of the framework.

Ontology-Driven Business Rule Specification

2013 ◽  
Vol 27 (1) ◽  
pp. 79-104 ◽  
Author(s):  
Frederik Gailly ◽  
Guido L. Geerts
Keyword(s):  
Knowledge Base ◽  
Semantic Annotation ◽  
Domain Ontology ◽  
Business Rules ◽  
Business Rule ◽  
Rich Domain ◽  
Novel Approach ◽  
Enterprise Model ◽  
New Business ◽  
Enterprise Ontology

ABSTRACT Discovering business rules is a complex task for which many approaches have been proposed including analysis, extraction from code, and data mining. In this paper, a novel approach is presented in which business rules for an enterprise model are generated based on the semantics of a domain ontology. Starting from an enterprise model for which the business rules need to be defined, the approach consists of four steps: (1) classification of the enterprise model in terms of the domain ontology (semantic annotation), (2) matching of the enterprise model constructs with ontology-based Enterprise Model Configurations (EMCs), (3) determination of Business Rule Patterns (BRPs) associated with the EMCs, and (4) use of the semantic annotations to instantiate the business rule patterns; that is, to specify the actual business rules. The success of this approach depends on two factors: (1) the existence of a semantically rich domain ontology, and (2) the strength of the knowledge base consisting of EMC-BRP associations. The focus of this paper is on defining and illustrating the new business rule discovery approach: Ontology-Driven Business Rule Specification (ODBRS). The domain of interest is enterprise systems, and an extended version of the Resource-Event-Agent Enterprise Ontology (REA-EO) is used as the domain ontology. A small set of EMC-BRP associations—i.e., an example knowledge base—is developed for illustration purposes. The new approach is demonstrated with an example.

Wand and Weber's good decomposition conditions for BPMN

2014 ◽  
Vol 20 (5) ◽  
pp. 693-729 ◽  
Author(s):  
Florian Johannsen ◽  
Susanne Leist ◽  
Reinhold Tausch
Keyword(s):  
Business Process ◽  
Design Methodology ◽  
Process Model ◽  
Process Modelling ◽  
Process Models ◽  
Modelling Language ◽  
Business Process Modelling ◽  
Content Type ◽  
Process Chains ◽  
Practical Implications

Purpose – The purpose of this paper is to specify the decomposition conditions of Wand and Weber for the Business Process Model and Notation (BPMN). Therefore, an interpretation of the conditions for BPMN is derived and compared to a specification of the conditions for enhanced Event-Driven Process Chains (eEPCs). Based on these results, guidelines for a conformance check of BPMN and eEPC models with the decomposition conditions are shown. Further, guidelines for decomposition are formulated for BPMN models. The usability of the decomposition guidelines is tested with modelling experts. Design/methodology/approach – An approach building on a representational mapping is used for specifying the decomposition conditions. Therefore, ontological constructs of the Bunge-Wand-Weber ontology are mapped to corresponding modelling constructs and an interpretation of the decomposition conditions for BPMN is derived. Guidelines for a conformance check are then defined. Based on these results, decomposition guidelines are formulated. Their usability is tested in interviews. Findings – The research shows that the decomposition conditions stemming from the information systems discipline can be transferred to business process modelling. However, the interpretation of the decomposition conditions depends on specific characteristics of a modelling language. Based on a thorough specification of the conditions, it is possible to derive guidelines for a conformance check of process models with the conditions. In addition, guidelines for decomposition are developed and tested. In the study, these are perceived as understandable and helpful by experts. Research limitations/implications – Research approaches based on representational mappings are subjected to subjectivity. However, by having three researchers performing the approach independently, subjectivity can be mitigated. Further, only ten experts participated in the usability test, which is therefore to be considered as a first step in a more comprising evaluation. Practical implications – This paper provides the process modeller with guidelines enabling a conformance check of BPMN and eEPC process models with the decomposition conditions. Further, guidelines for decomposing BPMN models are introduced. Originality/value – This paper is the first to specify Wand and Weber's decomposition conditions for process modelling with BPMN. A comparison to eEPCs shows, that the ontological expressiveness influences the interpretation of the conditions. Further, guidelines for decomposing BPMN models as well as for checking their adherence to the decomposition conditions are presented.

Mining business rules from business process model repositories

2015 ◽  
Vol 21 (4) ◽  
pp. 820-836 ◽  
Author(s):  
Jantima Polpinij ◽  
Aditya Ghose ◽  
Hoa Khanh Dam
Keyword(s):  
Business Process ◽  
Process Model ◽  
Process Mining ◽  
Process Models ◽  
Sequential Patterns ◽  
Business Rules ◽  
Data Set ◽  
Content Type ◽  
Market Growth ◽  
Business Process Models

Purpose – Business process has become the core assets of many organizations and it becomes increasing common for most medium to large organizations to have collections of hundreds or even thousands of business process models. The purpose of this paper is to explore an alternative dimension to process mining in which the objective is to extract process constraints (or business rules) as opposed to business process models. It also focusses on an alternative data set – process models as opposed to process instances (i.e. event logs). Design/methodology/approach – The authors present a new method of knowledge discovery to find business activity sequential patterns embedded in process model repositories. The extracted sequential patterns are considered as business rules. Findings – The authors find significant knowledge hidden in business processes model repositories. The hidden knowledge is considered as business rules. The business rules extracted from process models are significant and valid sequential correlations among business activities belonging to a particular organization. Such business rules represent business constraints that have been encoded in business process models. Experimental results have indicated the effectiveness and accuracy of the approach in extracting business rules from repositories of business process models. Social implications – This research will assist organizations to extract business rules from their existing business process models. The discovered business rules are very important for any organization, where rules can be used to help organizations better achieve goals, remove obstacles to market growth, reduce costly mistakes, improve communication, comply with legal requirements, and increase customer loyalty. Originality/value – There has very been little work in mining business process models as opposed to an increasing number of very large collections of business process models. This work has filled this gap with the focus on extracting business rules.

scholarly journals Aggregate metric model for evaluating business processes

2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Henry Chika Eleonu
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Process Modelling ◽  
Process Models ◽  
Business Process Modelling ◽  
Content Type ◽  
Business Process Models ◽  
Measurement Framework ◽  
Aggregate Measure ◽  
Modelling Approaches

PurposeThe 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/approachThe approach uses ideas of the goal question metric 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.FindingsThe 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/valueThe 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.

Exploring the effects of physical punishment on aggressive behavior and peer victimization: a conditional process analysis

2016 ◽  
Vol 8 (1) ◽  
pp. 21-32 ◽  
Author(s):  
Patrik Söderberg ◽  
Kaj Bjorkqvist ◽  
Karin Österman
Keyword(s):  
Depressive Symptoms ◽  
Aggressive Behavior ◽  
Peer Victimization ◽  
Online Survey ◽  
Process Analysis ◽  
Physical Punishment ◽  
Process Models ◽  
Content Type ◽  
Conditional Process Analysis

Purpose – Recent studies indicate that exposure to physical punishment is associated with both aggressive behavior and peer victimization at school. The purpose of this paper is to explore the bidirectional relationship between aggressive behavior and peer victimization as outcomes of physical punishment, as well as the role of depressive symptoms. Design/methodology/approach – A sample of 2,424 Finnish upper primary school pupils (1,282 girls, 1,148 boys, mean age=14.2, SD=1.0) completed an online survey during class. Two conditional process models were applied using a macro for SPSS developed by Hayes (2012). Findings – Exposure to physical punishment was found to be associated with both aggressive behavior and peer victimization at school. The effect on victimization was partially mediated by aggressive behavior and depressive symptoms, whereas the effect on aggressive behavior was partially mediated by peer victimization experiences but not by depressive symptoms. The relationship between physical punishment and peer victimization was somewhat stronger for girls than for boys, but this effect was not accounted for by gender differences in depressive symptoms or aggressive behavior. Originality/value – Few studies to date have addressed the connection between aggressive behavior and peer victimization as outcomes of physical punishment. In addition, the study expands on the concept of “victim personality” by examining the mediating role of depressive symptoms. Methodologically, the study is an example of how the statistical software SPSS can be used for multiple mediation and conditional process analysis as an alternative to SEM analyses.

The gamification of trust: the case of China’s “social credit”

2018 ◽  
Vol 36 (1) ◽  
pp. 93-107 ◽  
Author(s):  
Zahy Ramadan
Keyword(s):  
Conceptual Framework ◽  
Tax Evasion ◽  
Credit Rating ◽  
Rating System ◽  
Credit System ◽  
Content Type ◽  
Social Credit ◽  
Chinese Business ◽  
Area Of Interest ◽  
New Business

Purpose China is establishing a social credit rating system with the aim to score the trust level of citizens. The scores will be based on an integrated database that includes a vast range of information sources, rating aspects like professional conduct, corruption, type of products bought, peers’ own scores and tax evasion. While this form of gamification is expected to have dire consequences on brands and consumers alike, the literature in that particular area of interest remains non-existent. The paper aims to discuss these issues. Design/methodology/approach A conceptual framework is suggested that highlights early on the risks and implications on brands and companies operating in that particular upcoming landscape. Findings The gamification of trust that the social credit system focuses on presents potential risks on brand and consumer relationships. This in turn will affect brand sustainability vis-à-vis the expected drastic changes in the Chinese business landscape. This study suggests the strategies to follow which will be of high interest to companies, consumers, as well as to the Chinese authorities during and after implementation stage. Originality/value This paper is amongst the first to discuss the potential effects of the Chinese social credit rating system on brands. The conceptual framework fills a sizeable gap in the literature and pioneers the discussion on potential dilemmas brands will be faced with within this new business landscape.

Sign in / Sign up

Export Citation Format

Share Document