首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 125 毫秒
1.
基于STN的计划执行过程时间冲突检测与消解   总被引:1,自引:0,他引:1  
计划执行过程中,各种不确定因素常常引起时间约束的违背.为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突.  相似文献   

2.
利用基于蒙特卡罗模拟的关键路径(CPM)优化算法模型,通过分析项目计划中各任务之间可能存在工序约束和期限约束对CPM的影响,提出了基于约束的CPM动态优化算法.该算法可得到CPM,工期及其统计特性和相关的冲突信息,为决策者提供更好的决策信息支持.采用Matlab,C#和SQL Server实现了所提出算法,实例分析验证了该算法的有效性.  相似文献   

3.
针对现有的委托方法中委托约束局限于用户角色的问题,提出了一种基于属性约束的权限委托机制ARPDM,使用先决条件、受托条件和撤销条件等对委托者和受托者的能力进行约束,能够增加权限委托的约束能力,从多个方面对委托者和受托者的委托行为进行控制。分析了委托过程中可能发生的委托约束冲突、冗余委托冲突和环状委托冲突等,设计了一种基于委托树的冲突检测算法,将冲突问题映射为树中结点的关系问题,能够通过一次遍历检测多种冲突,避免了传统方法需要多次检测的问题,具有较高的效率。  相似文献   

4.
为了能在运行时验证OCL约束,提出了约束验证框架.针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束.为了使OCL-Java代码根据设计的代码模式插入到Java程序中,对Java解析器作了修改.最后,实验结果表明了该方法的可行性.  相似文献   

5.
协同设计中定量化约束求解方法   总被引:2,自引:1,他引:2  
通过对约束满足与约束冲突的分析,提出了约束求解的定量化策略.基于变量不确定性,量化了约束满足程度与约束冲突程度,解决了约束求解过程中的优先权问题;给出了约束变化量及关联函数,为约束求解确立了具体的目标和实施方法,实现了约束求解过程的有序搜索.定量化约束求解策略不仅实现了对约束的有序及有效求解,而且真正地实现了在上游约束求解过程中定量地考虑下游约束求解问题.最后,利用随机仿真技术实现了基于变量不确定性的约束求解策略的验证.  相似文献   

6.
基于时间约束Petri网的一致性验证算法   总被引:2,自引:0,他引:2  
时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。  相似文献   

7.
时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。  相似文献   

8.
在实验室预约管理工作中,手工操作效率低、出错率高,而使用成品软件难以进行功能扩展与二次开发。针对这种情况,以浙江工业大学经济管理实验教学中心为背景,利用AOP面向切面技术实现能够动态检测预约冲突并满足实际应用需求的新型实验室预约系统。系统基于MVC设计模式,通过异常处理与事务管理机制检测预约冲突,并在运行时将检测程序以AOP切面方式嵌入业务处理流程中,对预约操作实行动态拦截,实现预约冲突的自动化检测与处理。系统提供线上预约与信息管理服务,便于功能扩展与数据对接,其开发技术具有通用性,对优化架构设计提升系统灵活性有一定的借鉴作用。  相似文献   

9.
针对协同设计冲突无法准确全面检测的问题,提出了一种基于约束的冲突检测模型。在分析了协同设计中约束分层和约束满足问题的基础上,该检测模型将约束划分为已知约束关系集合和未知约束关系集合两部分,分别对其进行冲突检测。采用区间传播算法验证已知约束关系集合;提出用免疫算法优化反向传播(BP)神经网络来模拟未知约束关系集合进行冲突检测,并与遗传算法优化BP神经网络进行对比,收敛速度提高了62.96%,证明了算法具有较快的收敛速度和较强的全局收敛能力。为实现计算机支持的冲突检测,研究了基于可扩展标记语言(XML)文档的约束关系集合表达方法,设计了基于约束满足的冲突检测系统的架构体系,并以C#和Matlab为平台开发了行星齿轮箱协同设计冲突检测系统。最后,通过实例验证了冲突检测模型的可行性和有效性。  相似文献   

10.
时间UML-Statecharts建模的工作流时序约束的一致性验证   总被引:1,自引:0,他引:1  
工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。  相似文献   

11.
基于OCL的面向方面监控框架   总被引:1,自引:0,他引:1       下载免费PDF全文
彭中  毛晓光 《计算机工程》2009,35(13):17-19,6
基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。  相似文献   

