吉林大学学报(工学版) ›› 2012, Vol. 42 ›› Issue (增刊1): 304-308.
王志坚1,2, 胡玉平1, 陈章2
WANG Zhi-jian1,2, HU Yu-ping1, CHEN Zhang2
摘要: 通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。
中图分类号:
[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,Grnmo 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] | 刘富,宗宇轩,康冰,张益萌,林彩霞,赵宏伟. 基于优化纹理特征的手背静脉识别系统[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. |
|