A logical petri net-based approach for web service cluster composition

被引：0

作者：

College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao ^{[1
]}

Shandong

266590, China

机构：

[1] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, 266590, Shandong

来源：

Jisuanji Xuebao | / 1卷 / 204-218期

基金：

中国国家自然科学基金;

关键词：

Logical Petri nets; Service cluster; Service cluster nets; Service composition; Web service;

D O I：

10.3724/SP.J.1016.2015.00204

中图分类号：

学科分类号：

摘要：

Web service composition is an important way to achieve value-added services and software reuse, but the existing static service composition and dynamic service composition methods are all needed to be further improved. This paper integrates the advantages of static composition and dynamic composition methods and proposes a method that composes service clusters in a virtual layer to realize service composition. A service composition approach based on service clusters is developed and logical Petri nets are used for its formal modeling. Basic composition models of service cluster nets (SCNs) are presented and the inheritance conditions of their completeness are analyzed respectively. The algebraic properties of SCN composition are also presented. Finally, experimental results are presented to illustrate the applicability and effectiveness of SCN composition. ©, 2014, Science Press. All right reserved.

引用

页码：204 / 218

页数：14

共 16 条

[1]

Nayak R., Lee B., Web service discovery with additional semantics and clustering, Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, pp. 555-558, (2007)

[2]

Sudha R., Thamarai S., Semantic grid service discovery approach using clustering of service ontologies, Proceedings of the IEEE Technology Conference in the Asia-Pacific Region 2006, pp. 1-4, (2006)

[3]

Sun P., Jiang C.-J., Web service discovery based on ontology and similarity of works, Chinese Journal of Computers, 31, 8, pp. 1340-1353, (2008)

[4]

Du Y.-Y., Qi L., Zhou M.-C., A vector matching method for analyzing logic Petri nets, Enterprise Information Systems, 5, 4, pp. 449-468, (2011)

[5]

Du Y.-Y., Jiang C.-J., On the design and temporal Petri net verification of grid commerce architecture, Chinese Journal of Electronics, 17, 2, pp. 247-251, (2008)

[6]

Feller A.L., Wu T., Shunk D.L., Et al., Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 39, 5, pp. 1022-1034, (2009)

[7]

Du Y.-Y., Jiang C.-J., Zhou M.-C., Modeling and analysis of real-time cooperative systems using Petri nets, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 37, 5, pp. 643-654, (2007)

[8]

Du Y.-Y., Jiang C.-J., Zhou M.-C., A Petri net-based model for verification of obligations and accountability in cooperative systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 39, 2, pp. 299-308, (2009)

[9]

Murata T., Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 77, 4, pp. 541-580, (1989)

[10]

Wu Z.-H., Petri Net Introduction Theory, (2006)

← 1 2 →