[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-1-en-105":3,"doc-seo-243129-105":53,"doc-detail-243129-en":126},{"code":4,"msg":5,"data":6},0,"success",[7,14,19,24,29,34,39,44,49],{"id":8,"doc_module":9,"doc_module_name":10,"category_name":11,"show_sort_weight":12,"slug":13},11,1,"Template","Presentations",90,"presentations",{"id":15,"doc_module":9,"doc_module_name":10,"category_name":16,"show_sort_weight":17,"slug":18},12,"Resumes",80,"resumes",{"id":20,"doc_module":9,"doc_module_name":10,"category_name":21,"show_sort_weight":22,"slug":23},14,"Invoices",70,"invoices",{"id":25,"doc_module":9,"doc_module_name":10,"category_name":26,"show_sort_weight":27,"slug":28},15,"Posters",60,"posters",{"id":30,"doc_module":9,"doc_module_name":10,"category_name":31,"show_sort_weight":32,"slug":33},16,"Social Media",50,"social-media",{"id":35,"doc_module":9,"doc_module_name":10,"category_name":36,"show_sort_weight":37,"slug":38},17,"Forms",40,"forms",{"id":40,"doc_module":9,"doc_module_name":10,"category_name":41,"show_sort_weight":42,"slug":43},18,"Letters",30,"letters",{"id":45,"doc_module":9,"doc_module_name":10,"category_name":46,"show_sort_weight":47,"slug":48},21,"Paper Templates",5,"papers-templates",{"id":50,"doc_module":9,"doc_module_name":10,"category_name":51,"show_sort_weight":4,"slug":52},158,"General","general-158",{"code":4,"msg":54,"data":55},"ok",{"site_id":56,"language":57,"slug":58,"title":59,"keywords":60,"description":61,"schema_data":62,"social_meta":119,"head_meta":121,"extra_data":123,"updated_unix":125},105,"en","an-iterative-approach-to-synthesize-business-process-templates-from-compliance-rules-read-and-apply","An Iterative Approach to Synthesize Business Process Templates from Compliance Rules - read and apply","","Companies must comply with regulatory and internal requirements, yet compliance analysis is often a joint effort requiring business and compliance experts to share a consistent understanding of processes. This paper introduces a semi-automated iterative technique that synthesizes process templates from compliance requirements expressed in Linear Temporal Logic (LTL). It integrates generic execution constraints, identifies underspecification, and outlines iterative refinement to reach complete specifications, leveraging process mining and restructuring while accounting for control- and data-flow dependencies.",{"@graph":63,"@context":118},[64,80,101],{"@type":65,"itemListElement":66},"BreadcrumbList",[67,71,74,77],{"item":68,"name":69,"@type":70,"position":9},"https://docshare.wps.com","Home","ListItem",{"item":72,"name":10,"@type":70,"position":73},"https://docshare.wps.com/template/",2,{"item":75,"name":51,"@type":70,"position":76},"https://docshare.wps.com/template/general/",3,{"item":78,"name":59,"@type":70,"position":79},"https://docshare.wps.com/template/an-iterative-approach-to-synthesize-business-process-templates-from-compliance-rules-read-and-apply/243129/",4,{"url":78,"name":59,"@type":81,"image":82,"author":87,"headline":59,"publisher":90,"fileFormat":93,"inLanguage":57,"description":61,"dateModified":94,"datePublished":95,"encodingFormat":93,"isAccessibleForFree":96,"interactionStatistic":97},"DigitalDocument",{"url":83,"@type":84,"width":85,"height":86},"https://docshare.wps.com/thumbnails/an-iterative-approach-to-synthesize-business-process-templates-from-compliance-rules-read-and-apply/243129.png","ImageObject",442,249,{"name":88,"@type":89},"Bill Black","Person",{"url":68,"name":91,"@type":92},"DocShare","Organization","application/pdf","2026-09-20","2026-09-12",true,{"@type":98,"interactionType":99,"userInteractionCount":79},"InteractionCounter",{"@type":100},"ViewAction",{"@type":102,"mainEntity":103},"FAQPage",[104,110,114],{"name":105,"@type":106,"acceptedAnswer":107},"What is the main goal of the proposed technique?","Question",{"text":108,"@type":109},"To support the creation of a shared understanding of business processes by synthesizing process templates from compliance requirements.","Answer",{"name":111,"@type":106,"acceptedAnswer":112},"How are compliance requirements represented in the approach?",{"text":113,"@type":109},"They are expressed in Linear Temporal Logic (LTL), enabling reasoning about relative execution order without needing explicit time points.",{"name":115,"@type":106,"acceptedAnswer":116},"What does the approach do when requirements are underspecified or inconsistent?",{"text":117,"@type":109},"It checks satisfiability, diagnoses inconsistency causes when unsatisfiable, analyzes execution traces for underspecification, and suggests remedies through iterative updates by the user.","https://schema.org",{"og:url":78,"og:type":120,"og:title":59,"og:site_name":91,"og:description":61},"article",{"robots":122,"canonical":78},"index,follow",{"doc_id":124,"site_id":56},243129,1789200418,{"code":4,"msg":5,"data":127},{"doc_id":124,"user_id":128,"nickname":88,"user_avatar":129,"doc_module":9,"category_id":50,"category_name":51,"doc_title":59,"doc_description":61,"doc_content":130,"file_id":131,"file_url":132,"file_type":133,"file_size":134,"view_count":79,"is_deleted":4,"is_public":9,"is_downloadable":9,"audit_status":9,"page_count":135,"language":136,"language_code":57,"site_id":56,"html_lang":57,"table_of_contents":137,"faqs":138,"seo_title":139,"seo_description":61,"update_tm":125,"read_time":140},24189269381491,"https://ap-avatar.wpscdn.com/avatar/160000cf11732dd8392?x-image-process=image/resize,m_fixed,w_180,h_180&k=1788146458752108895","An Iterative Approach to Synthesize Business Process Templates from Compliance Rules  \nAhmed Awada , Rajeev Gorc , Zhe Houc , James Thomsonc , Matthias Weidlichb  \na Faculty of Computers and Information, Cairo University, Egypt  \nb Hasso Plattner Institute, University of Potsdam, Germany  \nc School of Computer Science, The Australian National University, Australia  \nAbstract  \nCompanies have to adhere to compliance requirements. The compliance analysis of business operations is typically a joint effort of business experts and compliance experts. Those experts need to create a common understanding of business processes to effectively conduct compliance management. In this paper, we present a technique that aims at supporting this process. We argue that process templates generated out of compliance requirements provide a basis for negotiation among business and compliance experts. We introduce a semi automated and iterative approach to the synthesis of such process templates from compliance requirements expressed in Linear Temporal Logic (LTL) . We show how generic constraints related to business process execution are incorporated and present criteria that point at underspecification. Further, we outline how such underspecification may be resolved to iteratively build up a complete specification. For the synthesis, we leverage existing work on process mining and process restructuring. However, our approach is not limited to the control-flow perspective, but also considers direct and indirect data-flow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach.  \nKeywords: Process synthesis, Analysis of business process compliance specification, Process mining  \n1. Introduction  \nCompliance management has received increasing attention in recent years. Numerous financial scandals in large companies have fostered increasing attention on compliance management and has led to legislation initiatives such as SOX [1] . When aiming to control business operations, compliance checking focuses on many different aspects of a business process, for example compliance of business requirements may restrict the order in which activities are executed. Often constraints on the execution of activities are also based on the data context, and dedicated data values may require the execution, or the absence of any execution, of an activity. There may even be restrictions on role resolution to realize a separation of duty.  \nDriven by these trends, numerous approaches have been presented to address compliance management of business processes, and they can be classified as follows. First, compliance rules may guide the design of a business process [2, 3] so that compliance is ensured by design since compliance violations are identified in the course of process model creation. Second, existing process models are verified against compliance rules [4, 5] . Given compliance requirements and a process model as input, these approaches identify violations on the process model level.  \nClearly, addressing compliance during the design of business operations has many advantages. Non-compliant processes are prevented at an early stage of process implementation and costly post-implementation compliance verification along with  \n[Email addresses:](Email addresses: a.gaafar@fci-cu.edu.eg)[ a.gaafar@fci-cu.edu.eg](Email addresses: a.gaafar@fci-cu.edu.eg) (Ahmed Awad), [Rajeev.Gore@anu.edu.au](Rajeev.Gore@anu.edu.au) (Rajeev Gor), zhe .hou@anu .edu .au (Zhe Hou), [jimmy.thomson@anu.edu.au](jimmy.thomson@anu.edu.au) (James Thomson), [matthias.weidlich@hpi.uni-potsdam.de](matthias.weidlich@hpi.uni-potsdam.de) (Matthias Weidlich)  \nroot cause analysis of non-compliance is not needed. In most cases, process models that are synthesized from compliance rules cannot be directly used for implementing a business process. Instead, they should be seen as a blueprint that is used as a basis for negotiation between busin","cbCaiu85Q6LsEDBq","https://ap.wps.com/l/cbCaiu85Q6LsEDBq","pdf",761299,22,"English","# Introduction\n## Compliance management and related approaches\n## Iterative synthesis from LTL and data-flow dependencies","[{\"question\":\"What is the main goal of the proposed technique?\",\"answer\":\"To support the creation of a shared understanding of business processes by synthesizing process templates from compliance requirements.\"},{\"question\":\"How are compliance requirements represented in the approach?\",\"answer\":\"They are expressed in Linear Temporal Logic (LTL), enabling reasoning about relative execution order without needing explicit time points.\"},{\"question\":\"What does the approach do when requirements are underspecified or inconsistent?\",\"answer\":\"It checks satisfiability, diagnoses inconsistency causes when unsatisfiable, analyzes execution traces for underspecification, and suggests remedies through iterative updates by the user.\"}]","An Iterative Approach to Synthesize Business Process Templates from Compliance Rules - read and apply | PDF",8]