|Table of Contents|

Semantic Oriented Automatic Pervasive Services Composition


Research Field:
Publishing date:


Semantic Oriented Automatic Pervasive Services Composition
HUANG Wei12SONG Shun-lin2
1.School of Computer Engineering,Nanjing Institute of Technology,Nanjing 210094,China;2.School of Computer Science and Telecom Engineering,Jiangsu University,Zhenjiang 212013,China
pervasive service colored Petri Net service composition
In order to resolve the automatic service composition,pervasive service is presented as Colored Petri Net,which can describe the functional semantic of service.Based on the description model,an automatic pervasive service composition algorithm is proposed to automatically create a specification of composite process to achieve the user’s requirement.This algorithm is able to create composite service based on the imprecise requirement,which is much more flexible than other composition mechanism.


[1]New com er E, Lom ow G. Understand ing SOA w ith W eb Se rv ices [M ]. Boston: Addison??W esley Pro fes?? siona,l 2004.
[2] 戚玉松, 钱柱中, 是湘全. 基于Agent的W eb服务 组合研究[ J]. 南京理工大学学报( 自然科学版), 2006, 30( 3): 315- 319.
[3] Re isigW. A pr im er in Petr i Net design [M ]. The Nethe rlands: Spr inger??V erlag, 1992.
[4] Q ian Z Z, Lu S L, X ie L. Autom a tic composition o f Petr iNe t basedW eb serv ices [ J]. Ch inese Journa l of Com puter, 2006, 29 ( 7): 1 057- 1 066.
[5] H ull R, Su JW. Too ls for composite web serv ices: A sho rt overv iew [ J]. SIGMOD Record, 2005, 34 ( 2): 86- 95.
[6] Trave rso P, PistoreM. Autom ated com po sition o f se?? m antic w eb se rv ices into executab le processes [ A ]. Pro ceedings of the 3 rd Inte rnational Semantic W eb Conference [ C ]. H iro shim a, Japan: Lecture Notes in Compu ter Sc ience, 2004. 7- 11.
[7] Bu ltan T, Fu X, Hu ll R, et a.l Conve rsation spec ifi?? cation: A new appro ach to design and ana ly sis o f e?? se rv ice composition [ A] . Proceedings of the Tw e lfth Internationa lW or ldW ideW eb Conference [ C ]. Bu?? dapest, H ungary: ACM Press, 2003. 403- 410.
[8] Aysu B C, Bu ltan T, Fu X. Des ign for v erifica tion fo r asynchronously commun icating w eb serv ices [ A ]. Pro ceedings o f the 14th Internationa l Conference on Wo rldW ide W eb Conference [ C ] . Chiba, Japan: ACM Press, 2005. 750- 759.
[9] Be rardi D, Ca lvanese D. Autom atic com po sition o f e?? se rv ices that export the ir behav ior [ A] . Proceedings of Interna tiona l Conference of Serv ice Oriented Com?? puting [ C ]. W ash ing ton D. C. , USA: IEEE Com?? puter Soc iety, 2003. 43- 58.
[10] B erardi D, Ca lvanese D, G iacomo D, et a.l Auto?? ma tic composition o f trans ition??based sem an tic web serv ices w ith M essag ing [ A ]. Proceed ings o f the 31st Internationa lConference on Ve ry Larg eData Ba?? ses [ C] . T rondhe im, Norway: VLDB Endowm ent, 2005. 613- 624.
[11] Ko zen D, T iuryn, J. Logics of program s: H andbook o f theoretica l computer science fo rma lmodels and seman?? tics [M ]. The Netherland: E lsev ie r Science, 1990


Last Update: 2012-12-19