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":"44 1","pages":"95-104"},"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

A Probabilistic Enterprise Architecture Model Evolution 一个概率企业架构模型演化

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

Simon Hacks, H. Lichter

{"title":"A Probabilistic Enterprise Architecture Model Evolution","authors":"Simon Hacks, H. Lichter","doi":"10.1109/EDOC.2018.00017","DOIUrl":"https://doi.org/10.1109/EDOC.2018.00017","url":null,"abstract":"Enterprise Architecture (EA) is a widely accepted means to ease the alignment of IS projects with enterprise-wide objectives. One central artifact of EA are EA models, which provide a holistic view on the organization and support EA's stakeholder to create added value. As EA collects its data from different sources, the data can be contradictory. This work contributes to existing research by proposing a novel approach to deal with contradictory data without solving the thereby caused conflicts. In order to achieve this objective, we refine the Predictive, Probabilistic Architecture Modeling Framework (P²AMF) introduced by Johnson et al., which already incorporates a way to represent uncertainty regarding the existence of modelled entities. To make our technique usable, we generalize P²AMF from its UML/OCL notation to a graph presentation in order to apply it to EA models notated in arbitrary notations like ArchiMate. Furthermore, we add alternative scenarios in different versions along a time series to meet the requirements of a distributed EA evolution. To show the applicability of our approach, we developed a proof of concept prototype by implementing the proposed calculations and guidelines on a Neo4j graph database. Last, we argue that our approach meets the stated requirements of a distributed EA evolution.","PeriodicalId":6544,"journal":{"name":"2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)","volume":"77 1","pages":"51-57"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77299604","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}

引用次数: 12

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":"98 1","pages":"68-74"},"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