大规模设备协同中的时间建模与验证

荣晓慧; 马世龙; 邓攀; 陈峰

大规模设备协同中的时间建模与验证

北京航空航天大学软件开发环境国家重点实验室, 北京 100191

基金项目: 国家科技支撑计划资助项目(2006BAK12B11); 软件开发环境国家重点实验室探索性自主研究课题资助项目(SKLSDE-2010ZX-06)

详细信息

作者简介:
荣晓慧(1982-),女,山东威海人,博士生,rongxh@nlsde.buaa.edu.cn.

中图分类号: TP 39
计量
- 文章访问数: 3061
- HTML全文浏览量: 196
- PDF下载量: 590
- 被引次数: 0
出版历程
- 收稿日期: 2010-07-30
- 网络出版日期: 2012-01-30

Time modeling and constraint verification of large-scale device collaboration system

State Key Laboratory of Software Development Environment, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

摘要

摘要: 针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.
- 大规模设备协同 /
- 时间建模 /
- 时间约束验证
Abstract: Aiming at the characteristics of complex time attributes and difficult time constraint verification in large-scale device collaboration system, a large-scale device collaboration model containing time attributes was presented. The time attribute was composed of device operation time and status duration time. By adding the time property on operations, the modeling of device operation time was achieved, and by adding the time property on connectors, the modeling of status duration time was achieved. Based on the time model, a calculation method of time of four basic structures in large-scale device collaboration was proposed. Through structural equivalence, the basic structure was equaled as a connector. So the time properties of all nodes in device collaboration model can be calculated. And the rule of time constraint verification was given. The result of comparison and simulation experiments shows that the method is more accurate, bias of the method is lower and it can satisfy the performance requirements of the large-scale device collaboration system.
- large-scale device collaboration /
- time modeling /
- time constraint verification

HTML全文

参考文献(1)

[1] 李慧芳,范玉顺.工作流系统时间管理[J].软件学报,2002,13(8):1552-1558 Li Huifang,Fan Yushun.Overview on managing time in workflow systems[J].Journal of Software,2002,13(8):1552-1558(in Chinese) [2] Hyun Son J,Ho Kim M.Improving the performance of time-constrained workflow processing[J].Journal of Systems and Software,2001,58(3):211-219 [3] Julia S,de Oliveira F F,Valette R.Real time scheduling of workflow management systems based on a p-time Petri net model with hybrid resource[J].Simulation Modelling Practice and Theory,2008,16(4):462-482 [4] Niu W,Yang Z.Workflow model based on time-extended and hierarchy-extended petri-net //Proceedings of 2008 International Symposiums on Information Processing.Piscataway,NJ:IEEE Computer Society,2008:457-461 [5] Eder J,Panagos E,Rabinovich M.Time constraints in workflow systems //Proceedings of the 11th Conference on Advanced Information Systems Engineering.Berlin:Springer,1999:286-300 [6] Nadeem F,Fahringer T.Predicting the execution time of grid workflow applications through local learning //Proceedings of the Conference on High Performance Computing Networking,Storage and Analysis.New York:Association for Computing Machinery,2009:1-12 [7] 庞辉,方宗德,赵勇.时间约束工作流模型的简化分析与可调度性验证[J].计算机集成制造系统,2008,14(11):2217-2223 Pang Hui,Fang Zongde,Zhao Yong.Simplification analysis and schedulability verification of timing constraint workflow model[J].Computer Integrated Manufacturing Systems,2008,14(11):2217-2223(in Chinese) [8] 唐达,刘丹妮.基于层次时间Petri网的工作流模型可达性分析方法[J].计算机集成制造系统,2006,12(4):487-493 Tang Da,Liu Danni.Method of reachability analysis in HTPN based workflow model[J].Computer Integrated Manufacturing Systems,2006,12(4):487-493(in Chinese) [9] 宋巍,窦万春,刘茜萍.时间约束Petri网及其可调度性分析与验证[J].软件学报,2007,18(1):11-21 Song Wei,Dou Wanchun,Liu Qianping.Timing constraint petri nets and their schedulability analysis and verification[J].Journal of Software,2007,18(1):11-21(in Chinese) [10] Han Rui,Liu Yingbo,Wen Lijie,et al.Dynamically analyzing time constraints in workflow systems with fixed-date constraint //Proceedings of 2010 12th International Asia-Pacific Web Conference.Piscataway,NJ:IEEE Computer Society,2010:99-105 [11] 杜栓柱,谭建荣,陆国栋.一个基于TWF-net的扩展时间工作流模型及其应用[J].计算机研究与发展,2003,40(4):1143-1151 Du Shuanzhu,Tan Jianrong,Lu Guodong.An extended time workflow model based on TWF-net and its application[J].Journal of Computer Research and Development,2003,40(4):1143-1151(in Chinese) [12] 潘炎,汤庸,陈子聪.一种工作流模型的时间性能评估方法[J].计算机集成制造系统,2007,13(8):1539-1544 Pan Yan,Tang Yong,Chen Zicong.Time performance evaluation approach in workflow models[J].Computer Integrated Manufacturing Systems,2007,13(8):1539-1544(in Chinese) [13] 潘炎,汤庸.模糊时态工作流网的建模和时间可能性分析[J].计算机集成制造系统,2006,12(11):1779-1784 Pan Yan,Tang Yong.Modeling of fuzzy temporal workflow nets and its time possibility analysis[J].Computer Integrated Manufacturing Systems,2006,12(11):1779-1784(in Chinese) [14] Chen Feng,Rong Xiaohui,Deng Pan.Modeling of device collaboration process based on Petri net //Proceedings of 11th ACIS International Conference on Software Engineering,Artificial Intelligence,Networking and Parallel/Distributed Computing.Piscataway,NJ:IEEE Computer Society,2010:29-33

施引文献

资源附件(0)

访问统计