Process-centric views of data-driven business artifacts.pdf

下载文档 降价啦

2
0
约11.27万字
约 26页
2017-03-16 发布于天津
举报
版权申诉
保障服务

Process-centric views of data-driven business artifacts.pdf

1、本文档共26页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

Journal of Computer and System Sciences 86 (2017) 82–107 Contents lists available at ScienceDirect Journal of Computer and System Sciences /locate/jcss Process-centric views of data-driven business artifacts ? Adrien Koutsos a, Victor Vianu b,c,? a ENS Cachan, France b UC San Diego, United States c INRIA-Saclay, France article info Article history: Received 16 October 2015 Received in revised form 24 June 2016 Accepted 21 November 2016 Available online 16 January 2017 Keywords: Work?ows Data-aware Process-centric Views abstract Declarative, data-aware work?ow models are becoming increasingly pervasive. While these have numerous bene?ts, classical process-centric speci?cations retain certain advantages. Work?ow designers are used to development tools such as BPMN or UML diagrams, that focus on control ?ow. Views describing valid sequences of tasks are also useful to provide stakeholders with high-level descriptions of the work?ow, stripped of the accompanying data. In this paper we study the problem of recovering process-centric views from declarative, data-aware work?ow speci?cations in a variant of IBM’s business artifact model. We focus on the simplest process-centric views, speci?ed by ?nite-state transition systems, describing regular languages. The results characterize when process-centric views of artifact systems are regular, using both linear and branching-time semantics. We also study the impact of data dependencies on regularity of the views. As a side effect, we obtain several new results on veri?cation of business artifacts, including a decidability result for branching-time properties. ? 2017 Elsevier Inc. All rights reserved. 1. Introduction Data-driven work?ows have become ubiquitous in a variety of application domains, including business, government, science, health-care, social networks [42], crowdsourcing [6,7], etc. Such work?ows resulted from an evolution away from the traditional process-centric approach towards data-awareness. A notable exponen