湖南省自然科学基金(03JJY6023)

作品数：10被引量：17H指数：3
导出分析报告
相关作者：高春鸣黄园媛刘荣胜陈火旺袁勇福更多>>
相关机构：湖南师范大学国防科学技术大学湖南商学院湖南涉外经济学院更多>>
相关期刊：《计算机应用与软件》《计算机工程》《中国科技信息》《计算机工程与设计》更多>>
相关主题：Π-演算BPEL4WS互模拟WEB服务组合工作流模型更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Mobile Ambients的网络实时模拟方法
《计算机工程与设计》2009年第4期869-872,共4页陈承欢 刘荣胜 高春鸣 
湖南省重点科技攻关基金项目(05GK2002);湖南省自然科学基金项目(03JJY6023)
在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambie...
关键词：形式化 类型系统 实时演算 MOBILE Ambients 通信协议 
数据流上快速子序列匹配被引量：1
《计算机工程与应用》2008年第36期174-178,183,共6页陈为满 苏亮 高春鸣 
湖南省重点科技攻关项目(No.05GK2002);湖南省重大科技攻关项目(No.06GK4034);湖南省自然科学基金(No.03JJY6023)~~
数据流技术目前已广泛应用于金融分析、网络监控及传感器网络等诸多领域,而已有的相似性匹配技术主要针对时间序列数据库,难于直接应用于高速、连续、实时、海量的流数据,因此在数据流上渐进、实时地进行子序列匹配成为一个极具价值和...
关键词：时间序列 子序列匹配 动态时间归整 数据流 
基于树型编码遗传算法的Web服务组合被引量：1
《计算机应用与软件》2008年第11期60-62,共3页蔡美玲 陈荣平 陈明 
湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金项目(03JJY6023);湖南省教育厅科学研究项目(08C517)
提出一种基于QoS的Web服务组合的遗传算法(TGA)。该算法采用树型编码,携带流程的静态模型结构信息,可实现染色体的自动编解码和存储适应值计算的中间结果。通过仿真实验,验证了在同等优化效果下,TGA比一维编码遗传算法获得更快的速度。
关键词：WEB服务选择 QOS 遗传算法 树型编码 
基于时间Ambient演算的业务流程模型验证
《计算机工程与设计》2008年第3期554-559,共6页李津 李勇 高春鸣 
湖南省重点科技攻关基金项目(05GK2002);湖南省自然科学基金项目(03JJY6023);长沙市科技攻关重大基金项目(K06070001-12)
Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻...
关键词：离散时间Ambient演算 移动进程 模态逻辑 模型验证 业务流程执行语言 
基于π演算的异构Web服务组合的互操作
《中国科技信息》2007年第6期130-132,135,共4页廖志军 高春鸣 
湖南省重点科技攻关项目(编号:05GK2002);湖南省自然科学基金项目(编号:03JJY6023)
采用针对Web服务组合协议的扩充π-演算,形式化地描述了Web服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范、适配器生成规范和由规范制导的适配器生成方法。通过适配器生成过程的...
关键词：异构Web服务组合 BPEL4WS WSCI Π-演算 适配器 
Web服务组合语言的出错与补偿处理的pi演算编码
《计算机工程与科学》2007年第3期112-116,127,共6页高春鸣 黄邵 陈火旺 
湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并...
关键词：BPEL4WS PI演算 出错与补偿处理 
基于移动工作台的BPEL4WS死锁验证被引量：4
《计算机工程》2007年第1期92-94,97,共4页宋艳 高春鸣 
湖南省重点科技攻关基金资助项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)
描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证,并给出一个具体示例。
关键词：Web服务的业务流程执行语言 Π-演算 移动工作台 死锁验证 
Web服务组合的互模拟验证被引量：2
《计算机应用》2006年第10期2466-2469,共4页袁勇福 高春鸣 刘荣胜 
湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互...
关键词：Π-演算 商业流程可执行语言 开互模拟 on-the-fly算法 模型验证 
基于活动网络图的工作流过程定义工具的研究被引量：7
《计算机工程与应用》2006年第2期48-51,共4页黄园媛 高春鸣 
湖南省自然科学基金资助项目(编号:03JJY6023)
该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全...
关键词：工作流模型 活动网络图 过程定义 建模工具 
基于CCS的软件规范描述及实例研究被引量：3
《计算机工程与应用》2005年第23期47-50,66,共5页高春鸣 黄园媛 陈火旺 
湖南省自然科学基金项目(编号:03JJY6023)
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔...
关键词：CCS 软件规范 进程迁移图 强互模拟 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部