×

从StPowla流程到SRML模型。 (英语) Zbl 1213.68217号


MSC公司:

68N99型 软件理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] Abreu J、Bocchi L、Fiadeiro JL、Lopes A(2007)为面向服务的系统建模指定和组合交互协议。在:网络化和分布式系统的形式化方法,第4574卷。计算机科学课堂讲稿。海德堡施普林格,第358–373页
[2] Abreu J,Fiadeiro JL(2008)面向服务交互的协调模型。摘自:《协调语言与模型学报》,第5052卷。计算机科学课堂讲稿。海德堡施普林格,第1-16页
[3] Adams M,ter Hofstede AHM,Edmond D,van der Aalst WMP(2006)Worklets:工作流中动态灵活性的面向服务的实现。收录:Meersman R、Tari Z(编辑)OTM会议(1),第4275卷。计算机科学课堂讲稿。海德堡施普林格,第291-308页
[4] Boreale M、Bruni R、Caires L、De Nicola R、Lanese I、Loreti M、Martins F、Montanari U、Ravara A、Sangiorgi D、Vasconcelos V、Zavataro G(2006)SCC:以服务为中心的微积分。收录于:Web服务和形式方法,第4184卷。海德堡斯普林格计算机科学课堂讲稿,第38-57页
[5] Bocchi L、Fiadeiro JL、Lapadula A、Pugliese R、Tiezzi F(2008)《从建筑到行为规范:将SRML编码到奶牛中》。技术报告,信息科学研究院,费伦泽大学,2008年。可在http://rap.dsi.unifi.it/cows/
[6] Bocchi L,Fiadeiro JL,Lopes A(2008)面向服务的汽车系统建模。第32届IEEE国际计算机软件和应用年会(COMPSAC)0,第1059–1064页
[7] Buscemi MG、Ferrari L、Moiso C、Montanari U(2007)《电信服务基于约束的政策协商和实施》
[8] Bocchi L、Gorton S、Reiff-Marganiec S(2008)《面向工程服务的应用:从StPowla过程到SRML模型》。In:Fiadeiro JL,Inveradi P(eds)软件工程基本方法,第4961卷。计算机科学课堂讲稿。海德堡施普林格,第163-178页·兹比尔1213.68217
[9] Bocchi L,Hong Y,Lopes A,Fiadeiro JL(2007)《从BPEL到SRML:一种正式的转型方法》。摘自:Dumas M,Heckel R(eds)Web服务和形式化方法,第4937卷。海德堡斯普林格计算机科学课堂讲稿,第92-107页
[10] Broy M,Krüger IH,Meisinger M(2007)服务的正式模型。ACM事务处理。软件工程方法16(1):5·Zbl 05459560号 ·doi:10.1145/1189748.1189753
[11] Bocchi L,Lopes A,Fiadeiro JL(2008)正式面向服务建模的使用驱动方法。参加:关于利用正式方法的应用、验证和确认的国际研讨会。计算机科学课堂讲稿。海德堡施普林格(即将亮相)
[12] Bocchi L、Laneve C、Zavataro G(2003)《长时间运行事务的微积分》。收录于:FMOODS 2003,计算机科学课堂讲稿。海德堡施普林格·兹比尔1253.68056
[13] Buscemi MG,Montanari U(2007)Cc-pi:用于指定服务级别协议的基于约束的语言,第18-32页·Zbl 1187.68063号
[14] Boley H,Tabet S,Wagner G(2001)《规则ml的设计原理:语义web规则的标记语言》。收件人:Cruz IF、Decker S、Euzenat J、McGuinness DL(eds)SWWS,第381-401页
[15] Dustdar S、Fiadeiro JL、Sheth AP(eds)(2006)《业务流程管理》,第4102卷。计算机科学课堂讲稿。海德堡施普林格
[16] Schlimmer J(ed)Web服务策略1.2–框架(WS-policy)。W3C,2006年4月。http://www.w3.org/提交/WS-Policy/
[17] Fu X,Bultan T,Su J(2002)电子服务和工作流的正式验证。收录人:Bussler C、Hull R、McIlraith SA、Orlowska ME、Pernici B、Yang J(编辑)、WES,LNCS第2512卷,第188-202页·Zbl 1022.68656号
[18] Fiadeiro JL,Lopes A,Bocchi L(2006)服务组件架构的正式方法。Web服务和形式方法,第4184卷,第193-213页
[19] Guidi C、Lucchi R、Gorrieri R、Busi N、Zavataro G(2006)SOCK:面向服务计算的微积分。收录:Dan A,Lamersdorf W(eds)International condence on service-oriented computing,vol 4294。计算机科学讲义。海德堡施普林格,第327–338页
[20] Gnesi S,Mazzanti F(2005)uml状态图的模型检查验证环境。收件人:AICA,Udine 2005,2005年10月5日至7日
[21] Gorton S、Montangero C、Reiff-Marganiec S、Semini L(2007)StPowla:SOA、策略和工作流。摘自:2007年9月17日于奥地利维也纳举行的第三届面向服务的工程应用程序:分析、设计和组合国际研讨会论文集·Zbl 1141.68511号
[22] Gorton S,Reiff Marganiec S(2006)面向业务的web服务管理的政策支持。摘自:《第四届拉丁美洲网络大会会议记录》(LA-Web'06),第199-202页,美国华盛顿特区,2006年。IEEE计算机学会,洛斯阿拉米托斯
[23] Gorton S,Reiff-Marganiec S《面向任务、策略驱动的web服务业务需求规范》。收录:Dustdar等人[DFS06],第465-470页
[24] Gorton S,Reiff-Marganiec S《面向任务、策略驱动的web服务业务需求规范》。收录:Dustdar等人[DFS06],第465-470页
[25] Haas H,Brown A(2004)《Web服务词汇表》。W3C工作组说明,万维网联盟(W3C)。http://www.w3.org/TR/ws-gloss网站/
[26] Hamadi R,Benatallah B(2003)基于petri网的web服务组合模型。收录:Schewe K-D,Zhou X(编辑)ADC,CRPIT第17卷,第191-200页。澳大利亚计算机学会
[27] Halpern JY,Weissman V(2003)使用一阶逻辑推理政策。收录:第16届IEEE计算机安全基础研讨会(CSFW'03),187页,IEEE计算机学会,洛斯阿拉米托斯
[28] Lopes A,Fiadeiro JL,Bocchi L(2007)服务组件模块的代数语义。摘自:代数开发技术,第4409卷。计算机科学课堂讲稿。海德堡施普林格,第37-55页
[29] Lapadula A,Pugliese R,Tiezzi F(2007)web服务编排演算。摘自:欧洲规划研讨会,第4421卷。计算机科学课堂讲稿。海德堡施普林格,第33-47页·Zbl 1187.68070号
[30] Müller R,Greiner U,Rahm E(2004)Agentwork:支持基于规则的工作流适应的工作流系统。数据知识工程51(2):223–256·doi:10.1016/j.datak.2004.03.010
[31] Beisiegel M、Blohm H、Booz D、Dubray J、Colyer A、Edwards M、Ferguson D、Flood B、Greenberg M、Kearns D、Marino J、Mischkinsky J、Nally M、Pavlik G、Rowley M、Tam K、Trieloff C(2005)《使用面向服务架构的建筑系统》。白皮书、SCA联盟、,http://www.oracle.com/technology/tech/webservices/standards/sca/pdf/sca_White_Paper1_09.pdf
[32] Moses T(2005)可扩展访问控制标记语言规范。可从以下位置获得http://www.oasis-open.org
[33] Montangero C、Reiff-Marganiec S、Semini L(2007),基于逻辑的上诉政策冲突检测。在:Arbab F,Sirjani M(编辑)FSEN2007,第4676卷。计算机科学课堂讲稿。海德堡施普林格·Zbl 1141.68511号
[34] Montangero C、Reiff-Marganiec S、Semini L(2008)分布式策略的基于逻辑的冲突检测。Fundamentate Informatica(已接受)·Zbl 1154.68339号
[35] O'Sullivan J,Edmond D,ter Hofstede AHM(2005)非功能性服务属性的正式描述。技术报告FIT-TR-2005-01,昆士兰科技大学,布里斯班,2005年2月
[36] Reichert M,Dadam P(1998)Adeptflex支持工作流的动态更改,而不会失去控制。智能信息系统杂志10(2):93–129·Zbl 01919628号 ·doi:10.1023/A:1008604709862
[37] Reisig W(2005)web服务和业务流程的建模和分析技术。收录:Steffen M,Zavataro G(eds)开放式基于对象的分布式系统的形式化方法,第3535卷。计算机科学课堂讲稿。海德堡施普林格,第243-258页
[38] Reiff-Marganiec S(2003)《政策:让用户控制通话》。收录:Ryan MD、Meyer J-JCh、Ehrich H-D(编辑)对象、代理和功能,第2975卷。计算机科学课堂讲稿。海德堡施普林格,第189-208页
[39] Reiff-Marganiec S,Turner KJ,Blair L(2005)Appel:口音项目政策环境/语言。技术报告TR-161,斯特林大学
[40] Russell N、van der Aalst WMP、ter Hofstede AHM、Wohed P(2006)《关于uml 2.0活动图对业务流程建模的适用性》。收录:Stumptner M、Hartmann S、Kiyoki Y(编辑)APCCM,CRPIT第53卷,第95-104页。澳大利亚计算机学会
[41] Siewe F,Cau A,Zedan H(2003)访问控制策略实施的组合框架。摘自:2003年ACM安全工程形式化方法研讨会论文集。ACM出版社,纽约
[42] 面向服务的覆盖计算机的软件工程(Sensoria)。网站:http://sensoria.fast.de/
[43] Bistarelli S,Montanari U,Rossi F(1997),基于半环的约束满足和优化。美国临床医学杂志44(2):201–236·Zbl 0890.68032号 ·数字对象标识代码:10.1145/256303.256306
[44] van der Aalst WMP,ter Hofstede AHM(2005)《咆哮:又一种工作流语言》。信息系统30(4):245–275·Zbl 02238482号 ·doi:10.1016/j.is.2004.02.002
[45] van der Aalst WMP、ter Hofstede AHM、Kiepuszewski B、Barros AP(2003)《工作流程模式》。分布式和并行数据库,14(1):5–51,信息也可从http://www.workflowpatterns.com
[46] 王华杰(2006)《基于逻辑的业务流程分析与设计方法论:将业务策略与工作流模型联系起来》。亚利桑那大学博士论文
[47] Wirsing M、Bocchi L、Clark A、Fiadeiro JL、Gilmore S、Hölzl M、Koch N、Pugliese R(2007)《SENSORIA:面向服务的覆盖计算机工程》。麻省理工学院,剑桥(已提交)
[48] White SA(2004)《业务流程建模符号》。对象管理小组(OMG)和业务流程管理倡议。可从以下位置获得http://www.bpmn.org
[49] Wohed P、van der Aalst WMP、Dumas M、ter Hofstede AHM、Russell N。关于bpmn对业务流程建模的适用性。收录:Dustdar等人[DFS06],第161-176页
[50] Zhang X,Parisi-Prescce F,Sandhu R,Park J(2005)使用控制的形式化模型和政策规范。ACM事务处理。信息系统安全8(4):351–387·Zbl 05453948号 ·数字对象标识代码:10.1145/1108906.1108908
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。