Awad, AhmedGore, RajeevThomson, JamesWeidlich, Matthias2015-12-08June 20-249783642216398http://hdl.handle.net/1885/36282Companies have to adhere to compliance requirements. 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 process templates generated out of compliance requirements can be used as a basis for negotiation among business and compliance experts. We introduce a semi 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.Keywords: Analysis of business process compliance specification; Business operation; Business Process; Business process execution; Compliance analysis; Compliance management; Compliance rules; Control-flow; Dataflow; General constraints; Iterative approach; Linear Analysis of business process compliance specification; Process mining; Process synthesis201110.1007/978-3-642-21640-4_312016-02-24