吉林大学学报(工学版) ›› 2012, Vol. 42 ›› Issue (增刊1): 304-308.

Previous Articles     Next Articles

Describing component based software system architecture using Petri net

WANG Zhi-jian1,2, HU Yu-ping1, CHEN Zhang2   

  1. 1. Key Laboratory of E-Business Market Application Technology of Guangdong Province, Guangzhou 510320, China;
    2. School of Information Science, Guangdong University of Business Studies, Guangzhou 510320, China
  • Received:2012-04-20 Online:2012-09-01 Published:2012-09-01

PDF (PC)

234

Abstract: Existing architecture description languages and system analyzing methods were investigated,which indicates that ADLs and its methods are not powerful enough to support the complete system developing process and to insure system's reliability and quality of service. Application of Petri net in component based software system was investigated,and some existing difficulties were analyzed. Technologies including structure description and model evolution using Petri net were analyzed. The analysis shows that Petri net has its advantages over traditional methods.

Key words: computer application, component system, Petri net, architecture

CLC Number: 

  • TP311.5
[1] 孟宪刚,严洪森. 基于多属性模糊Petri网的知识化制造系统产品需求预测[J]. 系统工程理论与实践,2012,32(4): 790-798. Meng Xian-gang,Yan Hong-sen. Products demand forecasting in knowledgeable manufacturing systems based on attributes fuzzy Petri nets[J]. Systems Engineering-Theory & Practice,2012,32(4):790-798.

[2] Skogan D,Grnmo R,Solheim I. Web Service Composition in UML[C]//Bryant Barrett R. Eighth IEEE International Enterprise Distributed Object Computing Conference,Monterey,USA: IEEE Press,2004:47-57.

[3] Beck Maurice H,Antonio B,Stefania G. A survey on service composition approaches: from industrial standards to formal methods [C]//The 2nd International Conference on Internet and Web Applications and Services,Morne,Mauritius,IEEE Press,2007:1-19.

[4] Papazoglou M P,Georgakopoulos D. Service-oriented computing[J]. Communications of the ACM,2003,46(10):25-28.

[5] Kramer J,Magee J. A rigorous architectural approach to adaptive software engineering [J]. Journal of Computer Science and Technology,2009,24(2): 183-188.

[6] Wang H M,Tang Y B,Yin G ,et al. Trustworthiness of Internet-based software[J]. Science in China(Series F: Information Sciences),2006,49(6): 755-773.

[7] Bazil P,Simona M. Comdevalco——a framework for software component definition,validation,and composition[J]. Studia Univ Babes-Bolyai,2007(2):59-68.

[8] Van der Aalst W M P,Lassen K B. Translating unstructured workflow processes to readable BPEL:theory and implementation[J]. Information and Software Technology,2008,50(3): 131-159.

[9] Niels L,Peter Me,Christian S,et al. Analyzing interacting WS-BPEL processes using flexible model generation[J]. Data Knowl Eng,2008,64(1):38-54.

[10] Rachid H,Boualem B. A Petri net-based model for web service composition[C]//Proceedings of the 14th Australasian Database Conference,Adelaide,South Australia: Australian Computer Society,2003:191-200.

[11] Dmytro Z. A Petri net-based approach for automated goal-driven web service composition [J]. Simulation,2007,83(1): 33-63.

[12] Tan W,Fan Y S,Zhou M C. A Petri net-based method for compatibility analysis and composition of web services in business process execution language[J]. IEEE Transactions on Automation Science and Engineering,2009,6(1): 94-106.

[13] 汤宪飞,蒋昌俊,丁志军,等. 基于Petri网的语义Web服务自动组合方法[J].软件学报,2007,18(12):2991-3000. Tang Xian-fei,Jiang Chang-jun,Ding Zhi-jun,et al.Petrinet-based semantic web service automatic composition method[J]. Journal of Software,2007,18(12):2991-3000.

