Business Process Template Synthesis from Compliance Rules
Rajeev Gore (ANU)
LOGIC AND COMPUTATION SEMINARDATE: 2010-11-16
TIME: 15:30:00 - 16:30:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Joint work with: Ahmed Awad, James Thomson, Matthias Weidlich
Companies have to adhere to compliance requirements and ensure that their operations do not violate regulations and internal policies. Typically, both, business experts and compliance experts, are involved in compliance analysis of business operations. Hence, these experts need a common understanding of the business processes for effective compliance management. In this paper, we argue that the generation of process templates out of compliance requirements can be used as a basis for negotiation among business and compliance experts. Being compliant by design, these templates might be iteratively refined by the experts to achieve both, effective and efficient business operations that are fully compliant. We introduce an automated approach to synthesize process templates out of compliance requirements expressed in linear temporal logic (LTL). As part of that, we show how general constraints related to business process execution are incorporated. Building upon existing work on process mining algorithms, our approach to synthesize process templates considers not only control-flow, but also data-flow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach.
