首页 > 最新文献

International Conference on Advanced Information Systems Engineering最新文献

英文 中文
PMDG: Privacy for Multi-Perspective Process Mining through Data Generalization PMDG:基于数据泛化的多角度过程挖掘的隐私
Pub Date : 2023-05-01 DOI: 10.48550/arXiv.2305.00960
Ryan Hildebrant, Stephan A. Fahrenkrog-Petersen, M. Weidlich, Shangping Ren
Anonymization of event logs facilitates process mining while protecting sensitive information of process stakeholders. Existing techniques, however, focus on the privatization of the control-flow. Other process perspectives, such as roles, resources, and objects are neglected or subject to randomization, which breaks the dependencies between the perspectives. Hence, existing techniques are not suited for advanced process mining tasks, e.g., social network mining or predictive monitoring. To address this gap, we propose PMDG, a framework to ensure privacy for multi-perspective process mining through data generalization. It provides group-based privacy guarantees for an event log, while preserving the characteristic dependencies between the control-flow and further process perspectives. Unlike existin privatization techniques that rely on data suppression or noise insertion, PMDG adopts data generalization: a technique where the activities and attribute values referenced in events are generalized into more abstract ones, to obtain equivalence classes that are sufficiently large from a privacy point of view. We demonstrate empirically that PMDG outperforms state-of-the-art anonymization techniques, when mining handovers and predicting outcomes.
事件日志的匿名化有助于流程挖掘,同时保护流程涉众的敏感信息。然而,现有的技术侧重于控制流的私营化。其他流程透视图,如角色、资源和对象被忽略或服从随机化,这破坏了透视图之间的依赖关系。因此,现有技术不适合高级过程挖掘任务,例如,社会网络挖掘或预测监测。为了解决这一差距,我们提出了PMDG,这是一个通过数据泛化来确保多角度过程挖掘隐私的框架。它为事件日志提供了基于组的隐私保证,同时保留了控制流和进一步流程透视图之间的特征依赖关系。与现有依赖于数据抑制或噪声插入的私有化技术不同,PMDG采用数据泛化:一种将事件中引用的活动和属性值泛化为更抽象的活动和属性值的技术,以获得从隐私角度来看足够大的等价类。我们从经验上证明,在挖掘移交和预测结果时,PMDG优于最先进的匿名化技术。
{"title":"PMDG: Privacy for Multi-Perspective Process Mining through Data Generalization","authors":"Ryan Hildebrant, Stephan A. Fahrenkrog-Petersen, M. Weidlich, Shangping Ren","doi":"10.48550/arXiv.2305.00960","DOIUrl":"https://doi.org/10.48550/arXiv.2305.00960","url":null,"abstract":"Anonymization of event logs facilitates process mining while protecting sensitive information of process stakeholders. Existing techniques, however, focus on the privatization of the control-flow. Other process perspectives, such as roles, resources, and objects are neglected or subject to randomization, which breaks the dependencies between the perspectives. Hence, existing techniques are not suited for advanced process mining tasks, e.g., social network mining or predictive monitoring. To address this gap, we propose PMDG, a framework to ensure privacy for multi-perspective process mining through data generalization. It provides group-based privacy guarantees for an event log, while preserving the characteristic dependencies between the control-flow and further process perspectives. Unlike existin privatization techniques that rely on data suppression or noise insertion, PMDG adopts data generalization: a technique where the activities and attribute values referenced in events are generalized into more abstract ones, to obtain equivalence classes that are sufficiently large from a privacy point of view. We demonstrate empirically that PMDG outperforms state-of-the-art anonymization techniques, when mining handovers and predicting outcomes.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122395011","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
CREATED: Generating Viable Counterfactual Sequences for Predictive Process Analytics 创建:为预测过程分析生成可行的反事实序列
Pub Date : 2023-03-28 DOI: 10.48550/arXiv.2303.15844
Olusanmi Hundogan, Xixi Lu, Yupei Du, H. Reijers
Predictive process analytics focuses on predicting future states, such as the outcome of running process instances. These techniques often use machine learning models or deep learning models (such as LSTM) to make such predictions. However, these deep models are complex and difficult for users to understand. Counterfactuals answer ``what-if'' questions, which are used to understand the reasoning behind the predictions. For example, what if instead of emailing customers, customers are being called? Would this alternative lead to a different outcome? Current methods to generate counterfactual sequences either do not take the process behavior into account, leading to generating invalid or infeasible counterfactual process instances, or heavily rely on domain knowledge. In this work, we propose a general framework that uses evolutionary methods to generate counterfactual sequences. Our framework does not require domain knowledge. Instead, we propose to train a Markov model to compute the feasibility of generated counterfactual sequences and adapt three other measures (delta in outcome prediction, similarity, and sparsity) to ensure their overall viability. The evaluation shows that we generate viable counterfactual sequences, outperform baseline methods in viability, and yield similar results when compared to the state-of-the-art method that requires domain knowledge.
预测性流程分析侧重于预测未来的状态,例如运行流程实例的结果。这些技术通常使用机器学习模型或深度学习模型(如LSTM)来进行此类预测。然而,这些深度模型非常复杂,用户很难理解。反事实回答“假设”的问题,用来理解预测背后的原因。例如,如果不是给客户发电子邮件,而是打电话给客户呢?这一选择会导致不同的结果吗?当前生成反事实序列的方法要么不考虑过程行为,导致生成无效或不可行的反事实过程实例,要么严重依赖领域知识。在这项工作中,我们提出了一个使用进化方法生成反事实序列的一般框架。我们的框架不需要领域知识。相反,我们建议训练一个马尔可夫模型来计算生成的反事实序列的可行性,并采用其他三种度量(结果预测的delta、相似性和稀疏性)来确保它们的整体可行性。评估表明,我们生成了可行的反事实序列,在可行性方面优于基线方法,并且与需要领域知识的最先进方法相比,产生了相似的结果。
{"title":"CREATED: Generating Viable Counterfactual Sequences for Predictive Process Analytics","authors":"Olusanmi Hundogan, Xixi Lu, Yupei Du, H. Reijers","doi":"10.48550/arXiv.2303.15844","DOIUrl":"https://doi.org/10.48550/arXiv.2303.15844","url":null,"abstract":"Predictive process analytics focuses on predicting future states, such as the outcome of running process instances. These techniques often use machine learning models or deep learning models (such as LSTM) to make such predictions. However, these deep models are complex and difficult for users to understand. Counterfactuals answer ``what-if'' questions, which are used to understand the reasoning behind the predictions. For example, what if instead of emailing customers, customers are being called? Would this alternative lead to a different outcome? Current methods to generate counterfactual sequences either do not take the process behavior into account, leading to generating invalid or infeasible counterfactual process instances, or heavily rely on domain knowledge. In this work, we propose a general framework that uses evolutionary methods to generate counterfactual sequences. Our framework does not require domain knowledge. Instead, we propose to train a Markov model to compute the feasibility of generated counterfactual sequences and adapt three other measures (delta in outcome prediction, similarity, and sparsity) to ensure their overall viability. The evaluation shows that we generate viable counterfactual sequences, outperform baseline methods in viability, and yield similar results when compared to the state-of-the-art method that requires domain knowledge.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115848864","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Learning When to Treat Business Processes: Prescriptive Process Monitoring with Causal Inference and Reinforcement Learning 学习何时处理业务流程:基于因果推理和强化学习的规定性流程监控
Pub Date : 2023-03-07 DOI: 10.48550/arXiv.2303.03572
Z. Bozorgi, M. Dumas, M. Rosa, Artem Polyvyanyy, M. Shoush, Irene Teinemaa
Increasing the success rate of a process, i.e. the percentage of cases that end in a positive outcome, is a recurrent process improvement goal. At runtime, there are often certain actions (a.k.a. treatments) that workers may execute to lift the probability that a case ends in a positive outcome. For example, in a loan origination process, a possible treatment is to issue multiple loan offers to increase the probability that the customer takes a loan. Each treatment has a cost. Thus, when defining policies for prescribing treatments to cases, managers need to consider the net gain of the treatments. Also, the effect of a treatment varies over time: treating a case earlier may be more effective than later in a case. This paper presents a prescriptive monitoring method that automates this decision-making task. The method combines causal inference and reinforcement learning to learn treatment policies that maximize the net gain. The method leverages a conformal prediction technique to speed up the convergence of the reinforcement learning mechanism by separating cases that are likely to end up in a positive or negative outcome, from uncertain cases. An evaluation on two real-life datasets shows that the proposed method outperforms a state-of-the-art baseline.
提高过程的成功率,即以积极结果结束的案例的百分比,是一个反复出现的过程改进目标。在运行时,工作人员通常会执行某些操作(也称为处理),以提高案例以积极结果结束的概率。例如,在贷款发起流程中,一种可能的处理方法是发出多个贷款要约,以增加客户获得贷款的可能性。每一种治疗都有成本。因此,在制定针对病例的处方治疗政策时,管理人员需要考虑治疗的净收益。此外,治疗的效果会随着时间的推移而变化:对一个病例的早期治疗可能比晚期治疗更有效。本文提出了一种使决策任务自动化的规定性监测方法。该方法结合因果推理和强化学习来学习净收益最大化的治疗策略。该方法利用保形预测技术,通过将可能以积极或消极结果结束的情况与不确定情况分开,来加速强化学习机制的收敛。对两个真实数据集的评估表明,所提出的方法优于最先进的基线。
{"title":"Learning When to Treat Business Processes: Prescriptive Process Monitoring with Causal Inference and Reinforcement Learning","authors":"Z. Bozorgi, M. Dumas, M. Rosa, Artem Polyvyanyy, M. Shoush, Irene Teinemaa","doi":"10.48550/arXiv.2303.03572","DOIUrl":"https://doi.org/10.48550/arXiv.2303.03572","url":null,"abstract":"Increasing the success rate of a process, i.e. the percentage of cases that end in a positive outcome, is a recurrent process improvement goal. At runtime, there are often certain actions (a.k.a. treatments) that workers may execute to lift the probability that a case ends in a positive outcome. For example, in a loan origination process, a possible treatment is to issue multiple loan offers to increase the probability that the customer takes a loan. Each treatment has a cost. Thus, when defining policies for prescribing treatments to cases, managers need to consider the net gain of the treatments. Also, the effect of a treatment varies over time: treating a case earlier may be more effective than later in a case. This paper presents a prescriptive monitoring method that automates this decision-making task. The method combines causal inference and reinforcement learning to learn treatment policies that maximize the net gain. The method leverages a conformal prediction technique to speed up the convergence of the reinforcement learning mechanism by separating cases that are likely to end up in a positive or negative outcome, from uncertain cases. An evaluation on two real-life datasets shows that the proposed method outperforms a state-of-the-art baseline.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129696822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Why am I Waiting? Data-Driven Analysis of Waiting Times in Business Processes 为什么我还在等待?业务流程中等待时间的数据驱动分析
Pub Date : 2022-12-02 DOI: 10.48550/arXiv.2212.01392
Katsiaryna Lashkevich, Fredrik P. Milani, David Chapela-Campa, Ihar Suvorau, M. Dumas
Waiting times in a business process often arise when a case transitions from one activity to another. Accordingly, analyzing the causes of waiting times of activity transitions can help analysts to identify opportunities for reducing the cycle time of a process. This paper proposes a process mining approach to decompose the waiting time observed in each activity transition in a process into multiple direct causes and to analyze the impact of each identified cause on the cycle time efficiency of the process. An empirical evaluation shows that the proposed approach is able to discover different direct causes of waiting times. The applicability of the proposed approach is demonstrated on a real-life process.
当案例从一个活动转换到另一个活动时,业务流程中的等待时间通常会出现。相应地,分析活动转换等待时间的原因可以帮助分析人员确定减少流程周期时间的机会。本文提出了一种流程挖掘方法,将流程中每个活动转换中观察到的等待时间分解为多个直接原因,并分析每个确定的原因对流程周期时间效率的影响。实证分析表明,该方法能够发现导致等待时间的各种直接原因。所提出的方法的适用性在实际过程中得到了验证。
{"title":"Why am I Waiting? Data-Driven Analysis of Waiting Times in Business Processes","authors":"Katsiaryna Lashkevich, Fredrik P. Milani, David Chapela-Campa, Ihar Suvorau, M. Dumas","doi":"10.48550/arXiv.2212.01392","DOIUrl":"https://doi.org/10.48550/arXiv.2212.01392","url":null,"abstract":"Waiting times in a business process often arise when a case transitions from one activity to another. Accordingly, analyzing the causes of waiting times of activity transitions can help analysts to identify opportunities for reducing the cycle time of a process. This paper proposes a process mining approach to decompose the waiting time observed in each activity transition in a process into multiple direct causes and to analyze the impact of each identified cause on the cycle time efficiency of the process. An empirical evaluation shows that the proposed approach is able to discover different direct causes of waiting times. The applicability of the proposed approach is demonstrated on a real-life process.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128212024","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Probabilistic and Non-deterministic Event Data in Process Mining: Embedding Uncertainty in Process Analysis Techniques 过程挖掘中的概率和非确定性事件数据:在过程分析技术中嵌入不确定性
Pub Date : 2022-05-10 DOI: 10.48550/arXiv.2205.04827
Marco Pegoraro
Process mining is a subfield of process science that analyzes event data collected in databases called event logs. Recently, novel types of event data have become of interest due to the wide industrial application of process mining analyses. In this paper, we examine uncertain event data. Such data contain meta-attributes describing the amount of imprecision tied with attributes recorded in an event log. We provide examples of uncertain event data, present the state of the art in regard of uncertainty in process mining, and illustrate open challenges related to this research direction.
过程挖掘是过程科学的一个子领域,它分析从称为事件日志的数据库中收集的事件数据。最近,由于过程挖掘分析在工业上的广泛应用,新型的事件数据类型引起了人们的兴趣。在本文中,我们研究不确定事件数据。这些数据包含描述与事件日志中记录的属性相关的不精确程度的元属性。我们提供了不确定事件数据的例子,介绍了过程挖掘中不确定性的最新情况,并说明了与该研究方向相关的公开挑战。
{"title":"Probabilistic and Non-deterministic Event Data in Process Mining: Embedding Uncertainty in Process Analysis Techniques","authors":"Marco Pegoraro","doi":"10.48550/arXiv.2205.04827","DOIUrl":"https://doi.org/10.48550/arXiv.2205.04827","url":null,"abstract":"Process mining is a subfield of process science that analyzes event data collected in databases called event logs. Recently, novel types of event data have become of interest due to the wide industrial application of process mining analyses. In this paper, we examine uncertain event data. Such data contain meta-attributes describing the amount of imprecision tied with attributes recorded in an event log. We provide examples of uncertain event data, present the state of the art in regard of uncertainty in process mining, and illustrate open challenges related to this research direction.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127223074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Situation Awareness for Autonomous Vehicles Using Blockchain-based Service Cooperation 基于区块链服务合作的自动驾驶车辆态势感知
Pub Date : 2022-04-07 DOI: 10.48550/arXiv.2204.03313
H. Nguyen, Tri Nguyen, T. Leppänen, Juha Partala, S. Pirttikangas
Efficient Vehicle-to-Everything enabling cooperation and enhanced decision-making for autonomous vehicles is essential for optimized and safe traffic. Real-time decision-making based on vehicle sensor data, other traffic data, and environmental and contextual data becomes imperative. As a part of such Intelligent Traffic Systems, cooperation between different stakeholders needs to be facilitated rapidly, reliably, and securely. The Internet of Things provides the fabric to connect these stakeholders who share their data, refined information, and provided services with each other. However, these cloud-based systems struggle to meet the real-time requirements for smart traffic due to long distances across networks. Here, edge computing systems bring the data and services into the close proximity of fast-moving vehicles, reducing information delivery latencies and improving privacy as sensitive data is processed locally. To solve the issues of trust and latency in data sharing between these stakeholders, we propose a decentralized framework that enables smart contracts between traffic data producers and consumers based on blockchain. Autonomous vehicles connect to a local edge server, share their data, or use services based on agreements, for which the cooperating edge servers across the system provide a platform. We set up proof-of-concept experiments with Hyperledger Fabric and virtual cars to analyze the system throughput with secure unicast and multicast data transmissions. Our results show that multicast transmissions in such a scenario boost the throughput up to 2.5 times where the data packets of different sizes can be transmitted in less than one second.
高效的车到一切(Vehicle-to-Everything),为自动驾驶汽车提供合作和增强决策,对于优化和安全交通至关重要。基于车辆传感器数据、其他交通数据以及环境和上下文数据的实时决策变得势在必行。作为智能交通系统的一部分,不同利益相关者之间的合作需要快速、可靠、安全地促进。物联网提供了连接这些利益相关者的结构,这些利益相关者彼此共享他们的数据、精炼信息和提供的服务。然而,由于网络距离较长,这些基于云的系统难以满足智能交通的实时需求。在这里,边缘计算系统将数据和服务带到快速移动的车辆附近,减少信息传递延迟,并在本地处理敏感数据时提高隐私性。为了解决这些利益相关者之间数据共享中的信任和延迟问题,我们提出了一个去中心化的框架,该框架可以实现基于区块链的交通数据生产者和消费者之间的智能合约。自动驾驶汽车连接到本地边缘服务器,共享数据或使用基于协议的服务,跨系统的协作边缘服务器为此提供了一个平台。我们建立了Hyperledger Fabric和虚拟汽车的概念验证实验,通过安全的单播和多播数据传输来分析系统吞吐量。我们的研究结果表明,在这种情况下,多播传输可以在不到一秒的时间内传输不同大小的数据包,从而将吞吐量提高2.5倍。
{"title":"Situation Awareness for Autonomous Vehicles Using Blockchain-based Service Cooperation","authors":"H. Nguyen, Tri Nguyen, T. Leppänen, Juha Partala, S. Pirttikangas","doi":"10.48550/arXiv.2204.03313","DOIUrl":"https://doi.org/10.48550/arXiv.2204.03313","url":null,"abstract":"Efficient Vehicle-to-Everything enabling cooperation and enhanced decision-making for autonomous vehicles is essential for optimized and safe traffic. Real-time decision-making based on vehicle sensor data, other traffic data, and environmental and contextual data becomes imperative. As a part of such Intelligent Traffic Systems, cooperation between different stakeholders needs to be facilitated rapidly, reliably, and securely. The Internet of Things provides the fabric to connect these stakeholders who share their data, refined information, and provided services with each other. However, these cloud-based systems struggle to meet the real-time requirements for smart traffic due to long distances across networks. Here, edge computing systems bring the data and services into the close proximity of fast-moving vehicles, reducing information delivery latencies and improving privacy as sensitive data is processed locally. To solve the issues of trust and latency in data sharing between these stakeholders, we propose a decentralized framework that enables smart contracts between traffic data producers and consumers based on blockchain. Autonomous vehicles connect to a local edge server, share their data, or use services based on agreements, for which the cooperating edge servers across the system provide a platform. We set up proof-of-concept experiments with Hyperledger Fabric and virtual cars to analyze the system throughput with secure unicast and multicast data transmissions. Our results show that multicast transmissions in such a scenario boost the throughput up to 2.5 times where the data packets of different sizes can be transmitted in less than one second.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114604828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Soundness of Data-Aware Processes with Arithmetic Conditions 具有算术条件的数据感知过程的可靠性
Pub Date : 2022-03-28 DOI: 10.48550/arXiv.2203.14809
Paolo Felli, M. Montali, S. Winkler
. Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly inves-tigated in business process management and information systems engineering. In this spectrum, Data Petri nets (DPNs) have gained increasing popularity thanks to their ability to balance simplicity with expressive-ness. The interplay of data and control-flow makes checking the correctness of such models, specifically the well-known property of soundness, crucial and challenging. A major shortcoming of previous approaches for checking soundness of DPNs is that they consider data conditions without arithmetic, an essential feature when dealing with real-world, concrete applications. In this paper, we attack this open problem by providing a foundational and operational framework for assessing soundness of DPNs enriched with arithmetic data conditions. The framework comes with a proof-of-concept implementation that, instead of relying on ad-hoc techniques, employs off-the-shelf established SMT technologies. The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.
。数据感知过程在单个模型中表示并集成了结构和行为约束,因此在业务流程管理和信息系统工程中得到越来越多的研究。在这个范围内,数据Petri网(dpn)由于能够平衡简单性和表达性而越来越受欢迎。数据和控制流的相互作用使得检查这些模型的正确性,特别是众所周知的稳健性,至关重要和具有挑战性。以前用于检查dpn可靠性的方法的一个主要缺点是,它们考虑数据条件而不考虑算术,这是处理现实世界中具体应用程序时的一个基本特征。在本文中,我们通过提供一个基本的和可操作的框架来评估富含算术数据条件的dpn的稳健性来解决这个开放问题。该框架附带了一个概念验证实现,而不是依赖于特别的技术,而是使用现成的已建立的SMT技术。在文献中的一组示例以及由这些示例构建的合成变体上验证了该实现。
{"title":"Soundness of Data-Aware Processes with Arithmetic Conditions","authors":"Paolo Felli, M. Montali, S. Winkler","doi":"10.48550/arXiv.2203.14809","DOIUrl":"https://doi.org/10.48550/arXiv.2203.14809","url":null,"abstract":". Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly inves-tigated in business process management and information systems engineering. In this spectrum, Data Petri nets (DPNs) have gained increasing popularity thanks to their ability to balance simplicity with expressive-ness. The interplay of data and control-flow makes checking the correctness of such models, specifically the well-known property of soundness, crucial and challenging. A major shortcoming of previous approaches for checking soundness of DPNs is that they consider data conditions without arithmetic, an essential feature when dealing with real-world, concrete applications. In this paper, we attack this open problem by providing a foundational and operational framework for assessing soundness of DPNs enriched with arithmetic data conditions. The framework comes with a proof-of-concept implementation that, instead of relying on ad-hoc techniques, employs off-the-shelf established SMT technologies. The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126496637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Bootstrapping Generalization of Process Models Discovered From Event Data 从事件数据中发现过程模型的自举泛化
Pub Date : 2021-07-08 DOI: 10.1007/978-3-031-07472-1_3
Artem Polyvyanyy, Alistair Moffat, Luciano Garc'ia-Banuelos
{"title":"Bootstrapping Generalization of Process Models Discovered From Event Data","authors":"Artem Polyvyanyy, Alistair Moffat, Luciano Garc'ia-Banuelos","doi":"10.1007/978-3-031-07472-1_3","DOIUrl":"https://doi.org/10.1007/978-3-031-07472-1_3","url":null,"abstract":"","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123307623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
P-SGD: A Stochastic Gradient Descent Solution for Privacy-Preserving During Protection Transitions 保护过渡期间隐私保护的随机梯度下降解P-SGD
Pub Date : 2021-06-28 DOI: 10.1007/978-3-030-79382-1_3
Karam Bou Chaaya, R. Chbeir, M. Barhamgi, Philippe Arnould, D. Benslimane
{"title":"P-SGD: A Stochastic Gradient Descent Solution for Privacy-Preserving During Protection Transitions","authors":"Karam Bou Chaaya, R. Chbeir, M. Barhamgi, Philippe Arnould, D. Benslimane","doi":"10.1007/978-3-030-79382-1_3","DOIUrl":"https://doi.org/10.1007/978-3-030-79382-1_3","url":null,"abstract":"","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131344211","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Learning Accurate Business Process Simulation Models from Event Logs via Automated Process Discovery and Deep Learning 通过自动化流程发现和深度学习从事件日志中学习准确的业务流程模拟模型
Pub Date : 2021-03-22 DOI: 10.1007/978-3-031-07472-1_4
Manuel Camargo, M. Dumas, Oscar González Rojas
{"title":"Learning Accurate Business Process Simulation Models from Event Logs via Automated Process Discovery and Deep Learning","authors":"Manuel Camargo, M. Dumas, Oscar González Rojas","doi":"10.1007/978-3-031-07472-1_4","DOIUrl":"https://doi.org/10.1007/978-3-031-07472-1_4","url":null,"abstract":"","PeriodicalId":321309,"journal":{"name":"International Conference on Advanced Information Systems Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125650061","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
期刊
International Conference on Advanced Information Systems Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1