配置类论文

摘要

[1] Discovering block-structured process models from event logs containing infrequent behaviour (2014)

(Leemans, Sander J.J. and Fahland, Dirk and van der Aalst, Wil M.P. | )

Abstract: Given an event log describing observed behaviour, process discovery aims to find a process model that best describes this behaviour. A large variety of process discovery algorithms has been proposed. However, no existing algorithm returns a sound model in all cases (free of deadlocks and other anomalies), handles infrequent behaviour well and finishes quickly. We present a technique able to cope with infrequent behaviour and large event logs, while ensuring soundness. The technique has been implemented in ProM and we compare the technique with existing approaches in terms of quality and performance. textcopyright Springer International Publishing Switzerland 2014.

摘要： 鉴于事件日志描述了观察到的行为，过程发现旨在找到一种最佳描述此行为的过程模型。已经提出了各种各样的过程发现算法。但是，没有一种现有算法在所有情况下都返回一个声音模型（没有死锁和其他异常），能够很好地处理不频繁的行为并快速完成。我们提出了一种能够在确保稳健性的同时应对不频繁的行为和大事件日志的技术。该技术已在ProM中实现，并将该技术与现有方法进行了比较质量和性能方面。 textcopyright瑞士Springer国际出版，2014年。

下载地址 | 返回目录 | [10.1007/978-3-319-06257-0_6]

[2] A semantic framework for configurable business process as a service in the cloud (2016)

(Yongsiriwit, Karn and Assy, Nour and Gaaloul, Walid | Journal of Network and Computer Applications)

Abstract: With the advent of Cloud Computing, new opportunities for Business Process Outsourcing services have emerged. Business Process as a Service (BPaaS), a new cloud service model, has recently gained a great importance for outsourcing cloud-based business processes constructed for multi-tenancy. In such a multi-tenant environment, using configurable business process models enables the sharing of a reference process among different tenants that can be customized according to specific needs. With a large choice of configurable process modeling languages, different providers may deliver configurable processes with common functionalities but different representations which makes the process discovery and configuration a manual tedious task. This in turn creates cloud silos and vendors lock-in with non-reusable configurable BPaaS models. Therefore, with the aim of enabling the interoperability between multiple BPaaS providers, we propose in this paper a semantic framework for BPaaS configurable models. Taking advantage of Semantic Web technologies and data mining techniques, our framework allows for (1) an ontology-based high level abstract representation of BPaaS configurable models enriched with configuration guidelines and (2) an automated approach for extracting the configuration guidelines from existing process repositories. To show the feasibility and effectiveness of our approach, we extend Signavio with our semantic framework and conduct experiments on a dataset from SAP reference model.

摘要： 随着云计算的出现，业务流程外包服务出现了新的机会。业务流程即服务（BPaaS）是一种新的云服务模型，最近对于外包为多租户构建的基于云的业务流程非常重要。在这样的多租户环境中，使用可配置的业务流程模型可以在不同租户之间共享参考流程，并可以根据特定需求对其进行自定义。在可配置过程建模语言的选择范围很广的情况下，不同的提供程序可能会交付具有通用功能但具有不同表示形式的可配置过程，这使过程发现和配置成为繁琐的手动任务。反过来，这会创建云孤岛，并使供应商使用不可重用的可配置BPaaS模型进行锁定。因此，为了实现多个BPaaS提供程序之间的互操作性，我们在本文中提出了BPaaS可配置模型的语义框架。利用语义Web技术和数据挖掘技术，我们的框架允许（1）BPaaS可配置模型的基于本体的高级抽象表示，其中丰富了配置指南，并且（2）从现有过程存储库中提取配置指南的自动化方法。为了显示该方法的可行性和有效性，我们使用语义框架扩展了Signavio并在SAP参考模型的数据集上进行了实验。

下载地址 | 返回目录 | [10.1016/j.jnca.2015.07.007]

[3] An Automated Approach for Assisting the Design of Configurable Process Models (2015)

(Assy, Nour and Chan, Nguyen Ngoc and Gaaloul, Walid | IEEE Transactions on Services Computing)

Abstract: With the intention of design by reuse, configurable process models provide a way to model variability in reference models that need to be configured according to specific needs. The design of configurable process models is a well known complex and error-prone task. Thus, many approaches have been proposed to automate their design by merging existing process models into configurable reference models. However, the complexity introduced by such approaches remains an open issue. The designer ends up with one model that integrates a family of process variants making the process design and update a complex task. In this work, we propose to assist the design of configurable process models with configurable process fragments. Concretely, we present an algorithm for extracting, clustering and merging process fragments around a particular activity to construct a configurable fragment. The approach has been implemented as an extension of the Signavio Process Editor and evaluated against a large collection of process models. Experimental results show that our approach is efficient and produces comprehensible configurable fragments.

