构件系统结构的Petri网方法描述

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

构件系统结构的Petri网方法描述

王志坚^1,2, 胡玉平¹, 陈章²

1. 广东省电子商务市场应用技术重点实验室,广州 510320;
2. 广东商学院信息学院,广州 510320

收稿日期:2012-04-20 出版日期:2012-09-01 发布日期:2012-09-01
作者简介:王志坚(1970-),男,教授,博士.研究方向:软件工程,系统建模与企业信息化.E-mail:zjian@gdcc.edu.cn
基金资助:
广东省自然科学基金项目(S2011010001546,S2011010001581);广东省电子商务市场应用技术重点实验室开放研究基金项目(2011GDECOF05).

Describing component based software system architecture using Petri net

WANG Zhi-jian^1,2, HU Yu-ping¹, CHEN Zhang²

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

摘要/Abstract

摘要： 通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。

关键词: 计算机应用, 构件系统, Petri网, 体系结构

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

中图分类号:

TP311.5

王志坚, 胡玉平, 陈章. 构件系统结构的Petri网方法描述[J]. 吉林大学学报(工学版), 2012, 42(增刊1): 304-308.

WANG Zhi-jian, HU Yu-ping, CHEN Zhang. Describing component based software system architecture using Petri net[J]. 吉林大学学报(工学版), 2012, 42(增刊1): 304-308.

参考文献

[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.

相关文章 15

[1]	刘富,宗宇轩,康冰,张益萌,林彩霞,赵宏伟. 基于优化纹理特征的手背静脉识别系统[J]. 吉林大学学报(工学版), 2018, 48(6): 1844-1850.
[2]	王利民,刘洋,孙铭会,李美慧. 基于Markov blanket的无约束型K阶贝叶斯集成分类模型[J]. 吉林大学学报(工学版), 2018, 48(6): 1851-1858.
[3]	金顺福,王宝帅,郝闪闪,贾晓光,霍占强. 基于备用虚拟机同步休眠的云数据中心节能策略及性能[J]. 吉林大学学报(工学版), 2018, 48(6): 1859-1866.
[4]	赵东,孙明玉,朱金龙,于繁华,刘光洁,陈慧灵. 结合粒子群和单纯形的改进飞蛾优化算法[J]. 吉林大学学报(工学版), 2018, 48(6): 1867-1872.
[5]	刘恩泽,吴文福. 基于机器视觉的农作物表面多特征决策融合病变判断算法[J]. 吉林大学学报(工学版), 2018, 48(6): 1873-1878.
[6]	欧阳丹彤, 范琪. 子句级别语境感知的开放信息抽取方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1563-1570.
[7]	刘富, 兰旭腾, 侯涛, 康冰, 刘云, 林彩霞. 基于优化k-mer频率的宏基因组聚类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1593-1599.
[8]	桂春, 黄旺星. 基于改进的标签传播算法的网络聚类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1600-1605.
[9]	刘元宁, 刘帅, 朱晓冬, 陈一浩, 郑少阁, 沈椿壮. 基于高斯拉普拉斯算子与自适应优化伽柏滤波的虹膜识别[J]. 吉林大学学报(工学版), 2018, 48(5): 1606-1613.
[10]	车翔玖, 王利, 郭晓新. 基于多尺度特征融合的边界检测算法[J]. 吉林大学学报(工学版), 2018, 48(5): 1621-1628.
[11]	赵宏伟, 刘宇琦, 董立岩, 王玉, 刘陪. 智能交通混合动态路径优化算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1214-1223.
[12]	黄辉, 冯西安, 魏燕, 许驰, 陈慧灵. 基于增强核极限学习机的专业选择智能系统[J]. 吉林大学学报(工学版), 2018, 48(4): 1224-1230.
[13]	傅文博, 张杰, 陈永乐. 物联网环境下抵抗路由欺骗攻击的网络拓扑发现算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1231-1236.
[14]	曹洁, 苏哲, 李晓旭. 基于Corr-LDA模型的图像标注方法[J]. 吉林大学学报(工学版), 2018, 48(4): 1237-1243.
[15]	侯永宏, 王利伟, 邢家明. 基于HTTP的动态自适应流媒体传输算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1244-1253.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed