2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)最新文献_第2页

Next-Activity Prediction for Non-stationary Processes with Unseen Data Variability 具有未知数据变异性的非平稳过程的下一活动预测

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-17604-3_9

Amolkirat Singh Mangat, S. Rinderle-Ma

引用次数: 4

Semi-automated Test Migration for BPMN-Based Process-Driven Applications 基于bpmn的流程驱动应用程序的半自动测试迁移

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-17604-3_14

Konrad Schneid, S. Thöne, H. Kuchen

引用次数: 1

Interoperability of Digital Government Services: A Brazilian Reference Architecture Model to Promote Communication, Management, and Reuse of Solutions 数字政府服务的互操作性:促进解决方案的沟通、管理和重用的巴西参考体系结构模型

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-17604-3_6

Adriana Xisto, Felipe Sommer, M. Costa, José Lutiano Costa da Silva, Claudia Cappelli, Vanessa Nunes

引用次数: 0

Publisher's Information 出版商的信息

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/edoc.2018.00037

引用次数: 0

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice BPMN 2.0中的协作与编排一致性:从理论到实践

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/EDOC.2018.00022

F. Corradini, A. Morichetta, A. Polini, B. Re, F. Tiezzi

{"title":"Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice","authors":"F. Corradini, A. Morichetta, A. Polini, B. Re, F. Tiezzi","doi":"10.1109/EDOC.2018.00022","DOIUrl":"https://doi.org/10.1109/EDOC.2018.00022","url":null,"abstract":"The BPMN 2.0 standard is nowadays largely used to model distributed informative systems in both academic and industrial contexts. The notation makes possible to represent these systems from different perspectives. A local perspective, using collaboration diagrams, to describe the internal behaviour of each component of the systems, and a global perspective, using choreography diagrams, where the interactions between system components are highlighted without exposing their internal structure. In this paper, we propose a formal approach for checking conformance of collaborations, representing possible system implementations, with respect to choreographies, representing global constraints concerning components' interactions. In particular, we provide a direct formal operational semantics for both BPMN collaboration and choreography diagrams, and we formalise the conformance concept by means of two relations defined on top of the semantics. To support the approach into practice we have developed the C 4 tool. Its main characteristic is to make the exploited formal methods transparent to systems designers, thus fostering a wider adoption of them in the development of distributed informative systems. We illustrate the benefits of our approach by means of a simple, yet realistic, example concerning a traveling scenario.","PeriodicalId":6544,"journal":{"name":"2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86843299","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}

引用次数: 15

EDOC 2018 External Reviewers EDOC 2018外部审稿人

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/edoc.2018.00010

M. Bhat

引用次数: 0

Planning with Strategic Goals 有战略目标的规划

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/EDOC.2018.00016

Evellin C. S. Cardoso, Jennifer Horkoff, R. Sebastiani, J. Mylopoulos

引用次数: 1

Message from the EDOC 2018 General Chair 2018年EDOC大会主席致辞

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/edoc.2018.00005

Robert Lagerström

引用次数: 0

Fast Conformance Analysis Based on Activity Log Abstraction 基于活动日志抽象的快速一致性分析

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/EDOC.2018.00026

P. M. Dixit, H. Verbeek, Wil M.P. van der Aalst

{"title":"Fast Conformance Analysis Based on Activity Log Abstraction","authors":"P. M. Dixit, H. Verbeek, Wil M.P. van der Aalst","doi":"10.1109/EDOC.2018.00026","DOIUrl":"https://doi.org/10.1109/EDOC.2018.00026","url":null,"abstract":"Process mining techniques focus on bridging the gap between activity logs and business process management. Process discovery is a sub-field of process mining which uses activity logs in order to discover process models. Some process discovery techniques, such as interactive process discovery and genetic algorithms, rely on the so-called conformance analysis. In such techniques, process models are discovered in an incremental way, and the quality of the process models is quantified by the results of conformance analysis. State-of-the-art conformance analysis techniques are typically optimized and devised for one-time use. However, in process discovery settings which are incremental in nature, it is imperative to have fast conformance analysis. Moreover, the activity logs used for conformance analysis at each stage remain the same. In this paper, we propose an approach that exploits this fact in order to expedite conformance analysis by approximating the conformance results. We use an abstracted version of an activity log, which can be used to compare with the changing (or new) process models in an incremental process discovery setting. Our results show that the proposed technique is able to outperform traditional conformance techniques in terms of performance by approximating conformance scores.","PeriodicalId":6544,"journal":{"name":"2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86253240","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

A Flexible Event Handling Model for Business Process Enactment 用于业务流程制定的灵活事件处理模型

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) Pub Date : 2018-10-01 DOI: 10.1109/EDOC.2018.00019

Sankalita Mandal, M. Weske

{"title":"A Flexible Event Handling Model for Business Process Enactment","authors":"Sankalita Mandal, M. Weske","doi":"10.1109/EDOC.2018.00019","DOIUrl":"https://doi.org/10.1109/EDOC.2018.00019","url":null,"abstract":"Business process management (BPM) enables modeling, executing and monitoring organizational processes to achieve certain business goals. Organizations continue to strive for agility and take advantage of the digital era to bring flexibility in their processes, for example by integrating complex event processing (CEP) techniques. Event handling specifies how a process interacts with its environment and how the environmental occurrences influence the execution of the process. Though highly expressive and feature-rich languages like BPMN exist for process specification, they still lack the flexibility required for event handling in different real-life scenarios. In this work, an event handling model is proposed that take into account the possibilities of event subscription at different points in time with respect to process execution. The model is grounded formally and provides mapping to Petri Nets as implementation semantics. Further, trace analysis ensures correct execution of process behavior while maintaining the temporal dependencies intact among event subscription, event occurrence, event consumption and event unsubscription.","PeriodicalId":6544,"journal":{"name":"2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87877531","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