×

并行任务组合器的演化。 (英语) Zbl 1405.68062号

Peter Achten等人,《函数代码之美》。在莱纳斯·普拉斯梅耶61岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-40354-5/pbk)。计算机科学8106课堂讲稿。《人工智能课堂讲稿》,193-210(2013)。
小结:实验软件的开发很少是直接的。如果你开始做一些你还不懂的东西,那么你第一次尝试就不太可能把它做好。iTask系统遵循了这条可以预见的不可预测的路径。在这个系统中,组合函数用于构建交互式工作流支持系统,随着对领域的深入理解,组合函数的核心集发生了变化。对该系统的持续研究导致了交互式系统新编程范式的出现:面向任务的编程(TOP)。在本文中,我们重构了一个核心iTasks组合子的进化过程,以一瞥这种出现。组合器是一种并行组合器,它可以将多个并发任务组合成单个任务。我们从已发表论文的书面记录中重建了它的演变过程,并讨论了这一重建过程,以及它讲述了对任务编程的深入理解。
关于整个系列,请参见[Zbl 1284.68003号].

MSC公司:

68甲18 函数编程和lambda演算

软件:

i任务;清洁
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Henrix,J.、Plasmeijer,R.、Achten,P.:GiN:用于定义iTask工作流的图形语言和工具。收录于:Peña,R.,Page,R.(编辑)TFP 2011。LNCS,第7193卷,第163-178页。斯普林格,海德堡(2012)·Zbl 06105531号 ·doi:10.1007/978-3642-32037-8_11
[2] Jansen,J.、Koopman,P.、Plasmeijer,R.:军事领域中基于Web的动态工作流系统和应用。摘自:Hupkens,T.,Monsuur,H.(编辑)《荷兰军事研究年度回顾——传感器、武器、C4I和作战研究》,第43–59页(2008)
[3] Jansen,J.、Lignse,B.、Plasmeijer,R.、Grant,T.:用于军事行动指挥与控制的基于Web的动态工作流系统。收录:2010年ICCRTS第15届国际指挥与控制研究与技术研讨会修订论文集,美国加利福尼亚州圣莫尼卡(2010年6月)
[4] Jansen,J.、Plasmeijer,R.、Koopman,P.、Achten,P.:在函数语言中嵌入基于web的工作流管理系统。摘自:Brabrand,C.,Moreau,P.(eds.)《语言描述、工具和应用第十次研讨会论文集》,LDTA 2010,塞浦路斯帕福斯,3月27日至28日,第79-93页(2010)·doi:10.145/1868281.1868288
[5] Koopman,P.,Plasmeijer,R.,Achten,P.:iTasks的可执行和可测试语义。In:Scholz,S.-B.,Chitil,O.(编辑)IFL 2008。LNCS,第5836卷,第212-232页。斯普林格,海德堡(2011)·Zbl 05954843号 ·doi:10.1007/978-3642-24452-012
[6] Lignse,B.,Plasmeijer,R.:iTasks 2:终端用户的iTasks。收录:Morazán,M.T.,Scholz,S.-B.(编辑)IFL 2009。LNCS,第6041卷,第36-54页。斯普林格,海德堡(2010)·Zbl 05809303号 ·doi:10.1007/978-3-642-16478-13
[7] Michels,S.、Plasmeijer,R.、Achten,P.:iTask是构建GUI应用程序的新范例。摘自:Hage,J.,Morazán,M.T.(编辑)IFL 2010。LNCS,第6647卷,第153-168页。斯普林格,海德堡(2011)·Zbl 05964901号 ·doi:10.1007/978-3642-24276-2_10
[8] Plasmeijer,R.,Achten,P.,Koopman,P.:iTasks简介:定义web的交互式工作流。收录于:Horváth,Z.,Plasmeijer,R.,Soós,A.,Zsók,V.(编辑)CEFP 2007。LNCS,第5161卷,第1-40页。斯普林格,海德堡(2008)·Zbl 1170.68417号 ·doi:10.1007/978-3-540-88059-2_1
[9] Plasmeijer,R.,Achten,P.,Koopman,P.:iTasks:网络交互式工作流系统的可执行规范。摘自:Hinze,R.,Ramsey,N.(编辑)《函数式编程国际会议论文集》,2007年,德国弗莱堡,第141-152页。ACM出版社(2007)·Zbl 06318901号 ·数字对象标识代码:10.1145/1291151.1291174
[10] Plasmeijer,R.、Achten,P.、Koopman,P.,Lignse,B.、van Noort,T.:iTask案例研究:会议管理系统。收录:Koopman,P.,Plasmeijer,R.,Swierstra,D.(编辑)AFP 2008。LNCS,第5832卷,第306–329页。斯普林格,海德堡(2009)·Zbl 05641843号 ·doi:10.1007/978-3-642-04652-07
[11] Plasmeijer,R.、Achten,P.、Koopman,P.,Lignse,B.、van Noort,T.、van Groningen,J.:变更的iTasks-动态演化工作流中的类型安全运行时变更。摘自:Khoo,S.,Siek,J.(编辑)《部分评估和程序操作研讨会论文集》,2011年政治公众人物模型,美国德克萨斯州奥斯汀,第151-160页。ACM出版社(2011)
[12] Plasmeijer,R.、Achten,P.、Lignse,B.、Michels,S.:使用iTasks定义多用户web应用程序。收录于:Zsók,V.,Horváth,Z.,Plasmeijer,R.(编辑)CEFP 2011。LNCS,第7241卷,第46-92页。斯普林格,海德堡(2012)·Zbl 06104488号 ·doi:10.1007/978-3-642-32096-5_2
[13] Plasmeijer,R.、Jansen,J.、Koopman,P.、Achten,P.:使用iTasks对工作流进行声明式Ajax和客户端评估。载:《第十届申报式编程原则与实践国际会议论文集》,PPDP 2008,西班牙巴伦西亚,7月15-17日,第56-66页(2008)·数字对象标识代码:10.1145/1389449.1389457
[14] Plasmeijer,R.、Lignse,B.、Achten,P.、Michels,S.:掌握协调任务的任务。2011年3月26日至27日,德国萨尔布吕肯,语言描述、工具和应用程序会议记录·doi:10.1145/1988783.1988784
[15] Plasmeijer,R.,Lignse,B.,Michels,S.,Achten,P.,Koopman,P.:纯函数语言中的面向任务编程。摘自:《2012年ACM SIGPLAN国际声明性编程原则与实践会议记录》,2012年PPDP,比利时鲁汶,第195-206页。ACM(2012年9月)·doi:10.1145/2370776.2370801
[16] Plasmeijer,R.,van Eekelen,M.:清洁语言报告,2.1版(2002),网址:http://clean.cs.ru.nl
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。