您的位置： 专家智库 > >

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

作品数：10 被引量：26H指数：4
相关作者：高春鸣黄园媛刘荣胜陈火旺袁勇福更多>>
相关机构：湖南师范大学国防科学技术大学湖南商学院更多>>
发文基金：湖南省自然科学基金湖南省重点科技攻关项目湖南省教育厅科研基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 9篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 1篇理学

主题

  • 2篇网络
  • 2篇互模拟
  • 2篇Π-演算
  • 2篇WEB服务组...
  • 2篇BPEL4W...
  • 2篇WEB服务
  • 1篇动态时间归整
  • 1篇形式化
  • 1篇业务流
  • 1篇业务流程执行...
  • 1篇遗传算法
  • 1篇移动工作台
  • 1篇执行语言
  • 1篇时间序列
  • 1篇树型
  • 1篇树型编码
  • 1篇数据流
  • 1篇通信
  • 1篇通信协议
  • 1篇子序列

机构

  • 9篇湖南师范大学
  • 3篇国防科学技术...
  • 1篇湖南涉外经济...
  • 1篇湖南铁道职业...
  • 1篇湖南商学院

作者

  • 8篇高春鸣
  • 2篇刘荣胜
  • 2篇陈火旺
  • 2篇黄园媛
  • 1篇陈为满
  • 1篇黄邵
  • 1篇苏亮
  • 1篇陈承欢
  • 1篇陈荣平
  • 1篇宋艳
  • 1篇陈明
  • 1篇蔡美玲
  • 1篇袁勇福
  • 1篇李津
  • 1篇李勇

传媒

  • 3篇计算机工程与...
  • 2篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇计算机应用与...
  • 1篇计算机应用

年份

  • 1篇2009
  • 3篇2008
  • 2篇2007
  • 2篇2006
  • 1篇2005
共 10 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
基于活动网络图的工作流过程定义工具的研究被引量：11
2006年
该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。
黄园媛高春鸣
关键词：工作流模型活动网络图
基于Mobile Ambients的网络实时模拟方法
2009年
在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议,结果表明了该方法的可行性。
陈承欢刘荣胜高春鸣
关键词：形式化MOBILE通信协议
基于树型编码遗传算法的Web服务组合被引量：1
2008年
提出一种基于QoS的Web服务组合的遗传算法(TGA)。该算法采用树型编码,携带流程的静态模型结构信息,可实现染色体的自动编解码和存储适应值计算的中间结果。通过仿真实验,验证了在同等优化效果下,TGA比一维编码遗传算法获得更快的速度。
蔡美玲陈荣平陈明
关键词：WEB服务选择QOS遗传算法树型编码
Web服务组合的互模拟验证被引量：6
2006年
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
袁勇福高春鸣刘荣胜
关键词：Π-演算
基于移动工作台的BPEL4WS死锁验证被引量：6
2007年
描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证,并给出一个具体示例。
宋艳高春鸣
关键词：Π-演算移动工作台
基于时间Ambient演算的业务流程模型验证
2008年
Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻辑。基于DTMA演算及其模态逻辑的子集给出了模型验证算法,提出了一种对BPEL4WS程序的形式化建模方法,实现了业务流程的活动可达性的模型验证。
李津李勇高春鸣
关键词：模态逻辑业务流程执行语言
Web服务组合语言的出错与补偿处理的pi演算编码
2007年
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。
高春鸣黄邵陈火旺
关键词：BPEL4WSPI演算
数据流上快速子序列匹配被引量：1
2008年
数据流技术目前已广泛应用于金融分析、网络监控及传感器网络等诸多领域,而已有的相似性匹配技术主要针对时间序列数据库,难于直接应用于高速、连续、实时、海量的流数据,因此在数据流上渐进、实时地进行子序列匹配成为一个极具价值和挑战性的问题。在动态时间规整技术的基础上,设计了一种新颖的界限机制,充分利用相似性阈值,尽量减少冗余计算,算法完全符合数据流"单遍扫描"的性能要求,并通过大量的模拟和真实数据实验表明:与现有的SPRING算法相比,在不损失任何算法精度的前提下,仅增加几个字节的空间开销,速度至少提高3倍。
陈为满苏亮高春鸣
关键词：时间序列子序列匹配动态时间归整数据流
基于CCS的软件规范描述及实例研究被引量：4
2005年
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。
高春鸣黄园媛陈火旺
关键词：CCS
全选 清除 导出
共1页<1>
聚类工具0