陕西省科学技术研究发展计划项目(2000K08-G12)
- 作品数：4 被引量：53H指数：3
- 相关作者：贾晓琳覃征何坚闫焱王立更多>>
- 相关机构：西安交通大学河北经贸大学更多>>
- 发文基金：陕西省科学技术研究发展计划项目国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于体系结构的软件分析设计过程模型被引量：18
- 2004年
- 引入软件体系结构技术,将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段,并提出了基于体系结构的软件分析设计过程(SADPBA)模型,该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间,再由结构设计空间映射到系统设计空间的过程.应用函数理论对模型进行了严格的数学定义和形式化描述,确保设计结果满足完备性、一致性和正确可追踪要求.在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制,并建立了基于体系结构的软件分析设计开发环境模型.与传统软件分析设计过程相比,SADPBA模型有严格的理论基础和工程原则,解决了软件系统从需求到实现的平缓过渡问题,提高了软件分析设计的质量和效率.
- 何坚贾晓琳覃征王向华
- 关键词：软件体系结构
- 一种扩展式动态环境演算范型的Petri网描述被引量：1
- 2008年
- 为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.
- 曹玉辉王卫红覃征
- 关键词：移动计算环境演算
- 基于J2EE的企业级Web Service体系结构被引量：29
- 2003年
- Web Service是下一代Web的主流技术，在电子商务、企业事务处理等方面有着巨大的应用前景。该文介绍了Web Service相关协议和标准，分析了Web Service基本组成要素，讨论了基于J2EE的企业级Web Service体系结构。
- 贾晓琳闫焱王立
- 关键词：WEB服务J2EE服务总线服务代理
- 基于体系结构描述的软件测试技术被引量：5
- 2005年
- 在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.
- 贾晓琳覃征何坚虞凡
- 关键词：体系结构软件测试
