论文部分内容阅读
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。
一种基于产生式的流程模型分析方法
【摘 要】
：
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。
【机 构】
：
中国科学院软件研究所软件工程技术中心
【出 处】
：
计算机应用研究
【发表日期】
：
2007年04期
【基金项目】
：
国家“973”计划资助项目（2002CB312005）,国家自然科学基金资助项目（60203029）,国家“863”计划资助项目（2001AA113010,2001AA414020）
其他文献
各行各业的飞速发展使得人们对于电力资源的需求量不断地增大。在配电网运行的过程中,巨大的用电的压力对用电质量提出了要求,一旦出现运行不畅等配电网的事故问题会造成大规
依据概率密度逼近提出了一种新的无监督特征排序,应用于特征选择降维。实验证明,这种方法与一些现有的方法相比,更为有效。
针对水下无线传感器节点的定位问题进行研究,提出了一种可实现网络规模升级的分布式无信标节点的自定位算法。该定位算法无须额外的硬件支持,仅采用节点间的距离信息建立相对坐标系,确定各节点的相对位置。详细介绍了该算法的实现过程,通过仿真讨论了求精过程、通信半径等对定位误差的影响,并验证了该算法的合理性。为目标跟踪、地理路由、网络管理等系统功能提供了有力的技术支持。
提出了一种新的图像中人眼检测算法,在一幅已知的人脸图像中首先采用同态滤波算法增强图像的对比度,然后利用迭代式阈值选择法对图像进行二值化处理,根据传统的先验知识获得眼睛的候选区域。根据眼睛的构造提出了一种基于最小外接矩形的自定义模板来实现眼睛的最终定位并利用区域质心标定出了眼睛区域的中心位置。实验证明,本算法简单实用,能够有效地实施人眼的检测,具有较高的检测精度。
对隐式经验核心概念及性质进行了形式化的定义与分析,提出了一个新的服务发现模型——ICSSD模型,该模型解决了扩展发布机制、基于语义本体及扩充服务规约结构的方法所不能解决的问题。在服务的行为和QoS参数随时间的变化而不断变化的过程中,服务的功能与非功能特性的表现和控制问题得到一种可行的解决方案。SR-Service服务推荐系统的开发实践表明,ICSSD模型有效提高了服务发现的效率,同时也为Web服务
将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。
空间区域的拓扑关系和方位关系是空间推理的重要研究内容,以往的工作集中在单一的空间方面,这不能满足实际应用领域的需要。基于主方位模型给出了主方位关系的形式化定义,考虑到拓扑与方位间的相互依赖关系,提出了结合拓扑和方位的定性表示与推理算法,能够处理多方面空间信息,在空间数据库和机器人导航等领域具有实际应用价值。
针对Internet遥操作中的变时延问题,介绍现有的解决方法,并在分析目前普遍采用的单TCP连接控制方式局限性的基础上,提出基于多连接的时延控制方案。该方法避免了单连接控制方式产生的时延连锁累积问题,能在一定程度上减小平均时延和最大时延,并能保证其在一定范围内平稳波动。最后,通过控制单向变时延的实验,证明了该方法的有效性和可行性。
如何提高存储子系统的I/O性能一直以来都是计算机领域的一个研究热点,而目前提高存储子系统的I/O性能的一个最大障碍就是负载不均衡。提出了一种采用基因表达式编程(GEP)来实现基于分条技术的磁盘动态负载均衡的算法。该方法包括基于分条技术的文件划分算法和为实现负载均衡的文件分配算法。该算法采用多基因家族结构的染色体编码来表示物理磁盘组与逻辑磁盘的映射关系。在操作上,采用选择复制、倒置和交换等特殊的搜索
面向方面编程(AOP)允许程序员将跨越多个模块的横切关注行为封装到一个可重用的模块中,极大地增强了系统的可维护性和代码的重用性。但这样的新特性也给测试带来了新的挑战,因为方面与原始模块之间错综复杂的依赖关系可能导致新的错误,从而使得传统的测试方法不能很好适应。以AOP错误模型为基准,对四种具有代表性的AOP测试方法发现错误的能力和有效性进行了深入详细的研究和对比,分析总结了目前面向方面测试技术领域