×
贝茨，托比亚斯;劳伦斯·卡巴克;迈克尔·杜维涅奥;托马斯·瓦格纳;马提亚斯·韦斯特·埃宾豪斯

使用Petri网的软件工程：web服务和代理透视图。 （英语） Zbl 1428.68197号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务处理IX》，柏林：施普林格出版社。莱克特。注释计算。科学。8910, 41-61 (2014).
摘要：本文的背景是通过使用Petri网作为可执行代码的软件工程方法给出的。我们特别理解，Petri网不仅用于为设计目的建模系统，还用于实现系统组件。按照这种方法，我们根据多代理范式开发了基于Petri网的复杂软件应用程序。代理内部和代理扫描过程直接作为（高级）Petri网实现。这些网络是最终软件应用程序的基本部分，与其他部分（操作和声明性部分）一起使用传统的编程方法实现。{}我们的目标之一是开放基于Petri网的代理框架Mulan/Capa，以便多代理应用程序能够与其他系统进行通信和交互，尤其是与基于Web的应用程序。出于这个目的，我们提出了一个网关解决方案，使基于Petri网的应用程序能够访问Web服务，并向其他应用程序提供Web服务：Web网关除了描述WebGateway扩展本身之外，我们还使用它的表示来演示基于Petri网的软件工程方法的实用性。我们强调Petri网模型作为概念模型的好处，它可以逐步将构建的系统从简单模型细化为定义良好的系统规范。这提高了对系统的理解。
有关整个系列，请参见[Zbl 1318.68026号].

MSC公司：

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

关键词：

web服务;高级Petri网;多智能体系统;木兰;续订;P*aose公司

软件：

木兰/卡帕;BPEL2PN公司;续订;图像NetDiff
PDF格式BibTeX公司 XML格式引用
\textit{T.Betz}等人，Lect。注释计算。科学。8910，41-61（2014；Zbl 1428.68197）
全文： 内政部

参考文献：

