A Comprehensive Survey of Process Modeling

被引:0
作者
Zhang, Shuling [1 ]
Sun, Bo [1 ]
Tian, Yanqin [2 ]
机构
[1] Beijing Normal Univ, Coll Informat Sci & Technol, Beijing, Peoples R China
[2] Shanxi Datong Univ, Coll Math & Comp Sci, Datong, Peoples R China
来源
ICFCSE 2011: 2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SUPPORTED EDUCATION, VOL 2 | 2011年
关键词
model; process modeling; RAD; IDEF; EPC; UML; Z language; pi calculus; petri nets;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Process modeling techniques are important for the Systems Modeling. We correlate informal process modeling techniques (RAD, IDEF, EPC, UML) with formal process modeling (Z language, pi calculus, Petri network) by adopting indirect correlation method. After analyzing the characteristics of the modeling process techniques, the scope of application for various process modeling techniques is proposed. It can be of some help to the actual business and engineering modeling applications.
引用
收藏
页码:30 / 35
页数:6
相关论文
共 15 条
[1]  
Chen Cheng, 2002, Journal of Software, V13, P1374
[2]  
Chen Yuliu, 2000, IDEF MODELING ANAL D
[3]  
Fang Xiaochun, 2008, ROLE ACTIVITY DIAGRA
[4]  
Hu Jinsong, 2004, J CHINESE COMPUTER S, V25, P1450
[5]  
Li Jianzhong, 2000, SYSTEMS ENG, V18, P42
[6]  
Li Qing, 2007, MODELING ANAL ENTERP
[7]  
Milner Robin, 2009, COMMUNICATING MOBILE
[8]  
Scheer August Wilhelm, 2003, ARIS-Business Process Modeling, V3rd
[9]  
Shang Wen-li, 2004, Computer Integrated Manufacturing Systems, V10, P252
[10]  
Wang Hongsheng, 2009, AUTOMATIC REFINEMENT