陈伟清

作品数：3被引量：7H指数：1
导出分析报告
供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
发文主题：多视点软件系统一致性BPEL代码实现更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《小型微型计算机系统》《计算机科学》更多>>
所获基金：国家自然科学基金国家教育部博士点基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有色Petri网协作模型的BPEL代码实现
《计算机科学》2008年第11期262-266,共5页邓新国 林子禹 陈伟清 肖如良 李玲 房丽娜 
国家自然科学基金(No.90604005)
Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行...
关键词：PETRI网 模型 BPEL WEB服务 
一种检查层次式有穷状态机一致性的方法被引量：1
《小型微型计算机系统》2000年第12期1324-1326,共3页蔡持峰 陈伟清 毋国庆 
国家自然科学基金!(6 98730 35 );教育部重点项目基金资助
本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测
关键词：层次式有穷状态机 一致性 检查 实时控制系统 
基于多视点的需求描述模型被引量：6
《小型微型计算机系统》2000年第9期953-957,共5页李剑 毋国庆 陈伟清 
国家自然科学基金;高等学校博士学科点专项科研基金
本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例 。
关键词：需求工程 软件系统 需求描述模型 多视点 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部