留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

荣晓慧 马世龙 邓攀 陈峰

荣晓慧, 马世龙, 邓攀, 等 . 大规模设备协同中的时间建模与验证[J]. 北京航空航天大学学报, 2012, 38(1): 91-97.
引用本文: 荣晓慧, 马世龙, 邓攀, 等 . 大规模设备协同中的时间建模与验证[J]. 北京航空航天大学学报, 2012, 38(1): 91-97.
Rong Xiaohui, Ma Shilong, Deng Pan, et al. Time modeling and constraint verification of large-scale device collaboration system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2012, 38(1): 91-97. (in Chinese)
Citation: Rong Xiaohui, Ma Shilong, Deng Pan, et al. Time modeling and constraint verification of large-scale device collaboration system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2012, 38(1): 91-97. (in Chinese)

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

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

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

  • 中图分类号: TP 39

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

  • 摘要: 针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.

     

  • [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
  • 加载中
计量
  • 文章访问数:  2942
  • HTML全文浏览量:  155
  • PDF下载量:  587
  • 被引次数: 0
出版历程
  • 收稿日期:  2010-07-30
  • 网络出版日期:  2012-01-30

目录

    /

    返回文章
    返回
    常见问答