[1] Agha，G.，De Cindio，F.，Rozenberg，G.（编辑）：APN 2001。LNCS，第2001卷。斯普林格，海德堡（2001）·Zbl 0976.68544号
[2] Aghaee，S.，Pautasso，C.：使用HTML5开发Mashup。摘自：第三届和第四届网络API和服务Mashups国际研讨会论文集，Mashups'09/'10，第10:1-10:8页。ACM，纽约（2010年）。
[3] Betz，T.、Cabac，L.、Güttler，M.：在基于Petri网的软件开发环境中改进开发工具链。在：Duvigneau，M.，Moldt，D.，Hiraishi，K.（编辑）《Petri网与软件工程论文集》，PNSE'11国际研讨会。CEUR研讨会论文集，英国泰恩河畔纽卡斯尔，2011年6月，第723卷，第167-178页。CEUR-WS.org（2011）。
[4] Betz，T.、Cabac，L.、Wester-Ebbinghaus，M.：基于Web的代理服务的网关架构。收录：Klügl，F.，Ossowski，S.（编辑）MATES 2011。LNCS，第6973卷，第165-172页。斯普林格，海德堡（2011）。 ·doi:10.1007/978-3-642-24603-6-17
[5] Cabac，L.：基于Petri网的多代理应用建模，代理技术-理论与应用，第5卷。Logos Verlag，柏林（2010）
[6] Cabac，L.，Dörges，T.，Duvigneau，M.，Moldt，D.，Reese，C.，Wester-Ebbinghaus，M.：并发软件系统的代理模型。收录人：Bergmann，R.、Lindemann，G.、Kirn，S.、Pěchouček，M.（编辑）MATES 2008。LNCS（LNAI），第5244卷，第37-48页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-87805-65
[7] Cabac，L.，Duvigneau，M.，Moldt，D.，Rölke，H.：使用内联网建模动态架构。收录：Ciardo，G.，Darondeau，P.（编辑）ICATPN 2005。LNCS，第3536卷，第148-167页。斯普林格，海德堡（2005）·Zbl 1128.68373号 ·doi:10.1007/11494744_10
[8] Cabac，L.，Duvigneau，M.，Moldt，D.，Wester-Ebbinghaus，M.：面向Java参考网的单元测试。摘自：Bergenthum，R.，Desel，J.（编辑）Algorithmen und Werkzeuge füR Petrinetze。18.2011年AWPN研讨会，Hagen，2011年9月，Tagungsband，第1-6页（2011）
[9] Cabac，L.，Moldt，D.，Rölke，H.：构建基于Petri网的代理交互协议的建议。In：van der Aalst，W.M.P.，Best，E.（编辑）ICATPN 2003。LNCS，第2679卷，第102-120页。施普林格，海德堡（2003）·doi:10.1007/3-540-44919-1-10
[10] Cabac，L.，Schlüter，J.：ImageNetDiff：支持发现Petri网差异的可视化辅助工具。In:15。2008年AWPN Algorithmen und Werkzeuge für Petrinetze研讨会。CEUR研讨会记录，第380卷，第93-98页。罗斯托克大学（2008年）。
[11] Duvigneau，M.，Moldt，D.，Rölke，H.：多智能体平台的并发架构。收录于：Giunchiglia，F.，Odell，J.，Weiß，G.（编辑）《第三届面向代理软件工程国际研讨会论文集》，AOSE 2002，博洛尼亚，第147-159页。ACM出版社（2002）·Zbl 1018.68623号
[12] Fielding，R.T.，Taylor，R.N.：现代Web架构的原则设计。ACM事务处理。互联网技术。2, 115-150 (2002). ·数字标识代码：10.1145/514183.514185
[13] Greenwood，D.，Calisti，M.：工程Web服务-代理集成。2004年IEEE系统、人与控制论国际会议，第2卷，第1918-1925页（2004）
[14] Hinz，S.、Schmidt，K.、Stahl，C.：将BPEL转换为Petri网。收录人：van der Aalst，W.M.P.，Benatallah，B.，Casati，F.，Curbera，F.（编辑）BPM 2005。LNCS，第3649卷，第220-235页。斯普林格，海德堡（2005）·doi:10.1007/11538394_15
[15] Kindler，E.，Rubin，V.，Wagner，R.：组件工具：将Petri网与其他形式化方法集成。收录：Donatelli，S.，Thiagarajan，P.S.（编辑）ICATPN 2006。LNCS，第4024卷，第37-56页。斯普林格，海德堡（2006）·doi:10.1007/11767589_3
[16] Köhler，M.，Moldt，D.，Rölke，H.：建模Petri网代理的结构和行为。收录：Colom，J.-M.，Koutny，M.（编辑）ICATPN 2001。LNCS，第2075卷，第224-241页。斯普林格，海德堡（2001）·Zbl 0986.68708号 ·doi:10.1007/3-540-45740-2_14
[17] Kummer，O.、Wienberg，F.、Duvigneau，M.、Schumacher，J.、Köhler，M.，Moldt，D.、Rölke，H.、Valk，R.：Petri网的可扩展编辑器和模拟引擎：·doi:10.1007/978-3-540-27793-4_29
[18] León Soto，E.：使用Web服务进行代理通信，这是一种用于jade的新的FIPA消息传输服务。作者：Petta，P.，Müller，J.P.，Klusch，M.，Georgeff，M.（编辑）MATES 2007。LNCS（LNAI），第4687卷，第73-84页。斯普林格，海德堡（2007）。 ·doi:10.1007/978-3-540-74949-3_7
[19] Melliti，T.、Haddad，S.、Suna，A.：Web-masi：使用基于Web服务的方法的多代理系统互操作性。摘自：智能代理技术国际会议，IEEE/WIC/ACM，第739-742页。IEEE计算机学会，华盛顿特区（2005）
[20] Miyamoto，T.，Kumagai，S.：自治分布式系统的代理网络方法。摘自：《1996 IEEE系统、人与控制论学报》，1996年10月14日至17日，中国北京，第3204-3209页（1996）
[21] Moldt，D.，Offermann，S.，Ortmann，J.：基于Petri网的Web服务体系结构。收录于：Cavedon，L.、Kowalczyk，R.、Maamar，Z.、Martin，D.、Müller，I.（eds.）《面向服务的计算和基于代理的工程研讨会论文集》，SOCABE 2005，荷兰乌得勒支，2005年7月26日，第33-40页（2005）
[22] Padberg，J.，Ehrig，H.：基于转换的组件框架中的Petri网模块。逻辑代数程序。97(1-2), 198-225 (2006) ·Zbl 1088.68129号 ·doi:10.1016/j.jlap.2005.09.007
[23] Pautasso，C.，Zimmermann，O.，Leymann，F.：Restful web services vs.“big”web services：做出正确的架构决策。摘自：第17届万维网国际会议记录，WWW’08，第805-814页。ACM，纽约（2008）。
[24] Reisig，W.：软件工程中的Petri网。收录：Brauer，W.，Reisig，W.，Rozenberg，G.（编辑）《Petri网：对其他并发模型的应用和关系》。LNCS，第255卷，第62-96页。斯普林格，海德堡（1987）。
[25] Shafiq，M.O.，Ding，Y.，Fensel，D.：桥接多代理系统和Web服务：实现软件代理和语义Web服务之间的互操作性。摘自：第十届IEEE国际企业分布式对象计算会议，EDOC’06，第85-96页（2006）
[26] Valk，R.：对象Petri网——使用网络中的网络范例。收录人：Desel，J.、Reisig，W.、Rozenberg，G.（编辑）ACPN 2003。LNCS，第3098卷，第819-848页。斯普林格，海德堡（2004）·Zbl 1088.68135号 ·doi:10.1007/978-3-540-27755-2_23
[27] Wagner，T.、Quenum，J.、Moldt，D.、Reese，C.：为工作流管理提供代理风格的集成。收录于：Jensen，K.、Donatelli，S.、Kleijn，J.（编辑）ToPNoC V.LNCS，第6900卷，第243-264页。斯普林格，海德堡（2012）·doi:10.1007/978-3642-29072-5_11
[28] K·沃尔夫：我的服务有合作伙伴吗？收录人：Jensen，K.，van der Aalst，W.M.P.（编辑）ToPNoC II。LNCS，第5460卷，第152-171页。斯普林格，海德堡（2009）。（处理软件信息系统并发性专题）·Zbl 1235.68321号 ·doi:10.1007/978-3-642-00899-3_9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。