12.
基于AOP的软件运行轨迹捕获技术研究与实现   总被引:4,自引:0,他引:4  
张瞩熹  王怀民 《计算机应用》2008,28(5):1322-1324
借助面向方面编程(AOP)的关注点分离思想,提出了基于AOP的软件运行轨迹捕获技术,它能在不改变源代码的情况下为系统注入运行轨迹捕获和运行行为监测功能,从而有效提高系统中监控模块的松耦合性。以该技术为基础实现了系统运行轨迹分析工具SRT,该工具能够在改善系统模块性的同时,为软件轨迹监测、系统故障定位提供量化依据与可信性保障。  相似文献   

13.
介绍了基于面向方面编程(AOP)基本思想,分析了B/S多层架构中面向对象编程所面临的困境,介绍如何将AOP思想应用于B/S多层架构中的业务层,相比纯面向对象的实现突出显示了AOP在业务层事务处理上优越性。它主要体现在两个方面:系统架构清晰,可读性、复用性、扩展性增强;降低系统的耦合性,有利于团队成员分工合作,减少主业务开发人员负担。  相似文献   

14.
针对安全性质,提出一种植入式监控方法.使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射.该方法采用AOP(Aspect-Oriented Programming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力.  相似文献   

15.
本文借鉴AOP和Java容器的思想,提出了一种通过回调接口,实现类间通信的技术,并给出辅助应用框架,实现整个软件的业务逻辑和用户界面.  相似文献   

16.
一种基于AOP的分布式企业应用开发技术   总被引:2,自引:0,他引:2  
陈峰  饶若楠 《计算机仿真》2004,21(7):172-175
讨论了开发分布式企业应用在复杂性上的基本问题和目前软件工程领域提高模块化的一种新方法AOP,在此基础上提出基于AOP的分布式企业应用开发模型ADEAM。ADEAM由核心对象、“方面”和设计约束组成,通过一个迭代式的分离过程来构建。在此模型基础上,给出了一个由模型元素的管理工具、AOP语言扩展环境、“方面”模板仓库、合成策略的文件组成的原型系统。最后以在网管软件开发中的应用做了小结。  相似文献   

17.
AOP在HMIS系统管理中的应用   总被引:1,自引:0,他引:1  
医院管理信息系统(HMIS)中的系统管理功能是横跨各子系统的功能模块,而AOP(面向方面编程)是一种允许设计人员模块化横切关注点的新的编程技术,结合医院管理信息系统中系统管理的开发应用,分析了采用OOP技术处理横切关注点引发的问题和困难,介绍了在此情况下采用AOP技术的解决方案,给出了AOP技术在HMIS的系统管理开发中具体的应用示例,并在此基础上讨论了AOP技术的优越性.  相似文献   

18.
针对面向对象编程(OOP)中横切关注点与业务逻辑代码纠缠的现象,提出了一种面向方面编程(AOP)的统一建模方法以弥补OOP的不足;该基于UML的方面建模方法从AOP与OOP技术存在的问题出发,通过基于UML的AOP建模方法研究,提高了软件设计的模块化,增强了代码的重用性、维护性;最后,以银行系统ATM中的取款业务的建模为例来描述用UML建模过程,为AOP建模提供了一种新的研究思路。  相似文献   

19.
面向方面的程序设计(Aspect—Oriented Programming,AOP)是在继承OOP基础之上进行改进而来的一种创新的软件设计方法,通过引入方面概念,将应用程序中的核心业务逻辑同其提供支持的通用服务分离开来,从而降低代码之间的耦合度,增加程序的灵活性和可重用性。通过简介AOP在事务处理中的应用,介绍了Spring框架和AOP相结合的事务处理方法。通过采用Spring的AOP框架,使系统的核心业务逻辑和事务管理逻辑分开,从而系统的藕合性大大降低且易于扩展,面向方面编程提高了系统的模块性。  相似文献   

20.
Server‐side component models such as Enterprise JavaBeans (EJB) add powerful abstractions to the bare ‘business objects’ layer in order to support a clean separation of server‐side application logic from other concerns such as distribution, security, transaction management and persistence. An improved separation of concerns is also the main goal of aspect‐oriented programming (AOP). This paper compares the two approaches and reasons about the possibility of substituting (parts of) component models using AOP mechanisms. We conclude that AOP is a promising approach to eliminate important shortcomings of the container‐based component approach. However, our analysis of concrete aspect‐oriented languages shows that current AOP technology is not yet mature enough to supersede component models. Copyright © 2003 John Wiley & Sons, Ltd.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号