×
Wil M.P.范德阿尔斯特。；马龙·杜马；佛罗里达州戈特沙尔克；阿瑟·霍夫斯泰德。；马塞洛·拉罗莎；门丁，简

在业务流程模型配置期间保持正确性。 （英语） Zbl 1213.68413号

正式Asp。计算。 22，编号3-4，459-482（2010）.

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

可配置流程模型；配置；Petri网

软件：

沃夫兰；柔性制造平台
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}等人，《形式语法》。计算。22，编号3--4，459--482（2010；Zbl 1213.68413）
全文： DOI程序

参考文献：

[1] van der Aalst WMP（1997）《工作流网络验证》。摘自：Azéma P，Balbo G（eds）第18届Petri网应用和理论国际会议论文集。计算机科学课堂讲稿，第1248卷。海德堡施普林格，第407–426页
[2] van der Aalst WMP（1999）事件驱动过程链的形式化和验证。Inf Softw Technol公司41（10）：639–650·doi:10.1016/S0950-5849（99）00016-6
[3] van der Aalst WMP，Basten T（2002）《工作流继承：解决与变更相关问题的方法》。计算机科学理论270（1-2）：125–203·Zbl 0984.68113号 ·doi:10.1016/S0304-3975（00）00321-2
[4] Antkiewicz M，Czarnecki K（2004）FeaturePlugIn:eclipse的特性建模插件。摘自：Burke MG（eds）2004年关于eclipse技术eXchange的OOPSLA研讨会论文集（ETX 2004）。纽约ACM出版社，第67–72页
[5] Abdulla PA、Iyer SP、Nylén A（2004）SAT解决Petri网的覆盖问题。形式化方法系统设计24（1）：25–43·Zbl 1073.68057号 ·doi:10.1023/B:FORM.0000004786.30007.f8
[6] van der Aalst WMP，Lassen KB（2008）《将非结构化工作流过程转换为可读的BPEL：理论与实现》。Inf Softw Technol公司50（3）：131–159·doi:10.1016/j.infsof.2006.11.004
[7] Batory DS（2005）特征模型、语法和命题公式。收录：Obbink JH，Pohl K（eds）第九届软件产品线国际会议论文集（SPLC'05）。计算机科学课堂讲稿，第3714卷。海德堡施普林格，第7-20页
[8] Becker J、Delfmann P、Knackstedt R（2007）《自适应参考建模：信息模型的配置和通用自适应技术集成》。摘自：Becker J，Delfmann P（eds）参考建模会议论文集（RM'06）。施普林格，海德堡，第27-58页
[9] Bunke H（2000）图匹配的最新发展。收录于：Sanfeliu A、Villanueva JJ、Vanrell M、Alquezar R、Jain AK、Kittler J（编辑）《第15届模式识别国际会议论文集》（ICPR'00）第2卷。IEEE计算机学会，第117-124页
[10] Czarnecki K，Antkiewicz M（2005）《将特征映射到模型：基于叠加变体的模板方法》。收录：Glück R，Lowry MR（eds）《第四届生成性编程和组件工程国际会议论文集》，海德堡施普林格，第422-437页
[11] Czarnecki K、Helsen S、Eisenecker U（2004）使用特征模型的分段配置。收录：Nord RL（eds）第三届软件产品线国际会议论文集（SPLC'04）。海德堡施普林格，第266-283页
[12] Curran T，Keller G（1997）《SAP R/3业务蓝图：理解业务流程参考模型》。上鞍座河
[13] Cortadella J，Kishinevsky M，Lavagno L，Yakovlev A（1998）从有限转移系统导出Petri网。IEEE传输计算47（8）：859–882·数字对象标识代码：10.1109/12.707587
[14] Desel J，Esparza J（1995）自由选择Petri网。剑桥理论计算机科学丛书，第40卷。剑桥大学出版社，伦敦·Zbl 0836.68074号
[15] Estublier J，Casallas R（1994）adele软件配置管理器。In：配置管理。伦敦威利，第99–139页
[16] Ehrenfeucht A、Rozenberg G（1989）《部分（组）2-结构-第1部分和第2部分》。信息学报27（4）：315–368·Zbl 0696.68082号 ·doi:10.1007/BF00264611
[17] Esparza J，Silva M（1990）《电路、手柄、桥梁和网络》。收录：Rozenberg G（eds）《Petri网进展》。计算机科学课堂讲稿，第483卷。海德堡施普林格，第210–242页
[18] Gottschalk F、van der Aalst WMP、Jansen-Vullers MH（2007）可配置流程模型——一种基本方法。摘自：Becker J，Delfmann P（eds）Reference modeling。海德堡施普林格，第59-78页
[19] Gottschalk F、van der Aalst WMP、Jansen-Vullers MH、La Rosa M（2008）可配置工作流模型。国际合作社信息系统17（2）：177–221·网址：10.1142/S0218843008001798
[20] Gottschalk F、Wagemakers TAC、Jansen-Vullers MH、van der Aalst WMP、La Rosa M（2009）可配置流程模型——来自市政案例研究的经验。收录：Gordijn J（eds）《第21届先进信息系统工程国际会议论文集》（CAiSE’09）。海德堡施普林格
[21] van Hee KM，Oanea O，Sidorova N（2005）《验证扩展事件驱动过程链的有色Petri网》。收录于：Meersman R，Tari Z（编辑）CoopIS/DOA/ODBASE会议记录。《计算机科学讲义》，第3760卷。施普林格，海德堡，第183–201页
[22] van Hee KM、Oanea O、Serebrenik A、Sidorova N、Voorhoeve M（2008）《基于历史的连接：语义、可靠性和实现》。数据知识工程64（1）：24–37·doi:10.1016/j.datak.2007.06.005
[23] Kindler E（2006）《关于出口商品的语义：解决恶性循环》。数据知识工程56（1）：23–40·doi:10.1016/j.datak.2005.02.005
[24] Keller G、Nüttgens M、Scheer A-W（1992），Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Processketten（EPK）。萨尔州萨尔大学费尔施瓦夫辛弗莱蒂克研究所（德语）（Veröffentlichungen des Institutes für Wirtschaftsinformatik，University of Saarland，Saarbrücken）
[25] La Rosa M、Dumas M、ter Hofstede AHM、Mendling J、Gottschalk F（2008）《超越控制流：将业务流程配置扩展到角色和对象》。作者：Li Q，Spacapietra S，Yu E，OlivéA（编辑）第27届概念建模国际会议论文集（ER'08）。计算机科学讲义，第5231卷。海德堡施普林格，199-215页
[26] La Rosa M、ter Hofstede AHM、Rosemann M、Shortland K（2008）《将工艺引入后期生产》。摘自：“创造价值：商业与公共之间”国际会议记录。昆士兰理工大学
[27] La Rosa M、Lux J、Seidel S、Dumas M、ter Hofstede AHM（2007）参考过程模型的问卷驱动配置。收录：Krogstie J，Opdahl AL，Sindre G（eds）《第19届先进信息系统工程国际会议论文集》（CAiSE’07）。计算机科学课堂讲稿，第4495卷。海德堡施普林格，第424-438页
[28] Langner P、Schneider C、Wehler J（1998）基于Petri网的事件驱动过程链认证。摘自：Desel J，Silva M（eds）计算机科学课堂讲稿中Petri网的应用和理论，第1420卷。海德堡施普林格，第286-305页
[29] Mendling J，van der Aalst WMP（2007）基于状态和上下文，使用OR-Join对EPC进行形式化和验证。收录：Krogstie J，Opdahl AL，Sindre G（eds）《第19届先进信息系统工程国际会议论文集》（CAiSE’07）。计算机科学课堂讲稿，第4495卷。海德堡施普林格，第439–453页
[30] Mendling J、van Dongen BF、van der Aalst WMP（2008）《摆脱业务流程模型中的OR-joins和多重启动事件》。企业信息系统。EDOC 2007最佳论文专刊2（4）：403–419
[31] Minato S、Ishiura N、Yajima S（1990）《用于有效布尔函数操作的带属性边的共享二元决策图》。收录：Smith RC（编辑）第27届ACM/IEEE设计自动化会议论文集。纽约ACM出版社，第52–57页
[32] Murata T（1989）Petri网：特性、分析和应用。程序IEEE 77（4）：541–580·数字对象标识代码：10.1109/5.24143
[33] Nüttgens M，Rump FJ（2002）Syntax und Semantik Ereignisgesteuerter Prozessketten（EPK）。摘自：Desel J，Weske M（编辑）《承诺程序》。信息学课堂讲稿，第21卷。GI，第64–77页
[34] 欧阳C，Dumas M，van der Aalst WMP，ter Hofstede AHM，Mendling J（2009）从业务流程模型到面向流程的软件系统：BPMN到BPEL的方式。ACM Trans Softw Eng Methodol（即将推出）
[35] Pohl K，Böckle G，van der Linden F（2005）软件产品线工程——基础、原理和技术。海德堡施普林格·兹比尔1075.68575
[36] Rosemann M，van der Aalst WMP（2007）可配置参考建模语言。信息系统32（1）：1–23·Zbl 05136314号 ·doi:10.1016/j.is.2005.05.003
[37] Razavian M，Khosravi R（2008）使用UML对业务流程模型中的可变性进行建模。摘自：Latifi S（ed）《第五届信息技术国际会议论文集：新一代》（ITGN'08），第82–87页
[38] Sarshar K，Loos P（2005a）从终端用户的角度比较EPC和Petri网的控制流。摘自：van der Aalst WMP，Benatallah B，Casati F（编辑），第三届商业流程管理国际会议论文集（BPM’05）。计算机科学课堂讲稿，第3649卷。海德堡施普林格，第434-439页
[39] Sadiq SW、Orlowska ME、Sadiq W（2005）《灵活工作流的过程约束规范和验证》。信息系统30（5）：349–378·Zbl 02238487号 ·doi:10.1016/j.is.2004.05.002
[40] Schnieders A，Puhlmann F（2006），电子商务流程家族中的可变性机制。摘自：Abramowicz W，Mayr HC（eds）《第九届商业信息系统国际会议论文集》（BIS’06）。LNI，第85卷。GI，第583-601页
[41] Stephens S（2001）《供应链理事会和供应链运作参考模型》。供应链管理与国际J 1（1）：9–13
[42] Turkay E、Gokhale AS、Natarajan B（2004）使用基于模型的技术解决中间件配置挑战。收录：Yoo S-M，Etzkorn LH（编辑）第42届ACM东南地区会议记录。纽约ACM出版社，第166-170页
[43] Verbeek HMW，Basten T，van der Aalst WMP（2001）使用woflan诊断工作流过程。计算J 44（4）：246–279·Zbl 0993.68141号 ·doi:10.1093/comjnl/44.4.246
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。