陈伟清
- 作品数：3 被引量：11H指数：1
- 供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 有色Petri网协作模型的BPEL代码实现被引量：1
- 2008年
- Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。
- 邓新国林子禹陈伟清肖如良李玲房丽娜
- 关键词：PETRI网BPELWEB服务
- 基于多视点的需求描述模型被引量：9
- 2000年
- 本文提出了一个基于多视点的需求描述模型 ,该模型可通过视点模板来定义用户的需求 .此外 ,本文也结合一个管理信息系统的实例 。
- 李剑毋国庆陈伟清
- 关键词：软件系统多视点
- 一种检查层次式有穷状态机一致性的方法被引量：1
- 2000年
- 本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测
- 蔡持峰陈伟清毋国庆
- 关键词：一致性
