[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-1-en-105":3,"doc-seo-243130-105":53,"doc-detail-243130-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-journal-article","An Iterative Approach to Synthesize Business Process Templates from Compliance Rules - Journal Article","","Companies must meet compliance requirements, making compliance analysis of business operations a joint task for business and compliance experts who need shared understanding of processes. The paper proposes a semi-automated, iterative method that synthesizes business process templates from compliance requirements written in Linear Temporal Logic (LTL). It incorporates generic execution constraints, identifies underspecification criteria, and outlines how to iteratively resolve underspecification toward complete specifications. The method leverages process mining and restructuring and accounts for control-flow and data-flow dependencies, including an implementation and application of the templates.",{"@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":11,"@type":70,"position":76},"https://docshare.wps.com/template/presentations/",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-journal-article/243130/",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-journal-article/243130.png","ImageObject",442,249,{"name":88,"@type":89},"Đào","Person",{"url":68,"name":91,"@type":92},"DocShare","Organization","application/pdf","2026-10-20","2026-09-12",true,{"@type":98,"interactionType":99,"userInteractionCount":8},"InteractionCounter",{"@type":100},"ViewAction",{"@type":102,"mainEntity":103},"FAQPage",[104,110,114],{"name":105,"@type":106,"acceptedAnswer":107},"How does the approach create shared understanding between business and compliance experts?","Question",{"text":108,"@type":109},"It generates process templates from compliance requirements, serving as a negotiation basis while allowing further refinements before implementation.","Answer",{"name":111,"@type":106,"acceptedAnswer":112},"What representation is used for compliance requirements?",{"text":113,"@type":109},"Compliance requirements are expressed in Linear Temporal Logic (LTL), enabling relative execution-order dependencies rather than fixed time points.",{"name":115,"@type":106,"acceptedAnswer":116},"How does the method handle both control-flow and data-flow aspects?",{"text":117,"@type":109},"It considers execution order dependencies and incorporates direct and indirect data-flow dependencies, not only control-flow.","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},243130,1791739075,{"code":4,"msg":5,"data":127},{"doc_id":124,"user_id":128,"nickname":88,"user_avatar":129,"doc_module":9,"category_id":8,"category_name":11,"doc_title":59,"doc_description":61,"doc_content":130,"file_id":131,"file_url":132,"file_type":133,"file_size":134,"view_count":8,"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":140,"read_time":141},1374402968488,"https://ap-avatar.wpscdn.com/davatar_29158cc5080c5b710cf443261637dec0","Information Systems 37 (2012) 714–736  \nContents lists available at SciVerse ScienceDirect  \nInformation Systems  \njournal [homepage:](homepage: www.elsevier.com/locate/infosys)[ www.elsevier.com/locate/infosys](homepage: www.elsevier.com/locate/infosys)  \nAn iterative approach to synthesize business process templates from compliance rules  \nAhmed Awada, Rajeev Gor´ec, Zhe Houc, James Thomson c, Matthias Weidlich b,n  \na Faculty of Computers and Information, Cairo University, Egypt b Hasso Plattner Institute, University of Potsdam, Germany  \nc School of Computer Science, The Australian National University, Australia  \na r t i c l e i n f o  \nAvailable online 11 May 2012  \nKeywords:  \nProcess synthesis  \nAnalysis of business process compliance speciﬁcation  \nProcess mining  \na b s t r a c t  \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 underspeciﬁcation. Further, we outline how such underspeciﬁcation may be resolved to iteratively build up a complete speciﬁcation. For the synthesis, we leverage existing work on process mining and process restructuring. However, our approach is not limited to the control-ﬂow perspective, but also considers direct and indirect data-ﬂow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach.  \n& 2012 Elsevier Ltd. All rights reserved.  \n1. Introduction  \nCompliance management has received increasing attention in recent years. Numerous ﬁnancial 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  \nn Corresponding author. Tel.: þ49 331 5509180.  \nE-mail addresses: [a.gaafar@fci-cu.edu.eg](a.gaafar@fci-cu.edu.eg) (A. Awad), [Rajeev.Gore@anu.edu.au](Rajeev.Gore@anu.edu.au) (R. Gor´e), zhe.hou@anu.edu.au (Z. Hou), [jimmy.thomson@anu.edu.au](jimmy.thomson@anu.edu.au) (J. Thomson), [matthias.weidlich@hpi.uni-potsdam.de](matthias.weidlich@hpi.uni-potsdam.de) (M. Weidlich).  \nalso 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 classiﬁed 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 identiﬁed in the course of process model creation. Second, existing process models are veriﬁed 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  \n0306-4379/$ -see front matt","cbCaijakOJtbwmmI","https://ap.wps.com/l/cbCaijakOJtbwmmI","pdf",845746,23,"English","# 1. Introduction\n## Compliance management background and approaches\n## Iterative synthesis based on LTL compliance rules","[{\"question\":\"How does the approach create shared understanding between business and compliance experts?\",\"answer\":\"It generates process templates from compliance requirements, serving as a negotiation basis while allowing further refinements before implementation.\"},{\"question\":\"What representation is used for compliance requirements?\",\"answer\":\"Compliance requirements are expressed in Linear Temporal Logic (LTL), enabling relative execution-order dependencies rather than fixed time points.\"},{\"question\":\"How does the method handle both control-flow and data-flow aspects?\",\"answer\":\"It considers execution order dependencies and incorporates direct and indirect data-flow dependencies, not only control-flow.\"}]","An Iterative Approach to Synthesize Business Process Templates from Compliance Rules - Journal Article | PDF",1789200434,8]