皮埃尔·布赫斯;洛依茨海露;米克洛斯，佐尔坦;Rituraj Singh 众包以数据为中心的工作流。 （英语） Zbl 1503.68189号 Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12152, 24-45 (2020). 概述：众包包括在收集返回结果之前，在互联网上雇佣员工执行大量简单、独立和重复的工作单元。解决复杂问题的一个挑战是定义任务的编排，并在工作人员可以建议的地方允许高阶答案获取数据的过程而不是直截了当的回答另一个挑战是确保具有正确输入数据的业务流程终止，并生成正确的输出数据。这项工作提出复杂的工作流程这是一个以数据为中心的众包模型，基于并发任务和高阶方案的编排。我们考虑终止（复杂工作流的某些/所有运行是否终止）和正确性（工作流的某些或所有运行是否以满足FO要求的数据终止）。我们证明了存在终止/正确性通常是不可判定的，但有界递归规范除外。然而，当对输入的约束在FO的可判定片段中指定并且至少在co-2EXPTIME中时，通用终止/正确性是可判定的。关于整个系列，请参见[Zbl 1493.68015号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{P.Bourhis}等人，Lect。注释计算。科学。12152，24-45（2020；Zbl 1503.68189） 全文： 内政部 参考文献： [1] 亚马逊的机械突厥。网址：http://www.mturk.com [2] 推压装置。http://www.crowdflower.com [3] 克鲁克的开拓者。http://www.cancerresearchuk.org网站 [4] 污染工厂。http://www.foulefactory.com [5] 银河动物园。http://zoo1.galaxyzoo.org [6] 斯皮波尔。网址：http://www.spipoll.org [7] Abiteboul，S.，Segoufin，L.，Vianu，V.：主动XML系统的静态分析。事务处理。数据库系统。34（4），23:1-23:44（2009）·doi:10.1145/1620585.1620590 [8] Abiteboul，S.，Vianu，V.：协作数据驱动工作流：思考全球，行动本地。摘自：《2013年PODS会议录》，第91-102页。ACM（2013） [9] Badouel，E.，Hélouét，L.，Morvan，C.：结构化数据的Petri网。芬丹。通知。146(1), 35-82 (2016) ·Zbl 1368.68258号 ·doi:10.3233/FI-2016-1375 [10] Beeri，C.、Eyal，A.、Kamenkovich，S.、Milo，T.：查询业务流程。参见：《2006年VLDB会议记录》，第343-354页。ACM（2006） [11] Bernays，P.，Schönfinkel，M.：数学逻辑的Zum entscheidungsproblem der mathematischen logik。数学。附录99（1），342-372（1928） [12] Bourhis，O.，Hélouët，L.，Miklos，Z.，Singh，R.：以数据为中心的众包工作流程。技术报告，Rennes大学，INRIA，（2019年）。https://hal.inia.fr/hal-02508838 [13] Codd，E.F.：数据库子语言的关系完整性。数据库系统，第65-98页（1972年） [14] Damaggio，E.，Deutsch，A.，Vianu，V.：具有数据依赖性和算术的人工系统。事务处理。数据库系统。37(3), 22 (2012) ·数字对象标识代码：10.1145/2338626.2338628 [15] de Leoni，M.，Felli，P.，Montali，M.：决策感知过程模型稳健性验证的整体方法。收录人：Trujillo，J.C.等人（编辑），ER 2018。LNCS，第11157卷，第219-235页。查姆施普林格（2018）。https://doi.org/10.1007/978-3-030-00847-5_17 ·doi:10.1007/978-3-030-00847-5_17 [16] Deutsch，A.，Sui，L.，Vianu，V.，Zhou，D.：验证通信数据驱动的web服务。摘自：《2006年PODS会议录》，第90-99页。ACM（2006） [17] Dijkstra，E.W.：程序的保护命令、不确定性和形式推导。Commun公司。ACM 18（8），453-457（1975）·Zbl 0308.68017号 ·数字对象标识代码：10.1145/360933.360975 [18] Garcia-Molina，H.，Joglekar，M.，Marcus，A.，Parameswaran，A.，Verroios，V.：数据众包的挑战。事务处理。知识。数据工程28（4），901-911（2016）·doi:10.1109/TKDE.2016.2518669 [19] Hariri，B.B.，Calvanee，D.，De Giacomo，G.，Deutsch，A.，Montali，M.：用外部服务验证关系型数据中心动态系统。摘自：《2013年PODS会议录》，第163-174页（2013） [20] Itzhaky，S.等人：关于使用嵌入式SQL自动验证web应用程序。收录于：《2017年ICDT会议录》，LIPIcs，第68卷，第16:1-16:18页（2017）·Zbl 1402.68123号 [21] Jensen，K.：有色Petri网：用于系统设计和分析的高级语言。在：Rozenberg，G.（编辑）ICATPN 1989。LNCS，第483卷，第342-416页。斯普林格，海德堡（1991）。https://doi.org/10.1007/3-540-53863-1_31 ·doi:10.1007/3-540-53863-1_31 [22] Khashiyan，L.G.：线性规划中的多项式算法。美国S.R.计算。数学。数学。物理学。20, 51-68 (1980) ·Zbl 0472.90031号 ·doi:10.1016/0041-5553（80）90271-2 [23] Kitchin，D.，Cook，W.R.，Misra，J.：一种用于任务编排及其语义属性的语言。收录：Baier，C.，Hermanns，H.（编辑）CONCUR 2006。LNCS，第4137卷，第477-491页。施普林格，海德堡（2006）。https://doi.org/10.1007/11817949_32 ·兹比尔1151.68360 ·doi:10.1007/11817949_32 [24] Kittur，A.，Smus，B.，Khamkar，S.，Kraut，R.E.：Crowdforge：众包复杂工作。收录于：UIST 2011年会议记录，第43-52页。ACM（2011） [25] Koutsos，A.，Vianu，V.：以流程为中心的数据驱动业务工件视图。J.计算。系统。科学。86, 82-107 (2017) ·Zbl 1370.68215号 ·doi:10.1016/j.jcss.2016.11.012 [26] Kucherbaev，P.，Daniel，F.，Tranquillini，S.，Marchese，M.：众包过程：方法和机会调查。IEEE互联网计算。20(2), 50-56 (2016) ·doi:10.1109/MIC.2015.96 [27] Kulkarni，A.、Can，M.、Hartmann，B.：与turkomatic合作众包工作流。参见：CSCW 2012年会议记录，第1003-1012页。ACM（2012年） [28] Lazic，R.、Newcomb，T.、Ouaknine，J.、Roscoe，A.W.、Worrell，J.：带有携带数据的令牌的网络。芬丹。通知。88(3), 251-274 (2008) ·Zbl 1154.68090号 [29] Lewis，H.R.：定量公式类的复杂性结果。J.计算。系统。科学。21(3), 317-353 (1980) ·Zbl 0471.03034号 ·doi:10.1016/0022-0000（80）90027-6 [30] Li，G.，Wang，J.，Zheng，Y.，Franklin，M.J.：众包数据管理：一项调查。事务处理。知识。数据工程28（9），2296-2319（2016）·doi:10.1109/TKDE.2016.2535242 [31] Little，G.，Chilton，L.B.，Goldman，M.，Miller，R.C.：土耳其人：机械土耳其语上迭代任务的工具。摘自：《HCOMP 2009会议录》，第29-30页。ACM（2009） [32] Lomazova，I.A.，Schnoebelen，P.：嵌套Petri网的一些可判定性结果。收录：Bjöner，D.，Broy，M.，Zamulin，A.V.（编辑）PSI 1999。LNCS，第1755卷，第208-220页。斯普林格，海德堡（2000）。https://doi.org/10.1007/3-540-46562-6_18 ·Zbl 0964.68094号 ·doi:10.1007/3-540-46562-6_18 [33] Löwenheim，L.：相对论中的U ber möglichkeiten。数学。附录76（4），447-470（1915） [34] Mavridis，P.，Gross-Ambrard，D.，Miklós，Z.：在知识密集型众包中使用分层技能优化任务分配。摘自：《2016年WWW会议记录》，第843-853页。ACM（2016） [35] 莫蒂默，M.：关于具有两个变量的语言。数学。日志。问题21（1），135-140（1975）·兹宝利0343.02009 ·doi:10.1002/malq.19750210118 [36] Nigam，A.，Caswell，N.S.：业务工件：操作规范的方法。IBM系统。J.42（3），428-445（2003）·doi:10.1147/sj.423.0428 [37] 绿洲。Web服务业务流程执行语言。技术报告，OASIS（2007）。http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf [38] Sturm，T.，Voigt，M.，Weidenbach，C.：当普遍变量和存在变量分离时，判定一阶可满足性。摘自：2016年LICS会议记录，第86-95页（2016年）·Zbl 1394.03013号 [39] Tranquillini，S.、Daniel，F.、Kucherbaev，P.、Casati，F.:建模、制定和集成定制众包流程。TWEB 9（2），7:1-7:43（2015）·doi:10.1145/2746353 [40] van der Aalst，W.M.P.、Dumas，M.、Gottschalk，F.、ter Hofstede，A.H.M.、La Rosa，M.和Mendling，J.：业务流程模型的正确性保留配置。In：Fiadeiro，J.L.，Inverardi，P.（编辑）FASE 2008。LNCS，第4961卷，第46-61页。施普林格，海德堡（2008）。https://doi.org/10.1007/978-3-540-78743-3_4 ·Zbl 1213.68413号 ·doi:10.1007/978-3-540-78743-34 [41] Van Der Aalst，W.M.P.等人：工作流网络的可靠性：分类、可判定性和分析。正式Asp。计算。23(3), 333-363 (2011) ·兹比尔1225.68129 ·文件编号：10.1007/s00165-010-0161-4 [42] Zheng，Q.，Wang，W.，Yu，Y.，Pan，M.，Shi，X.：通过工作流技术自动众包复杂任务。作者：Cao，J.，Liu，J.（编辑）MIPaC 2016。CCIS，第686卷，第17-30页。新加坡施普林格出版社（2017年）。https://doi.org/10.1007/978-981-10-3996-6_2 ·doi:10.1007/978-981-10-3996-6_2 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。