A Petri net-based semantic Web service automatic composition method

Ruan Jian Xue Bao/Journal of Software

Volumn 18, Issue 12, 2007, Pages 2991-3000

  Tang, Xian Fei ^a,b   Jiang, Chang Jun ^a,b   Ding, Zhi Jun ^a,b   Wang, Cheng ^a,b  

^a TONGJI UNIVERSITY   (China)

^b National Engineering and Technology Center of High Performance Computer   (China)

Author keywords

Horn clause; Petri net; T invariant; Web service; Web service composition

Indexed keywords

ALGORITHMS; INTERNET; PETRI NETS; SEMANTIC WEB;

HORN CLAUSE; T INVARIANT; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 37749011354     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos182991     Document Type: Article

References (17)

1. Lang QHA, Su SYW. AND/OR graph and search algorithm for discovering composite Web services. Int'l Journal of Web Services Research, 2005, 2 (4): 46-64.
2. Fan J, Kambhampati S. A snapshot of public Web services. SIGMOD Record, 2005, 34 (1): 24-32.
3. Zhao JF, Xie B, Zhang L, Yang FQ. A Web services composition method supporting domain feature. Chinese Journal of Computers, 2005, 28 (4): 731-738 (in Chinese with English abstract).
4. Rao JH, Su XM. A survey of automated Web service composition methods. In: Cardoso J, Sheth A, eds. Proc. of the SWSWPC 2004. LNCS 3387, Berlin, Heidelberg: Springer-Verlag, 2005. 43-54.
5. Farrell J, Lausen H. Semantic annotations for WSDL and XML schema. 2007. http://www.w3.org/TR/sawsdl/
6. Akkiraju R, Sapkota B. Semantic annotations for WSDL and XML schema-Usage guide. 2007. http://www.w3.org/TR/sawsdl-guide/
7. Murata T. Petri Nets: Properties, analysis and applications. Proc. of the IEEE, 1989, 77 (4): 541-580.
8. Murata T, Zhang D. A predicate-transition net model for parallel interpretation of logic programs. IEEE Trans. on. Software Engineering, 1988, 14 (4): 481-498.
9. Peterka G, Murata T. Proof procedure and answer extraction in Petri net model of logic programs. IEEE Trans. on. Software Engineering, 1989, 15 (2): 209-217.
10. Lautenbach K. Logical reasoning and Petri nets. In: van der Aalst WMP, Best E, eds. Proc. of the ICATPN 2003. LNCS 2679, Berlin, Heidelberg: Springer-Verlag, 2003. 276-295.
11. Lin C, Chaudhury A, Whinston A, Marinescu DC. Logical inference of horn clauses in Petri net models. IEEE Trans. on Knowledge and Data Engineering, 1993, 5 (4): 416-425.
12. Borujij A, Boutayeb M, Cecchin T. A decentralized approach for computing invariants in large scale and interconnected Petri nets. In: Proc of the 1997 IEEE Int'l Conf. on System Man and Cybernetics. Orlando: IEEE Computer Society, 1997. 1741-1746.
13. Zeng LZ, Benatallah B, Ngu AHH, Dumas M, Kalagnanam J, Chang H. QoS-Aware middleware for Web services composition. IEEE Trans. on Software Engineering, 2004, 30 (5): 311-327.
14. Narayanan S, McIlraith S. Simulation, verification and automated composition of Web services. In: Proc. of the 11th Int'l World Wide Web Conf. (WWW 2002). New York: ACM Press, 2002. 77-88.
15. Rao J, Küngas P, Matskin M. Logic-Based Web services composition: From service description to process model. In: Zhang LJ, ed. Proc. of the IEEE Int'l Conf. on Web Services. IEEE Computer Society, 2004. 446-453.
16. Sirin E, Parsia B, Wu D, Hendler J, Nau D. HTN planning for Web service composition using SHOP2. Journal of Web Semantics, 2004, 1 (4): 377-396.
17. Li M, Wang DZ, Du XY, Wang S. Dynamic composition of Web services based on domain ontology. Chinese Journal of Computers, 2005, 28 (4): 644-650 (in Chinese with English abstract).