位置：成果数据库 > 期刊 > 期刊详情页
Web服务编排中信息对齐交互建模方法研究
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]江西财经大学信息管理学院,南昌330013
  • 相关基金：国家自然科学基金（the National Natural Science Foundstion of China under Grant No.60970007） 国家高技术研究发展计划（863）（the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z144）
作者： 黎升洪[1]
关键词： WEB服务, 进程代数, Web编排, 形式化建模, Web services, process algebra, choreography of Web services, formal modeling
中文摘要：

针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模。

英文摘要：

A Process Algebra for Web Service（PA4WS） is proposed to model asynchronous Interaction Based Information Alignmen（tIBIA） in WS-CDL of Web service choreography.PA4WS equips the operator of WorkUnit of WS-CDL,which is convenient to describe asynchronous interaction by setting guard-condition and repeat-condition and IBIA.

同期刊论文项目
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
同项目期刊论文
基于LSC模型检验的性质抽取
Describing Dynamic Semantics of Formal Specification Language Object-Z Using LTS
OWL-S到Z规格说明的转换
Model-Based Boundary Coverage Criteria for Logic Expressions
Model checking the reliability of interactive behaviors for mobile computing
基于场景的形式化测试模型生成方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
优化基于模型检验的测试生成
Verifying web services composition based on interface automata using SPIN
模型检验在构件数据流测试中的应用
基于XML的Web应用模型抽取
威胁驱动的Web应用On-The-Fly导航模型验证方法
确定性有限状态机的最小测试成本迁移覆盖准则
基于Object-Z的Web组件形式化建模
Object-Z规格说明测试用例的自动生成器
构件式实时系统建模与验证研究
1Web应用中数据库交互行为验证
Generating test case specifications of web service composition using model checking
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887