Towards Compliance Verification Between Global and Local Process Models
نویسندگان
چکیده
This paper addresses the question how to verify that the local workflow of an organisation participating in a cross-organisational collaboration is in compliance with the globally specified rules of that collaboration. We assume that the collaborative workflow is specified as a BPMN Collaboration Diagram and the local workflows as BPMN Process Diagrams. We then employ existing LTL semantics of the former and token semantics of the latter to verify conformance. We use the graph transformation tool GROOVE to automate the verification, and exemplify our approach with a case study from the financial markets domain.
منابع مشابه
Towards Resolving Compliance Violations in Business Process Models
Keeping business processes compliant with regulations is of major importance for companies. Considering the huge number of models each company possesses, an automation of compliance maintenance becomes essential. Therefore, many approaches focused on automation of various aspects of a compliance problem, e.g. compliance verification. Such techniques allow localizing the problem within the proce...
متن کاملOn Enabling Compliance of Cross-Organizational Business Processes
Process compliance deals with the ability of a company to ensure that its business processes comply with domain-specific regulations and rules. So far, compliance issues have been mainly addressed for intra-organizational business processes, whereas there exists only little work dealing with compliance in the context of cross-organizational processes that involve multiple business partners. As ...
متن کاملDetecting the Effects of Changes on the Compliance of Cross-Organizational Business Processes
An emerging challenge for collaborating business partners is to properly define and evolve their cross-organizational processes with respect to imposed global compliance rules. Since compliance verification is known to be very costly, reducing the number of compliance rules to be rechecked in the context of process changes will be crucial. Opposed to intra-organizational processes, however, cha...
متن کاملExploiting Prolog for Projecting Agent Interaction Protocols
Constrained global types are a powerful means to represent agent interaction protocols. In our recent research we demonstrated that they can be used to represent complex protocols in a very compact way, and we exploited them to dynamically verify correct implementation of a protocol in a real MAS framework, Jason. The main drawback of our previous approach is the full centralization of the moni...
متن کاملSimulation and Model Validation of Batch PHB Production Process Using Ralstonia eutropha
Mathematical modeling and simulation of microbial Polyhydroxybutyrate (PHB) production process is beneficial for optimization, design, and control purposes. In this study a batch model developed by Mulchandani et al., [1] was used to simulate the process in MATLAB environment. It was revealed that the kinetic model parameters were estimated off the optimal or at a local optimal point. There...
متن کامل