Computer Science ›› 2016, Vol. 43 ›› Issue (11): 71-76.doi: 10.11896/j.issn.1002-137X.2016.11.013
Previous Articles Next Articles
JI Jian-wei, CHEN Xin and HUANG Hao-jun
[1] Cisco.Cisco Visual Networking Index:Global Mobile Data Traffic Forecast Update[R].2014-2019 White Paper,Mar 2015 [2] Enck,William,et al.TaintDroid:an information-flow trackingsystem for realtime privacy monitoring on smartphones[J].ACM Transactions on Computer Systems(TOCS),2014,32(2):5-20 [3] Ries,Christian L.Dafit——a new work flow oriented approach for time efficient data preparation,validation and flagging of time series data from environmental monitoring[C]∥Proceedings of the 27th Conference on Environment Informatics-Informatics for Environ.2013:651-656 [4] Thomas C,Gerhard K,Andrew L,et al.SAP R/3 business blueprint:understanding the business process reference model[M].Prentice-Hall,Inc.,1997 [5] Fang Jin,Wang Tie-cheng,Shi Zhi-kuan,et al.UML workflowmodel[J].Computer Engineering and Design,2004,5(9):1572-1575(in Chinese) 方进,王铁成,石志宽,等.基于 UML 的工作流建模[J].计算机工程与设计,2004,25(9):1572-1575 [6] Mike P,Bouguettaya D A,Mostafa A H,et al.Class library support for workflow environments and applications[J].IEEE Transactions on Computers,1997,46(6):673-686 [7] Aalst V,Wil M P.Structural characterizations of sound workflow nets[M].Eindhoven University of Technology,Department of Mathematics and Computing Science,1996 [8] Alur R,Holzmann G J,Peled D.An analyzer for message se-quence charts[C]∥International Workshop on Tools and Algorithms for the Construction and Analysis of Systems.Springer Berlin Heidelberg,1996:35-48 [9] Yang Nian-hua,Yu Hui-qun,Sun Hua,et al.Modeling UML sequence diagrams using extended Petri nets[J].Telecommunication Systems,2012,51(2/3):147-158 [10] Bo Jiang,Xiang Long,Gao Xiao-peng.Mobiletest:A tool sup-porting automatic black box test for software on smart mobile devices[C]∥Proceedings of the Second International Workshop on Automation of Software Test.IEEE Computer Society,2007:8-15 [11] Stratos I,Olga P,Surajit C.Overview of Data Exploration Techniques[C]∥Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data.ACM,2015:277-281 [12] Krishna K V,Arun K K,Kaladhar V,et al.Implementation and evaluation of scalable data structure over HBase[C]∥Procee-dings of the International Conference on Advances in Computing,Communications and Informatics.ACM,2012:1010-1018 [13] Li Jing-feng,Li Yan,Chen Ping.Formal description of the UML sequence diagram[J].Computer Science,2002,9(6):147-148(in Chinese) 李景峰,李琰,陈平.UML 顺序图的形式化描述[J].计算机科学,2002,29(6):147-148 [14] Wu Zhe-hui.Petri nets introduction[M].DynoMedia Inc.,2006(in Chinese) 吴哲辉.Petri 网导论[M].DynoMedia Inc.,2006 [15] Coalition,Manage W.Terminology glossary[M]∥Medicina Sporta.2006:513-524 [16] Murata,Tadao.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580 [17] Yi Xiao-sheng,Jiang Hao.Time petri nets equivalent conversion workflow evaluation[J].Computer Engineering and Design,2006,7(20):3916-3919(in Chinese) 衣晓升,姜浩.时间Petri网等效变换的工作流评价[J].计算机工程与设计,2006,27(20):3916-3919 |
No related articles found! |
|