首页 | 本学科首页   官方微博 | 高级检索  
     

基于时间约束的软件工程资源配置Petri 网检测模型
引用本文:黄妮,吴晓军.基于时间约束的软件工程资源配置Petri 网检测模型[J].计算机技术与发展,2012(4).
作者姓名:黄妮  吴晓军
作者单位:陕西师范大学计算机科学学院,陕西西安710062
摘    要:随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境.而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果.文中提出了一种基于 Petri 网模型的基于时间约束的软件工程资源动态配置检测模型,依据 petri 网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突.从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础.实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失

关 键 词:时间约束  软件工程  资源配置  Petri  
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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