[14] 倪悦,范玉顺. 基于着色Petri 网的语义Web 服务组合形式化验证[J]. 清华大学学报:自然科学版,2010,50(5):716-723. Ni Yue,Fan Yu-shun. Formal verification for semantic Web services composition based on coloured Petri nets[J]. Journal of Tsinghua Univ (Sci & Tech),2010,50(5):716-723.

[15] Wang Z J, Wei D G, Xu C. Model transform based on a kind of transition subnet[J]. Journal of Networks,2010,5(6):716-723.
[1] LIU Fu,ZONG Yu-xuan,KANG Bing,ZHANG Yi-meng,LIN Cai-xia,ZHAO Hong-wei. Dorsal hand vein recognition system based on optimized texture features [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1844-1850.
[2] WANG Li-min,LIU Yang,SUN Ming-hui,LI Mei-hui. Ensemble of unrestricted K-dependence Bayesian classifiers based on Markov blanket [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1851-1858.
[3] JIN Shun-fu,WANG Bao-shuai,HAO Shan-shan,JIA Xiao-guang,HUO Zhan-qiang. Synchronous sleeping based energy saving strategy of reservation virtual machines in cloud data centers and its performance research [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1859-1866.
[4] ZHAO Dong,SUN Ming-yu,ZHU Jin-long,YU Fan-hua,LIU Guang-jie,CHEN Hui-ling. Improved moth-flame optimization method based on combination of particle swarm optimization and simplex method [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1867-1872.
[5] LIU En-ze,WU Wen-fu. Agricultural surface multiple feature decision fusion disease judgment algorithm based on machine vision [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(6): 1873-1878.
[6] OUYANG Dan-tong, FAN Qi. Clause-level context-aware open information extraction [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1563-1570.
[7] YU Yi-cheng, HU Liang, CHI Ling, CHU Jian-feng. Improved anonymous authentication protocol for multi-server architectures [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1586-1592.
[8] LIU Fu, LAN Xu-teng, HOU Tao, KANG Bing, LIU Yun, LIN Cai-xia. Metagenomic clustering method based on k-mer frequency optimization [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1593-1599.
[9] GUI Chun, HUANG Wang-xing. Network clustering method based on improved label propagation algorithm [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1600-1605.
[10] LIU Yuan-ning, LIU Shuai, ZHU Xiao-dong, CHEN Yi-hao, ZHENG Shao-ge, SHEN Chun-zhuang. LOG operator and adaptive optimization Gabor filtering for iris recognition [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1606-1613.
[11] CHE Xiang-jiu, WANG Li, GUO Xiao-xin. Improved boundary detection based on multi-scale cues fusion [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1621-1628.
[12] ZHAO Hong-wei, LIU Yu-qi, DONG Li-yan, WANG Yu, LIU Pei. Dynamic route optimization algorithm based on hybrid in ITS [J]. 吉林大学学报(工学版), 2018, 48(4): 1214-1223.
[13] HUANG Hui, FENG Xi-an, WEI Yan, XU Chi, CHEN Hui-ling. An intelligent system based on enhanced kernel extreme learning machine for choosing the second major [J]. 吉林大学学报(工学版), 2018, 48(4): 1224-1230.
[14] FU Wen-bo, ZHANG Jie, CHEN Yong-le. Network topology discovery algorithm against routing spoofing attack in Internet of things [J]. 吉林大学学报(工学版), 2018, 48(4): 1231-1236.
[15] CAO Jie, SU Zhe, LI Xiao-xu. Image annotation method based on Corr-LDA model [J]. 吉林大学学报(工学版), 2018, 48(4): 1237-1243.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © Journal of Jilin University(Engineering and Technology Edition), All Rights Reserved.
Tel: +86-431-85095297　Fax: +86-431-85094074　E-mail: xbgxb@jlu.edu.cn
Powered by Beijing Magtech Co. Ltd