摘要： 出于通过重用进行设计的目的，可配置的过程模型提供了一种对需要根据特定需求进行配置的参考模型中的可变性进行建模的方法。可配置过程模型的设计是众所周知的复杂且容易出错的任务。因此，已经提出了许多通过将现有过程模型合并为可配置参考模型来使其设计自动化的方法。但是，这种方法引入的复杂性仍然是一个未解决的问题。设计人员最终得到一个模型，该模型集成了一系列流程变体，从而使流程设计和更新复杂的任务成为可能。在这项工作中，我们建议使用可配置过程片段来协助可配置过程模型的设计。具体而言，我们提出了一种算法，用于围绕特定活动提取，聚类和合并流程片段，以构造可配置的片段。该方法已实现为Signavio Process Editor的扩展，并针对大量过程模型进行了评估。实验结果表明，我们的方法是有效的，并且可以产生可理解的可配置片段。

下载地址 | 返回目录 | [10.1109/TSC.2015.2477815]

[4] An Automated Approach for Assisting the Design of Configurable Process Models (2015)

(Assy, Nour and Chan, Nguyen Ngoc and Gaaloul, Walid | IEEE Transactions on Services Computing)

下载地址 | 返回目录 | [10.1109/TSC.2015.2477815]

[5] Assisting business process design by activity neighborhood context matching (2012)

