期刊文献+

构件系统结构的Petri网方法描述 被引量:1

Describing component based software system architecture using Petri net
下载PDF
导出
摘要 通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。 通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。
出处 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2012年第S1期304-308,共5页 Journal of Jilin University:Engineering and Technology Edition
基金 广东省自然科学基金项目(S2011010001546 S2011010001581) 广东省电子商务市场应用技术重点实验室开放研究基金项目(2011GDECOF05)
关键词 计算机应用 构件系统 PETRI网 体系结构 computer application component system Petri net architecture
  • 相关文献

参考文献13

  • 1孟宪刚,严洪森.基于多属性模糊Petri网的知识化制造系统产品需求预测[J].系统工程理论与实践,2012,32(4):790-798. 被引量:5
  • 2倪悦,范玉顺.基于着色Petri网的语义Web服务组合形式化验证[J].清华大学学报(自然科学版),2010,50(5):714-717. 被引量:12
  • 3汤宪飞,蒋昌俊,丁志军,王成.基于Petri网的语义Web服务自动组合方法[J].软件学报,2007,18(12):2991-3000. 被引量:22
  • 4WANG Huaimin TANG Yangbin YIN Gang LI Lei.Trustworthiness of Internet-based software[J].Science in China(Series F),2006,49(6):759-773. 被引量:28
  • 5Hamadi R,Benatallah B.A Petri-Net-Based Model for Web Service Composition. Proceedings of the Fourteenth Australasian Database Conference on Database Technologies . 2003
  • 6Tan 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. IEEE Transactions on Automation Science and Engineering . 2009
  • 7W Aalst,K Lassen.Translating unstructured workflow processes to readable BPEL: theory and implementation. Inf Softw Technol . 2008
  • 8Niels Lohmann,Peter Massuthe,Christian Stahl,Daniela Weinberg."Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation". Data Knowl. Eng . 2008
  • 9Skogan D,Grφnmo R,Solheim I.Web service composition in UML. Proceedings of 8th IEEE International Enterprise Distributed Object Computing Conference(EDOC2004) . 2004
  • 10Beck Maurice H,Antonio B,Stefania G.A survey onservice composition approaches:from industrialstandards to formal methods. The 2nd Interna-tional Conference on Internet and Web Applicationsand Services . 2007

二级参考文献21

  • 1李曼,王大治,杜小勇,王珊.基于领域本体的Web服务动态组合[J].计算机学报,2005,28(4):644-650. 被引量:141
  • 2赵俊峰,谢冰,张路,杨芙清.一种支持领域特性的Web服务组装方法[J].计算机学报,2005,28(4):731-738. 被引量:52
  • 3林闯,彭雪海.可信网络研究[J].计算机学报,2005,28(5):751-758. 被引量:253
  • 4闵应骅.容错计算二十五年[J].计算机学报,1995,18(12):930-943. 被引量:16
  • 5Fensel D, Kerrigan M, Zaremba M. Implementing Semantic Web Services: The SESA Framework[M]. Berlin Heidelberg: Springer-Verlag, 2008.
  • 6OWL-S 1.2 Pre-Release[EB/OL]. [2009-04-15]. http: //www. ai. sri. com/daml/services/owl-s/1.2/.
  • 7Moldt D, Ortmann J. DaGen: A tool for automatic translation from DAML-S to high-level Petri nets[J].Lecture Notes in Computer Science, 2004, 2984:209 -213.
  • 8Narayanan S, McIlraith S A. Simulation, verification and automated composition of Web services [C]// Proc 11th Int World Wide Web Conf. Honolulm ACM Press, 2002:77- 88.
  • 9Brogi A, Corfini S, Iardella S. From OWL-S descriptions to Petri nets[C]//WESOA07. Vienna, 2007.
  • 10Vidal J C, Lama M, Alberto B. Petri net semantics for OWL-S service choreography [C]// WESOA. 2007.

共引文献63

同被引文献10

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部