西北大学信息科学与技术学院软件工程研究所
- 作品数：82 被引量：436H指数：12
- 相关作者：葛玮陈文海宁安良马临萍郭全更多>>
- 相关机构：中国人民公安大学刑事科学技术系西安交通大学电子与信息工程学院陕西师范大学计算机科学学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信经济管理理学更多>>
- Java中的持久性存储技术——JDBC和JDO被引量：5
- 2006年
- 在实际的企业应用程序中,开发人员可以通过多种方式来实现数据的持久化存储。例如,使用Java序列化并存储整个对象的二进制表示;较通用的企业方案是通过EJB来使用应用程序服务器的工具;或者使用JDBC存储在数据库中,还有就是通过JDO。文中主要介绍了JDBC和JDO技术,并把JDBC和JDO作了比较,讨论了各自的特性和不同点,并突出了常见的误解。最后得出一般性的结论:它们是互补的API,每个都为各自的目的而很好地服务。
- 冯战郝克刚葛玮
- 关键词：JDOJDBC序列化
- 扩展的信牌驱动模型与Petri网被引量：19
- 2004年
- 为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。
- 郝克刚王斌君
- 关键词：工作流模型PETRI网计算机辅助管理
- 一种基于软件复用的过程模型
- 软件复用技术是软件产业规模化、工业化的根本途径,软件工程过程管理是解决软件危机的最有效的方法,因而建立、管理和改进软件复用过程可以提高软件复用技术开发方法效率和速率,改进软件产品质量.本文讲述了三大软件复用技术,建立了完...
- 李亚红郝克刚葛玮
- 关键词：软件复用软件开发
- 文献传递
- 非确定Petri网被引量：9
- 2003年
- 根据描述工作流模型的实际应用背景 ,提出了非确定变迁、非确定 Petri网等概念 ,并定义了 Petri网的等价关系 ,证明了在这种等价关系的意义下 ,非确定 Petri网与传统的确定
- 郝克刚王斌君
- 关键词：PETRI网等价性工作流管理系统
- 扩展的信牌驱动模型中配对结构之研究被引量：3
- 2003年
- 在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
- 王斌君董护斌郝克刚
- 关键词：工作流模型PETRI网
- 流程挖掘在业务流程分发中的应用
- 2010年
- 对SOA中业务流程引擎按活动分解业务流程执行语言流程,针对此类活动封装到代理中时产生代理数量过多的情况,提出一个基于流程挖掘的智能流程分发方法,该方法能在3个方面提高系统的性能:改善业务流程在运行时的自适应性;根据检测相关性最强的活动封装到代理中选择最优代理;通过减少代理数量和改善代理信息的方式减少资源的使用。
- 徐彰杰葛玮
- 关键词：业务流程执行语言面向服务架构
- 分布式工作流系统实现技术分析被引量：27
- 2003年
- 分布式工作流系统是相对于早期的集中式工作流管理系统而言的.工作流管理系统的分布分为三个层次:工作流系统体系结构的分布、工作流引擎的分布和工作流定义的分布.本文介绍了实现工作流引擎的分布所涉及的关键技术,并通过对几种典型的分布式工作流系统实现方案的比较和分析,讨论了不同实现技术的优点以及存在的问题.
- 龚晓庆张远军郝克刚
- 关键词：工作流引擎分布式工作流管理系统移动代理
- 模型检测在软件需求分析及设计中的应用被引量：3
- 2009年
- 模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现。总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直接的模型检测,并从不同角度对已有技术进行系统的分析和比较。最后对该项技术研究的方向进行展望。
- 贺亚博郝克刚葛玮
- 关键词：模型检测工具
- Web服务动态组合中QoS计算方法研究被引量：3
- 2011年
- 通过在Web服务动态组合中引入形式化的服务质量(QoS)描述、服务提供商因子、服务消费者因子,提出基于层次分析法的QoS计算方法。该方法根据服务消费者期望值选择QoS因子,利用QoS权重值计算Web服务的质量,在此基础上给出一个基于QoS计算的Web服务组合模型,并通过实例计算,证明利用该QoS计算方法可以得到更高质量的增值服务。
- 张琦侯红
- 关键词：服务质量层次分析法
- 一个划算的回归测试用例排序的成本-收益模型被引量：2
- 2009年
- 回归测试是一个昂贵的测试过程,它验证修改的软件,确认是否给已经测试的代码引进了新的错误。因为在软件开发的过程中,测试人员给测试包中增加了新的测试用例,使软件确认更加困难。为了使回归测试更经济划算,提出了很多技术和方法。测试用例选择,测试包缩减,测试用例排序可以帮助我们减少需要运行的测试用例数目,同时能够更快地满足测试目标。测试用例排序是在满足某个性能目标的基础上,保证在测试过程中首先执行更重要的功能。以前的研究提出了一个性能目标:缺陷发现率(APFD),以及很多改善缺陷发现率的技术。但是这些技术运用起来非常昂贵,而且可能不会减少回归测试的成本。在以往研究的基础上,提出了一个成本-收益模型,为比较各种排序算法提供了一定依据。并在此基础上,提供了一个测试用例排序算法。
- 李红红郝克刚葛玮
