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

The Petri Net Detecting Model of Software Engineering Resource Configuration Based on Time Constraint

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

As the internet of things,cloud computing and other large-scale distributed systems become increasingly popular in the country,the environment of the application of software has inevitably turned to distributed environment.However,there are some limitations for the software engineering dynamic resource configuration model based on time constraint,and thus its effect in large-scale distributed environment can not be evaluated.In this paper,based on the Petri net model,we propose a dynamic resource configuration detecting model of the software engineering based on time constraint.According to Petri net theory,with the simulation of large-scale distributed environment,the collaboration and conflict between the dynamic resource configuration models of heterogeneous software engineering has been detected,so as to a solid theoretical basis will be provided and its application in practice will be bettered.Experiments show that this method,in the large-scale distributed environments,can timely find the conflicts in the dynamic configuration model of the software engineering resource and timely provide the feedback for the designers to avoid losses.