软件工程国家重点实验室开放基金(SKLSE05-13)

作品数：3被引量：4H指数：1
导出分析报告
相关作者：曾红卫缪淮扣王家栋周建云更多>>
相关机构：上海大学更多>>
相关期刊：《现代电子技术》《上海大学学报（自然科学版）》《应用科学学报》更多>>
相关主题：WEB应用设计WEB应用时态逻辑业务流XPDL更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于数据流的组件测试
《应用科学学报》2007年第6期621-626,共6页曾红卫 周建云 
国家自然科学基金(60673115);软件工程国家重点实验室开放基金(SKLSE05-13)资助项目
用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用...
关键词：组件状态机 数据流测试 组件流图 最短定义一使用路径 
一种验证Web应用设计的方法被引量：4
《上海大学学报（自然科学版）》2007年第5期578-582,共5页曾红卫 缪淮扣 
国家自然科学基金资助项目(60673115);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE05-13)
提出一种表示Web应用的请求/响应导航关系的形式化行为模型,给出一种基于模型检查的Web应用设计的验证方法并描述了用时态逻辑CTL表示Web应用性质的方法.设计了一个检验方法可行性的原型框架,该原型嵌入自动化模型检查工具NuSMV,提供从...
关键词：WEB应用 验证 模型检查 时态逻辑 
基于XPDL的嵌入式工作流引擎研究与设计
《现代电子技术》2007年第18期32-36,共5页王家栋 曾红卫 
武汉大学软件工程国家重点实验室开放基金(SKLSE05-13)
针对以往业务系统软件设计中业务操作自发地控制整个系统的业务流向所造成的代码结构不明确,代码维护重构困难的问题,提出一个基于XPDL流程定义的嵌入式、轻量级工作流引擎,此工作流引擎实现工作流联盟的标准接口,并在此基础上对标准XPD...
关键词：嵌入式 工作流引擎 XPDL 业务流 JAWE活动 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部