收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于SPIN的BPEL4WS一致性验证

苏焕程  黄志球  刘林源  
【摘要】:随着业务过程的结构及交互过程越来越复杂,设计出的系统需要数次的模型转换——由较抽象的纯业务过程模型转换为较低层次的可执行的应用型模型,如BPEL4WS。但在这些模型的转换结束之后。一些关键的特性必须能被维持。为了确保这些特性在模型转换后仍然能够成立,本文通过将BPEL4wS转换为Promela语言而将模型需要维持的特性转换为线性时态逻辑的表迭式。从而使用模型检测工具Spin来验证BPEL4wS是否对抽象的业务过程模型设计中所要求的重要特性保持了一致性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄波;应时;张韬;贾向阳;;一种基于反射的BPEL业务过程动态演化方法[J];计算机应用研究;2007年05期
2 曾云峰;周航;黄志球;;BPEL的测试用例生成研究[J];计算机工程与设计;2008年20期
3 林强;胡昊;吕建;;基于对象Petri网的BPEL建模技术[J];计算机工程;2009年02期
4 舒良春;饶俊;肖美华;尹传文;;基于Promela的UML建模方法及其应用[J];计算机与现代化;2010年02期
5 陈大伟;董荣胜;郭云川;古天龙;;IKEv2协议的SPIN模型检测[J];计算机工程;2006年05期
6 姜洋;罗贵明;;Petri网模型的扩展与检测[J];计算机应用;2007年01期
7 冯杰;;WTP协议的SPIN模型检测[J];电脑知识与技术;2008年34期
8 冯艳清;;PROMELA语义引擎执行研究[J];电脑知识与技术;2008年35期
9 周瑾;吴尽昭;杨建书;;基于Spin检测语义Web服务过程模型[J];计算机应用;2010年S2期
10 陈道喜;陈冬火;张广泉;;TCP协议的安全性和活性验证[J];苏州大学学报(自然科学版);2008年01期
11 黎升洪;冯艳清;;SPIN语义引擎执行方式研究[J];计算机与现代化;2009年11期
12 高春雨;朱学永;;安全协议Andrew RPC的SPIN模型检测[J];网络安全技术与应用;2009年05期
13 陈道喜;戎玫;张广泉;;基于Spin的SET协议模型检测研究[J];计算机工程与科学;2009年09期
14 敬超;常亮;古天龙;;基于SPIN的无线传感器网络安全协议建模与分析[J];计算机科学;2009年10期
15 李元;唐郑熠;李祥;;炼焦过程控制计算机故障的分析与模型检测[J];计算机与数字工程;2010年01期
16 王大伟;张大方;缪力;;一种自动化模型检测ANSI-C程序的实用方法[J];计算机工程与科学;2010年04期
17 陈宁军;许博;吴春寒;;基于Spin的Rdt2.2及其改进的形式化分析[J];微计算机信息;2009年15期
18 段风琴;李祥;;Petri网性质的线性时序逻辑描述与Spin检验[J];计算机科学;2006年05期
19 张频;罗贵明;;UML模型检测方法的研究[J];计算机应用;2007年10期
20 吴昌;肖美华;;基于SPIN的IKEv2协议高效模型检测[J];计算机工程与应用;2008年05期
中国重要会议论文全文数据库 前2条
1 苏焕程;黄志球;刘林源;;基于SPIN的BPEL4WS一致性验证[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
2 刘超;唐涛;;基于Epsilon的列控系统模型转换及规范验证[A];中国自动化学会控制理论专业委员会B卷[C];2011年
中国硕士学位论文全文数据库 前10条
1 陈道喜;基于Promela的组合抽象Spin模型检测及应用[D];苏州大学;2009年
2 刘俏威;SPIN模型检测的形式化分析机理研究及应用[D];南昌大学;2008年
3 单卓为;基于SPIN的UML模型验证技术的研究[D];西北大学;2008年
4 龚爱民;基于模型检测的模型驱动式开发系统的设计与实现[D];华东师范大学;2008年
5 王大伟;面向自动化模型检测的模型提取工具的设计与实现[D];湖南大学;2009年
6 陈栋;UML交互图的模型验证方法研究[D];华东师范大学;2009年
7 孙守卿;基于模型检测工具SPIN的安全协议分析和验证[D];兰州大学;2006年
8 王巧丽;SPIN模型检测的研究与应用[D];贵州大学;2006年
9 张小研;SOA流程的建模与验证[D];北京交通大学;2010年
10 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978