【摘 要】
:
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
【机 构】
:
山东科技大学信息科学与工程学院,青岛 266510
论文部分内容阅读
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
其他文献
UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。
提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
近些年环保风气的兴起使得节能节水技术在建筑给排水工程中的应用越来越广泛,这项技术的应用可以有效缓解建筑行业的水资源浪费情况,同时有助于加速建筑行业的发展。本文从了解
将大数据技术应用于内业资料管理中主要依靠提取和筛选的有价值的数据,促进企业开展正确的决策,促进各项事业协调发展,为社会的多种经济活动提供需要的依据和参考信息。大数据技
建筑行业的蓬勃发展背景下,建筑结构也在不断创新,钢结构工程的施工已经愈来愈受到人们的青睐。与传统的混凝土技术相比,钢结构应用在建筑工程中可以展现良好的施工效率,同时还大
基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署到新系统之前,有必要先检查构件接口行为的兼容性并进行适配,使不同构件之间能够正常交互。提出一种基于Petri网的构件行为的适配算法,该方法用接口Petri网描述构件的接口行为,以用例为单位,利用同步向量检查构件接口交互行为的兼容性,建立基于Petr
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
改革开放以来,由于各阶层人民艰苦卓绝的奋斗和全球化进程的加快,人们的生活水平也跟着大大提高。特别对于建筑行业来说,建筑物的规模和数量得到了前所未有提升,这也使人们对建筑
复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优化策略等可以简单高效的实现和集成。
时间和资源是工作流管理系统中的两个重要的方面,首先从不同模型的角度系统分析了基于Petri网的工作流时间管理问题,对工作流的时间性能分析、时间动态的预测、时序一致性验证、变迁的可调度性方面做总结。在此基础上,对受时间和资源双重约束工作流的Petri网在资源调度及资源冲突管理方面进行了论述,最后讨论了基于Petri网的工作流时间和资源管理方面当前研究的许多问题。