(Chan, Nguyen Ngoc and Gaaloul, Walid and Tata, Samir | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Abstract: Speeding up the business process design phase is a crucial challenge in recent years. Some solutions, such as defining and using reference process models or searching similar processes to a working one, can facilitate the designers work. However, recommending the whole process can make the designer confused, especially in case of large-size business processes. In this paper, we introduce the concept of activity neighborhood context in order to propose an approach that fasten the design phase regardless the size of business process. Concretely, we recommend the designer the activities that are close to the designing process from existing business processes. We evaluate our approach on a large collection of public business processes. Experimental results show that our approach is feasible and efficient. textcopyright Springer-Verlag Berlin Heidelberg 2012.

摘要： 近年来，加快业务流程设计阶段是一个严峻的挑战。某些解决方案，例如定义和使用参考流程模型或搜索与工作流程相似的流程，可以简化设计人员的工作。但是，建议整个流程可以本文特别介绍了活动邻域上下文的概念，以提出一种无论业务流程大小如何均可加快设计阶段的方法，尤其是在大型业务流程的情况下。对现有业务流程中与设计流程接近的活动进行设计；我们在大量公共业务流程中评估我们的方法；实验结果表明，该方法是可行且有效的。 textcopyright Springer-Verlag Berlin Heidelberg 2012 。

下载地址 | 返回目录 | [10.1007/978-3-642-34321-6-38]

[6] Assisting business process design with configurable process fragments (2013)

(Assy, Nour and Chan, Nguyen Ngoc and Gaaloul, Walid | Proceedings - IEEE 10th International Conference on Services Computing, SCC 2013)

Abstract: In recent years, many approaches have been proposed to facilitate business process design. They attempted to measure the similarity between business processes, merge business process models, mine event logs or recommend activities. In this paper, we present a merging approach that also aims at facilitating business process design. However, instead of merging business process models, we merge process fragments around a particular activity to construct a consolidated fragment for each activity. This consolidated fragment is presented as a configurable sub-process which allows process designers to overview the interactions of an activity and configure them to create business process variants according to particular requirements. The approach has been implemented as an application and tested against a large collection of business process models taken from different domains. Experimental results show that our approach produces concise and efficient configurable fragments. textcopyright 2013 IEEE.

摘要： 近年来，已经提出了许多方法来促进业务流程设计。他们试图衡量业务流程之间的相似性，合并业务流程模型，挖掘事件日志或推荐活动。在本文中，我们提出了一种合并方法，该方法还旨在促进业务流程设计。但是，我们不是合并业务流程模型，而是合并特定活动周围的流程片段，以为每个活动构建合并的片段。该合并的片段作为可配置的子流程呈现，该流程允许流程设计者概述活动的交互并配置它们以根据特定要求创建业务流程变体。该方法已实现为应用程序，并针对来自不同领域的大量业务流程模型进行了测试。实验结果表明，我们的方法可以生成简洁高效的可配置片段。 textcopyright 2013 IEEE。

下载地址 | 返回目录 | [10.1109/SCC.2013.97]

[7] Consistent Abstraction of Business Processes Based on Constraints (2015)

(Mafazi, Shamila and Grossmann, Georg and Mayer, Wolfgang and Schrefl, Michael and Stumptner, Markus | Journal on Data Semantics)

Abstract: Exploring and understanding large business process models are important tasks in the context of business process management. In recent years, several techniques have been proposed for the abstraction of business processes. Automated abstraction techniques have been devised for verifying correctness and consistency of process models and for providing customised process views for business process analysts. Yet a goal-focused and semantic-based approach to generate purposeful abstraction of business processes is an open issue. We propose an approach for configuration of process abstractions with respect to a specific abstraction goal expressed as constraints on the correspondence relation between concrete and abstract process and process transformation operators. Our framework goes beyond simple structural aggregation and leverages domain-specific properties, taxonomies, meronymy, and flow criteria to generate a hierarchy of abstract process models. We outline the constraint-based framework, describe how rewriting-based abstraction mechanisms are embedded with consistency criteria guiding the search for abstractions, and show how notions of behaviour consistency can be utilised to obtain abstractions that conform to behavioural process inheritance criteria.

摘要： 探索和理解大型业务流程模型是业务流程管理中的重要任务。近年来，已经提出了几种抽象业务流程的技术。已经设计了自动化抽象技术，以验证流程模型的正确性和一致性，并为业务流程分析师提供自定义的流程视图。然而，以目标为中心且基于语义的方法来生成业务流程的有目的抽象是一个未解决的问题。我们提出了一种针对特定抽象目标配置流程抽象的方法，该抽象目标表示为对具体流程和抽象流程以及流程转换运算符之间的对应关系的约束。我们的框架超越了简单的结构聚合，并利用了特定于域的属性，分类法，代名词和流准则来生成抽象过程模型的层次结构。我们概述了基于约束的框架，描述了如何将基于重写的抽象机制与指导搜索抽象的一致性标准嵌入在一起，并展示了如何使用行为一致性的概念来获取符合行为过程继承标准的抽象。

下载地址 | 返回目录 | [10.1007/s13740-014-0039-3]

[8] Detecting approximate clones in business process model repositories (2015)

(La Rosa | Information Systems)

Abstract: Empirical evidence shows that repositories of business process models used in industrial practice contain significant amounts of duplication. This duplication arises for example when the repository covers multiple variants of the same processes or due to copy-pasting. Previous work has addressed the problem of efficiently retrieving exact clones that can be refactored into shared subprocess models. This paper studies the broader problem of approximate clone detection in process models. The paper proposes techniques for detecting clusters of approximate clones based on two well-known clustering algorithms: DBSCAN and Hierarchical Agglomerative Clustering (HAC). The paper also defines a measure of standardizability of an approximate clone cluster, meaning the potential benefit of replacing the approximate clones with a single standardized subprocess. Experiments show that both techniques, in conjunction with the proposed standardizability measure, accurately retrieve clusters of approximate clones that originate from copy-pasting followed by independent modifications to the copied fragments. Additional experiments show that both techniques produce clusters that match those produced by human subjects and that are perceived to be standardizable.

摘要： 经验证据表明，工业实践中使用的业务流程模型存储库包含大量重复项。例如，当存储库涵盖同一流程的多个变体或由于复制粘贴时，就会出现这种重复。先前的工作解决了有效检索可重构为共享子流程模型的精确克隆的问题。本文研究过程模型中近似克隆检测的广泛问题。本文提出了基于两种众所周知的聚类算法：DBSCAN和层次聚类聚类（HAC）的近似克隆聚类检测技术。本文还定义了近似克隆群集的标准化程度的度量，这意味着用单个标准化子过程替换近似克隆的潜在好处。实验表明，这两种技术结合所提出的标准化措施，都能准确地检索出近似复制的簇，这些簇起源于复制粘贴，然后对复制的片段进行了独立的修饰。其他实验表明，两种技术都能产生与人类受试者产生的簇相匹配的簇，并且被认为是可标准化的。

下载地址 | 返回目录 | [10.1016/j.is.2014.11.010]

[9] Discovering block-structured process models from event logs - A constructive approach (2013)

(Leemans, Sander J.J. and Fahland, Dirk and Van Der Aalst | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Abstract: Process discovery is the problem of, given a log of observed behaviour, finding a process model that best describes this behaviour. A large variety of process discovery algorithms has been proposed. However, no existing algorithm guarantees to return a fitting model (i.e., able to reproduce all observed behaviour) that is sound (free of deadlocks and other anomalies) in finite time. We present an extensible framework to discover from any given log a set of block-structured process models that are sound and fit the observed behaviour. In addition we characterise the minimal information required in the log to rediscover a particular process model. We then provide a polynomial-time algorithm for discovering a sound, fitting, block-structured model from any given log; we give sufficient conditions on the log for which our algorithm returns a model that is language-equivalent to the process model underlying the log, including unseen behaviour. The technique is implemented in a prototypical tool. textcopyright 2013 Springer-Verlag.

摘要： 过程发现是给定观察到的行为的记录的问题，它找到了一个最佳描述这种行为的过程模型。已经提出了各种各样的过程发现算法。但是，现有的算法不能保证返回拟合模型（即，能够重现所有观察到的行为）在有限时间内是健全的（没有死锁和其他异常）。此外，我们描述了日志中重新发现特定过程模型所需的最少信息，然后提供了多项式时间算法来从任何给定日志中发现声音，拟合，块结构模型；我们给出了充分的条件我们的算法为其返回的日志所使用的模型与该日志所基于的过程模型在语言上等效，包括看不见的行为。校准工具。 textcopyright 2013 Springer-Verlag。

下载地址 | 返回目录 | [10.1007/978-3-642-38697-8_17]

[10] Generating optimized configurable business process models in scenarios subject to uncertainty (2015)

(Jimenez-Ramirez, Andres and Weber, Barbara and Barba, Irene and Del Valle | Information and Software Technology)

Abstract: Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is essential for enhancing the management of business processes. However, such modeling is typically carried out manually. This is already challenging and time consuming when (1) input uncertainty exists, (2) activities are related, and (3) resource allocation has to be considered. When including optimization requirements regarding flexibility and robustness it becomes even more complicated potentially resulting into non-optimized models, errors, and lack of flexibility. Objective: To facilitate the human work and to improve the resulting models in scenarios subject to uncertainty, we propose a software-supported approach for automatically creating configurable business process models from declarative specifications considering all the aforementioned requirements. Method: First, the scenario is modeled through a declarative language which allows the analysts to specify its variability and uncertainty. Thereafter, a set of optimized enactment plans (each one representing a potential execution alternative) are generated from such a model considering the input uncertainty. Finally, to deal with this uncertainty during run-time, a flexible configurable business process model is created from these plans. Results: To validate the proposed approach, we conduct a case study based on a real business which is subject to uncertainty. Results indicate that our approach improves the actual performance of the business and that the generated models support most of the uncertainty inherent to the business. Conclusions: The proposed approach automatically selects the best part of the variability of a declarative specification. Unlike existing approaches, our approach considers input uncertainty, the optimization of multiple objective functions, as well as the resource and the control-flow perspectives. However, our approach also presents a few limitations: (1) it is focused on the control-flow and the data perspective is only partially addressed and (2) model attributes need to be estimated.

摘要： 上下文：业务流程模型的质量（即捕获业务组织单位之间关系的软件工件）的质量对于增强业务流程的管理至关重要。但是，这种建模通常是手动进行的。当（1）输入不确定性存在，（2）活动相关并且（3）必须考虑资源分配时，这已经具有挑战性和耗时。当包括关于灵活性和健壮性的优化要求时，它甚至变得更加复杂，并可能导致未优化的模型，错误和缺乏灵活性。目的：为了在不确定的情况下促进人工工作并改进所得模型，我们提出了一种软件支持的方法，该方法可以根据声明的规范自动创建可配置的业务流程模型，同时考虑所有上述要求。方法：首先，该场景通过一种声明性语言建模，该语言允许分析人员指定其可变性和不确定性。此后，考虑到输入不确定性，从这样的模型中生成了一组优化的制定计划（每个代表一个潜在的执行选择）。最后，为了在运行时解决这种不确定性，将根据这些计划创建一个灵活的可配置业务流程模型。结果：为了验证所提出的方法，我们基于存在不确定性的真实业务进行了案例研究。结果表明，我们的方法提高了业务的实际绩效，并且生成的模型支持了业务固有的大多数不确定性。结论：所提出的方法自动选择了说明性规范可变性的最佳部分。与现有方法不同，我们的方法考虑输入不确定性，多个目标函数的优化以及资源和控制流的观点。但是，我们的方法也存在一些局限性：（1）它专注于控制流，并且仅部分解决了数据透视图；（2）需要估计模型属性。

下载地址 | 返回目录 | [10.1016/j.infsof.2014.06.006]

[11] Generating optimized configurable business process models in scenarios subject to uncertainty (2015)

(Jimenez-Ramirez, Andres and Weber, Barbara and Barba, Irene and Del Valle | Information and Software Technology)

下载地址 | 返回目录 | [10.1016/j.infsof.2014.06.006]

[12] Improving Business Process Models Using Observed Behavior (2013)

(Buijs, J. C.A.M. and La Rosa | Lecture Notes in Business Information Processing)

Abstract: Process-aware information systems (PAISs) can be configured using a reference process model, which is typically obtained via expert interviews. Over time, however, contextual factors and system requirements may cause the operational process to start deviating from this reference model. While a reference model should ideally be updated to remain aligned with such changes, this is a costly and often neglected activity. We present a new process mining technique that automatically improves the reference model on the basis of the observed behavior as recorded in the event logs of a PAIS. We discuss how to balance the four basic quality dimensions for process mining (fitness, precision, simplicity and generalization) and a new dimension, namely the structural similarity between the reference model and the discovered model. We demonstrate the applicability of this technique using a real-life scenario from a Dutch municipality. textcopyright International Federation for Information Processing 2013.

摘要： 过程感知信息系统（PAIS）可以使用参考过程模型进行配置，该模型通常是通过专家访谈获得的。但是，随着时间的流逝，上下文因素和系统要求可能会导致操作过程开始偏离该参考模型。虽然理想情况下应该更新参考模型以与此类更改保持一致，但这是一项代价高昂且经常被忽略的活动。我们提出了一种新的过程挖掘技术，该技术可以根据PAIS事件日志中记录的观察到的行为自动改进参考模型。我们讨论了如何平衡过程挖掘的四个基本质量维度（适应性，精度，简单性和泛化）和一个新维度，即参考模型和发现的模型之间的结构相似性。我们使用荷兰市政当局的真实场景演示了此技术的适用性。 textcopyright 2013年国际信息处理联合会。

下载地址 | 返回目录 | [10.1007/978-3-642-40919-6_3]

[13] Individualization of process model from configurable process model constructed in C-BPMN (2015)

(Sharma, Deepak Kumar and Hitesh and Rao, Varun | International Conference on Computing, Communication and Automation, ICCCA 2015)

Abstract: Enterprise Systems of a domain, similarity and de similarity exist in various business processes from one organization, project or industry to another. The existing de - similarity points are considered as variability point and used to construct configurable process model. We have proposed our configurable process model to capture variability of process model as an extension of BPMN namely, configurable BPMN. As per the organization need, configurable process model can be individualized. In this paper we are proposing a set of operation need to individualized configurable process model constructed by C-BPMN. We are also comparing our approach (C-BPMN) with existing Configurable Event Process Chain (C-EPC).

摘要： 从一个组织，项目或行业到另一组织，项目或行业的各种业务流程中都存在领域，相似性和相似性的企业系统。现有的非相似点被视为可变点，并用于构造可配置的过程模型。我们提出了可配置过程模型，以捕获过程模型的可变性，作为BPMN的扩展，即可配置BPMN。根据组织的需要，可以对可配置的流程模型进行个性化设置。在本文中，我们针对由C-BPMN构建的个性化可配置过程模型提出了一套操作需求。我们还将我们的方法（C-BPMN）与现有的可配置事件过程链（C-EPC）进行比较。

下载地址 | 返回目录 | [10.1109/CCAA.2015.7148510]

[14] Managing Configurable Business Process as a Service to Satisfy Client Transactional Requirements (2015)

(Bourne, Scott and Szabo, Claudia and Sheng, Quan Z. | Proceedings - 2015 IEEE International Conference on Services Computing, SCC 2015)

Abstract: Business Process as a Service (BPaaS) has emerged in recent years as a new paradigm for hosting and offering complex business operations using a cloud service delivery model. BPaaS providers can increase the diversity of their market by enabling their services to be configured to meet individual client needs. However, in order for the clients to trust external services for sensitive business processes, they must be assured that the transactional integrity of the service complies with their own business policies. To provide this trust, we propose a BPaaS configuration method that allows clients to ensure their transactional requirements will not be violated, while configuring the activities, resources, and data objects used in the service. Clients formalize transactional requirements using an expressive and easy-to-use template set. The service is then configured and verified in a three-step process that applies binary decision diagram analysis and model checking. An experimental study using a configurable Web store checkout BPaaS demonstrates the feasibility of our approach. Our state space reduction methods allow verification of models with hundreds of configurable features and requirements.

摘要： 业务流程即服务（BPaaS）近年来已经出现，它是使用云服务交付模型托管和提供复杂业务运营的新范例。 BPaaS提供商可以通过配置其服务以满足个人客户的需求来增加其市场的多样性。但是，为了使客户信任用于敏感业务流程的外部服务，必须确保他们的服务交易完整性符合其自己的业务策略。为了提供这种信任，我们提出了一种BPaaS配置方法，该方法允许客户端确保在配置服务中使用的活动，资源和数据对象时不会违反其事务要求。客户使用表现力强且易于使用的模板集来规范交易需求。然后，在应用二进制决策图分析和模型检查的三步过程中配置和验证该服务。使用可配置的Web商店结帐BPaaS进行的实验研究证明了我们方法的可行性。我们的状态空间缩减方法可以验证具有数百种可配置功能和需求的模型。

下载地址 | 返回目录 | [10.1109/SCC.2015.30]

[15] Merging business process variants (2011)

(Derguech, Wassim and Bhiri, Sami | Lecture Notes in Business Information Processing)

Abstract: We propose in this paper a merging algorithm for integrating a set of process variants into a single configurable process model. This integrated process model should (i) subsume the behaviours of all original models, (ii) ensure a trace back of the origin of each element and (iii) derive any of the input models by means of configuration and individualization. Existing solutions either fail in respecting all these requirements or allow for merging only pairs of process models. However, our algorithm allows for merging a set of process models at once. textcopyright 2011 Springer-Verlag.

摘要： 我们在本文中提出了一种合并算法，用于将一组过程变量集成到单个可配置过程模型中。这个集成的过程模型应该（i）包含所有原始模型的行为，（ii）确保追溯每个元素的来源，并且（iii）通过配置和个性化导出任何输入模型。现有解决方案要么无法满足所有这些要求，要么仅允许合并成对的流程模型。但是，我们的算法允许一次合并一组过程模型。 textcopyright 2011 Springer-Verlag。

下载地址 | 返回目录 | [10.1007/978-3-642-21863-7_8]

[16] Ontology-based configuration for service-based business process model (2013)

(Huang, Ying and Feng, Zaiwen and He, Keqing and Huang, Yiwang | Proceedings - IEEE 10th International Conference on Services Computing, SCC 2013)

Abstract: Configurable process models can be used to provide information on business processes for different user groups in an appropriate and efficient manner. It promotes the reuse of proven practices by providing analysts with a generic modeling artifact from which to derive individual process models. Before a configurable business process being configured into a concrete business process model, the variability points of the configurable business process need to be identified. The decision on how to bind these variation points boils down to the users requirements and needs. Given the specified requirements of the users, the configurable business process can be configured. In the paper, we propose a framework for carrying out automatic service-based business process configuration by using SWRL based business rules. We design and implement a variation point ontology, in which the guidelines of variable points are presented by SWRL rules. We also summarize a set of domain-specific business rules too, thus we can use these domain-specific rules to get the specific rules needed to meet users requirements. We exploit domain ontology as knowledge base and rules as guideline to configure business process, for the purpose of individual configuration. Then we employ a configuration algorithm to configure a configurable business process depending on the reference result we obtain. The approach is validated by a case study from the domain of the urban logistics distribution. textcopyright 2013 IEEE.

摘要： 可配置的流程模型可用于以适当和有效的方式为不同的用户组提供有关业务流程的信息。它通过为分析师提供可从中推导单个流程模型的通用建模工件，促进了已实践证明的重用。将可配置的业务流程配置为一个具体的业务流程模型，需要确定可配置的业务流程的可变性点，有关如何绑定这些变化点的决定归结为用户的要求和需求。用户，可以配置可配置的业务流程，在本文中，我们提出了一个框架，该流程可以使用基于SWRL的业务规则来执行基于服务的自动业务流程配置，并设计和实现一个变异点本体，其中变量准则点由SWRL规则提供，我们还总结了一组特定领域的业务规则同样，因此，我们可以使用这些特定于域的规则来获取满足用户要求所需的特定规则。我们以领域本体为基础，以规则为准则来配置业务流程，以进行单独配置。然后，我们使用配置算法根据获得的参考结果配置可配置的业务流程。通过城市物流配送领域的案例研究验证了该方法。 textcopyright 2013 IEEE。

下载地址 | 返回目录 | [10.1109/SCC.2013.59]

[17] Predicting change propagation impacts in collaborative business processes (2014)

(Fdhila, Walid and Rinderle-Ma, Stefanie | Proceedings of the ACM Symposium on Applied Computing)

Abstract: During the life cycle of a Business-to-Business (B2B) collaboration, companies may need to redesign or change parts of their service orchestrations. A change request proposed by one partner will, in most cases, result in changes to other partner orchestration. An accurate prediction of the behavior of a change request and an analysis of its impacts on the collaboration allows to avoid significant costs related to unsuccessful propagation, e.g. negotiation fail. This paper focuses on predicting the likelihood of a change request propagation as well as its ripple effects on the overall collaboration. To estimate these values, the approach analyses the collaboration structure through a priori analysis. We will show how the prediction models can be specified and implemented within a proof-of-concept prototype. Discussion will be provided on visualization possibilities and model validation. Copyright 2014 ACM.

摘要： 在企业对企业（B2B）协作的生命周期中，公司可能需要重新设计或更改其业务流程的一部分。在大多数情况下，一个合作伙伴提出的变更请求将导致其他合作伙伴业务流程的变更。变更请求的行为的准确预测及其对协作影响的分析可以避免与不成功的传播相关的大量成本，例如谈判失败。本文着重于预测变更请求传播的可能性及其对整体协作的连锁反应。为了估计这些值，该方法通过先验分析来分析协作结构。我们将展示如何在概念验证原型中指定和实现预测模型。将提供有关可视化可能性和模型验证的讨论。版权所有2014 ACM。

下载地址 | 返回目录 | [10.1145/2554850.2554966]

[18] Preface: 9th International workshop on business process intelligence (BPI 2013) (2014)

(van der Aalst, Wil and de Medeiros, Ana Karla Alves and Benatallah, Boualem and Gaaloul, Walid and Greco, Gianluigi and Grigori, Daniela and Guzzo, Antonella and Leyer, Michael and Mendling, Jan and Pastor, Oscar and Popova, Viara and Reichert, Manfred and Rosemann, Michael and Rozinat, Anne and Sacca, Domenico and Soffer, Phina and Sperduti, Alessandro and Weigand, Hans and Weske, Mathias | Lecture Notes in Business Information Processing)

Abstract: Compliance specifications concisely describe selected aspects of what a business operation should adhere to. To enable automated techniques for compliance checking, it is important that these requirements are specified correctly and precisely, describing exactly the behavior intended. Although there are rigorous mathematical formalisms for representing compliance rules, these are often perceived to be difficult to use for business users. Regardless of notation, however, there are often subtle but important details in compliance requirements that need to be considered. The main challenge in compliance checking is to bridge the gap between informal description and a precise specification of all requirements. In this paper, we present an approach which aims to facilitate creating and understanding formal compliance requirements by providing configurable templates that capture these details as options for commonly-required compliance requirements. These options are configured interactively with end-users, using question trees and natural language. The approach is implemented in the Process Mining Toolkit ProM. textcopyright Springer International Publishing Switzerland 2014.

摘要： 合规性规范简要描述了业务运营应遵循的某些方面。为了启用用于合规性检查的自动化技术，正确，准确地指定这些要求并准确描述预期的行为非常重要。尽管存在严格的数学形式主义来表示合规性规则，但通常认为这些规则对商业用户而言很难使用。但是，无论使用什么符号，合规要求中通常都需要考虑一些细微但重要的细节。符合性检查的主要挑战是弥合非正式描述与所有要求的精确规范之间的鸿沟。在本文中，我们提出一种方法，旨在通过提供可配置的模板来促进创建和理解正式的合规性要求，该模板将这些详细信息捕获为常见要求的合规性要求的选项。这些选项是使用问题树和自然语言与最终用户交互配置的。该方法在Process Mining Toolkit ProM中实现。 textcopyright瑞士Springer国际出版社，2014年。

下载地址 | 返回目录 | [10.1007/978-3-319-06257-0]

[19] Preserving correctness during business process model configuration (2010)

(Van Der Aalst | Formal Aspects of Computing)

Abstract: A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.

摘要： 可配置的流程模型在单个工件中捕获了一系列相关的流程模型。此类模型旨在进行配置以满足特定组织或项目的要求，从而生成个性化的流程模型，随后将其用于领域分析或解决方案设计。本文提供了一个正式的基础，用于在保留语法和行为语义方面的正确性的同时，逐步个性化可配置过程模型。具体而言，假设可配置过程模型在行为上是合理的，则可以保证个性化的过程模型是合理的。该理论首先在Petri网络的背景下发展，然后扩展到实践中广泛使用的过程建模符号，即事件驱动的过程链。

下载地址 | 返回目录 | [10.1007/s00165-009-0112-0]

[20] Process discovery: Automated approach for block discovery (2014)

(Boushaba, Souhail and Kabbaj, Mohammed Issam and Bakkoury, Zohra | ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering)

Abstract: Process mining is a set of techniques helping enterprises to avoid process modeling which is a time-consuming and error prone task. Process mining includes three topics: process discovery, conformance checking, and enhancement (IEEE Task Force on Process Mining: Process Mining Manifesto, 2012). The principle of process discovery is to extract information from event logs to capture the business process as it is being executed. Several techniques in literature ( $alpha$ algorithm, $alpha$ + algorithm and others) can be applied to discover a process model from a workflow log. However, as the amount of information grows exponentially, the log files (input of a process discovery algorithm) get bigger. In fact, classical techniques, which inspect relation between each couple of tasks will have problem dealing with big data. To this end, we introduced in (Boushaba et al., 2013) a new approach aiming to extract a block of tasks from event logs. In this paper, we present a new algorithm, based on a matrix representation, to detect a block of tasks. In addition, we develop an application to automate our technique.

摘要： 过程挖掘是帮助企业避免过程建模的一组技术，这是一项耗时且容易出错的任务。流程挖掘包括三个主题：流程发现，一致性检查和增强（IEEE流程挖掘任务组：流程挖掘宣言，2012年）。流程发现的原理是从事件日志中提取信息，以捕获正在执行的业务流程。可以应用文献中的几种技术（$ alpha $算法，$ alpha $ +算法等）来从工作流日志中发现过程模型。但是，随着信息量呈指数增长，日志文件（过程发现算法的输入）变得更大。实际上，检查每两个任务之间关系的经典技术在处理大数据时会遇到问题。为此，我们在（Boushaba等，2013）中引入了一种新方法，旨在从事件日志中提取任务块。在本文中，我们提出了一种基于矩阵表示的新算法来检测任务块。此外，我们开发了一个应用程序来自动化我们的技术。

下载地址 | 返回目录 | []

[21] Replaying history on process models for conformance checking and performance analysis (2012)

(Van der Aalst | Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery)

Abstract: Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottlenecks, decisions, and resource usage. These techniques are driven by observed events rather than hand-made models. Event logs are used to learn and enrich process models. By replaying history using the model, it is possible to establish a precise relationship between events and model elements. This relationship can be used to check conformance and to analyze performance. For example, it is possible to diagnose deviations from the modeled behavior. The severity of each deviation can be quantified. Moreover, the relationship established during replay and the timestamps in the event log can be combined to show bottlenecks. These examples illustrate the importance of maintaining a proper alignment between event log and process model. Therefore, we elaborate on the realization of such alignments and their application to conformance checking and performance analysis. textcopyright 2012 Wiley Periodicals, Inc.

摘要： 过程挖掘技术使用事件数据来发现过程模型，检查预定义过程模型的一致性，并使用有关瓶颈，决策和资源使用的信息来扩展此类模型。这些技术是由观察到的事件而不是手工模型驱动的。事件日志用于学习和丰富过程模型。通过使用模型重播历史记录，可以在事件和模型元素之间建立精确的关系。此关系可用于检查一致性并分析性能。例如，可以诊断与建模行为的偏差。每个偏差的严重程度可以量化。此外，可以将重播期间建立的关系与事件日志中的时间戳进行组合以显示瓶颈。这些示例说明了在事件日志和流程模型之间保持正确对齐的重要性。因此，我们详细介绍了此类比对的实现及其在一致性检查和性能分析中的应用。 textcopyright 2012 Wiley Periodicals，Inc.

下载地址 | 返回目录 | [10.1002/widm.1045]

[22] Replaying history on process models for conformance checking and performance analysis (2012)

(Van der Aalst | Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery)

下载地址 | 返回目录 | [10.1002/widm.1045]

[23] Smart Business Process Management over Social Networks: Mechanism and Implementation (2015)

(Liu, Yuechang and Tang, Yong and Ke, Muchao and Fang, Yishan | International Journal of u- and e-Service, Science and Technology)

Abstract: Business Process Management (BPM) has gained great success in business and industry. However, business processes and workflow has been greatly changed by the emergence of social network media in recent years. It is necessary to study a mechanism of the seamless integration of BPM tools with existing social network platforms. This paper aims at building a social BPM system at the minimum cost on multiple existing popular public social networks. An integrated social BPM mechanism is proposed and implemented through abstract social network definition, abstract definition of BPM with Event-Driven Process Chains (EPC) model and open platforms of the social networks. The mechanism has the merits of stand-alone design, seamless integration and crossing platforms. Under the support of the mechanism people achieve seamless collaboration on public social networks.

摘要： 业务流程管理（BPM）在商业和行业中取得了巨大的成功。但是，近年来，社交网络媒体的出现极大地改变了业务流程和工作流程。有必要研究将BPM工具与现有社交网络平台无缝集成的机制。本文旨在以最低的成本在多个现有的流行公共社交网络上构建社交BPM系统。通过抽象的社交网络定义，具有事件驱动过程链（EPC）模型的BPM的抽象定义以及社交网络的开放平台，提出并实现了一种集成的社交BPM机制。该机制具有独立设计，无缝集成和跨平台的优点。在该机制的支持下，人们可以在公共社交网络上实现无缝协作。

下载地址 | 返回目录 | [10.14257/ijunesst.2015.8.10.29]

[24] To trace and guide evolution in configurable process models (2013)

(Sbai, Hanae and Fredj, Mounia and Kjiri, Laila | Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA)

Abstract: Today, research on business process management (BPM) outlines the importance of business process reuse through reference process models which are interested in capturing common practices of organizations. Consequently, reusing these reference process models stresses the necessity of managing a set of process variants. In this context, configurable process model solutions have been developed to facilitate customization of business process in a specific scenario. However, configurable process model should evolve in order to meet new business requirements. To address this issue, we propose a process patterns based approach for leading configurable process model evolution. For supporting traceability of the transition from a given version of a configurable process model to another, an evolution metamodel has been defined. In this paper, we present i) only one pattern of our proposed patterns system, the Activity substitution process pattern, and ii) a proposition of the evolution metamodel. textcopyright 2013 IEEE.

摘要： 今天，对业务流程管理（BPM）的研究概述了通过参考流程模型重用业务流程的重要性，这些参考流程模型对捕获组织的通用做法很感兴趣。因此，重用这些参考过程模型强调了管理一组过程变量的必要性。在这种情况下，已经开发了可配置的流程模型解决方案，以促进特定情况下业务流程的定制。但是，应发展可配置的流程模型以满足新的业务需求。为了解决这个问题，我们提出了一种基于过程模式的方法来引导可配置过程模型的发展。为了支持从可配置过程模型的给定版本到另一个版本的过渡的可追溯性，已定义了演化元模型。在本文中，我们提出i）我们提议的模式系统中的仅一种模式，即活动替换过程模式，以及ii）演化元模型的命题。 textcopyright 2013 IEEE。

下载地址 | 返回目录 | [10.1109/AICCSA.2013.6616476]

中文摘要仅供参考