TPN和B方法集成的形式化技术在Web Service中的应用

姜梦稚

首页> 中文期刊> 《计算机应用与软件》 >TPN和B方法集成的形式化技术在Web Service中的应用

TPN和B方法集成的形式化技术在Web Service中的应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍TPN和B方法的集成,并将之运用在Web Service中.通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网.给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述.

著录项

来源
《计算机应用与软件》 |2009年第11期|77-80|共4页
作者
姜梦稚;
展开▼
作者单位

上海电机学院电子信息学院;

上海;

200240;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
TPN; B方法; WebService; BPEL4WS;

相似文献

中文文献
外文文献
专利

1. TPN与B方法集成的形式化技术 [J] . 姜梦稚 . 华东理工大学学报（自然科学版） . 2007,第0z1期
2. TPN与B方法集成的形式化技术 [J] . 姜梦稚 . 华东理工大学学报：自然科学版 . 2007,第B06期
3. Web Services技术手段在异构系统集成中的应用实践 [J] . 黄博怡 . 现代工业经济和信息化 . 2017,第009期
4. Web Services技术在异构系统集成中的应用研究 [J] . 任捷 ,吴明晖 ,应晶 . 计算机应用 . 2004,第001期
5. Web Services技术在企业信息集成中的应用 [J] . 马凌 ,陈洪亮 . 微型电脑应用 . 2004,第010期
6. Web Services技术在MES系统集成中的应用 [C] . 周维 ,许阳 ,顾威 . 第二届国防科技工业信息化推进大会 . 2012
7. 基于B语言与TPN集成的形式化方法 [A] . 姜梦稚 . 2006

TPN和B方法集成的形式化技术在Web Service中的应用

摘要

著录项

相似文献

相关主题

期刊订阅