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

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

Software Engineering Resource Based on Time Constraint Deploys Petri Network Detection Model

With the popular of large-scale distributed systems such as the Internet of things and Cloud Computing in domestic,software engineering needs apply to distributed environment.The current software engineering resource dynamic configuration model based on time constraint is limited which can’t evaluate its effect in large-scale distributed environment.This article put forward a software engineering resource dynamic configuration model based on petri and time constraint,it can detect cooperation and confliction of heterogeneous software engineering resource dynamic configuration model,the software engineering resource dynamic configuration model can be used in practice well,and given the solid theoretical foundation.This way is usefully to find out the confliction of oftware engineering resource dynamic configuration model in large-scale distributed environment,to feedback information for the designers timely avoid the loss.