基于时间约束的软件工程资源配置Petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。文中提出了一种基于Petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突。从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础。实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。     

基于时间约束的软件工程资源配置Petri 网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境.而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果.文中提出了一种基于 Petri 网模型的基于时间约束的软件工程资源动态配置检测模型,依据 petri 网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突.从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础.实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失     

petri网分析工具对增广petri网模型的验证

petri网分析工具支持增广petri网模型的建立、分析和验证。本文举例分析了用增广petri网描述的数学公式排列A m/n及幕指数n~m的分析和验证。     

多出口petri网与petri网的等价性

1.引言 为了便于描述程序的控制结构,文[1,2]引入了多出口Petri网的概念,并指出,在一定意义下,多出口Petri网与一般Petri网是等价的。本文旨在从理论上讨论这两个概念的等价性,并给出严格的证明。     

基于petri网工作流的智能楼字OAS研究

工作流技术最早起源于80年代中期，之后，引起世界各地学者的关注和研究．目前已成为办公自动化系统的核心技术之一。智能楼宇办公自动化系统处理的核心是业务流程，其难点是流程如何根据不同的用户、不同的业务进行流程定制问题。本文提出了基于petri网的工作流，有效的解决了这个问题，并在测试中取得较好效果。     

基于遗传算法的软件工程资源配置优化模型

综合软件过程中人力、物力资源的合理安排与统筹规划,提出一种基于遗传算法的活动规划与资源配置模型.在遗传算法中采用执行矩阵作为染色体,矩阵编码的染色体涵盖了活动规划与资源配置两部分内容,克服了传统的二进制字符串编码在描述复杂方案问题时存在局限性.仿真实验结果表明:基于遗传算法的软件工程资源配置模型使软件开发过程中的资源得到了合理的分配,为软件过程的管理与控制提供了科学的方案与依据,提高了软件开发的效率,保证了软件开发的质量.     

基于petri网工作流的智能楼宇OAS研究

工作流技术最早起源于80年代中期,之后,引起世界各地学者的关注和研究,目前已成为办公自动化系统的核心技术之一。智能楼宇办公自动化系统处理的核心是业务流程,其难点是流程如何根据不同的用户、不同的业务进行流程定制问题。本文提出了基于petri网的工作流,有效的解决了这个问题,并在测试中取得较好效果。     

基于赋时有色petri网的维修过程模型

维修过程模型是研究维修保障系统结构与运行的基础。petri网模型具有直观、形象的优点,又是严格定义的数学对象,既可用于静态的结构分析,又可用于动态的行为分析,具有灵活的建模和强大的系统性能分析能力,是描述维修过程的有力工具。该文介绍了petri网方法的有关概念、特性。假定了典型的维修资源配置环境,对维修资源进行了分类。描述了典型的维修过程,应用赋时着色Petri网建立了维修过程的petri网模型。文章最后讨论了模型的应用。     

基于时间约束Petri网的一致性验证算法

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

基于时间约束Petri网的一致性验证算法

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

基于软件可靠性工程的测试模型

软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进行了实际验证。     

一种类间交互测试的约束型标记驱动Petri网模型

面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

RBAC模型时间约束的OCL描述

基于角色的访问控制模型以其灵活性、方便性和安全性在许多系统的权限管理中得到普遍应用,而引入时间约束后的角色访问控制更能增强系统的安全性和模型的描述能力。该文使用对象约束语言OCL来描述模型中的时间约束,使模型更加直观和精确。     

基于动态约束网络的约束优化分解

约束网络通过对较大规模的任务和问题的分解,传递了并行工程产品开发过程中的各多功能小组之间必然存在的相互制约、相互依赖的关系。在任务和问题简单分解的过程中,由于所得到的子问题之间通常是不能完全独立的,因而只能在有限程度上降低难度、简化问题。在分析了约束求解的研究现状和不足的基础上,提出了一种基于动态约束的约束优化分解方法,使得各个子任务、子问题间的关系得到进一步的分解,从而在满足原要求的基础上,得到优化的结果。     

基于时间约束Petri网的工作流可调度性分析

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。     

面向服务软件中基于着色Petri网的异常处理模型

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。     

Model Checking of Time Petri Nets Using the State Class Timed Automaton

In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We consider bounded TPN, whose underlying net is not necessarily bounded. We prove that our translation preserves the behavioral semantics of the TPN (the initial TPN and the obtained TA are proved timed-bisimilar). It allows us to check real-time properties on TPN by using the state class TA. This can be done efficiently thanks to a reduction of the number of clocks. We have implemented the method, and give some experimental results illustrating the efficiency of the translation algorithm in terms of number of clocks. Using the state class TA, we also give a framework for expressing and efficiently verifying TCTL properties on the initial TPN.     

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.