Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study
暂无分享,去创建一个
Annapaola Marconi | Marco Pistore | Luca Spalazzi | Francesco Pagliarecci | Ivan Di Pietro | M. Pistore | L. Spalazzi | A. Marconi | Francesco Pagliarecci | I. D. Pietro
[1] Wolfgang Thomas,et al. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .
[2] Marco Pistore,et al. Planning with a language for extended goals , 2002, AAAI/IAAI.
[3] James A. Hendler,et al. DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..
[4] Jeff Heflin,et al. Document-Centric Query Answering for the Semantic Web , 2007, IEEE/WIC/ACM International Conference on Web Intelligence (WI'07).
[5] Piergiorgio Bertoli,et al. MBP: a Model Based Planner , 2001 .
[6] Amit P. Sheth,et al. Semantic annotation of web services , 2003 .
[7] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[8] Luca Spalazzi,et al. Semantic Annotation for Web Service Processes in Pervasive Computing , 2010, Pervasive Computing, Innovations in Intelligent Multimedia and Applications.
[9] Sudhir Agarwal. A Goal Specification Language for Automated Discovery and Composition of Web Services , 2007, IEEE/WIC/ACM International Conference on Web Intelligence (WI'07).
[10] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[11] Sheila A. McIlraith,et al. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.
[12] Diego Calvanese,et al. Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics , 2006, AAAI.
[13] Annapaola Marconi,et al. Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.
[14] Marco Pistore,et al. Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.
[15] Jianwen Su,et al. E-services: a look behind the curtain , 2003, PODS.
[16] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[17] Amit P. Sheth,et al. Meteor-s web service annotation framework , 2004, WWW '04.
[18] Stephan Tobies,et al. Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.
[19] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[20] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[21] Jerry R. Hobbs,et al. DAML-S: Semantic Markup for Web Services , 2001, SWWS.
[22] Deborah L. McGuinness,et al. OWL Web ontology language overview , 2004 .
[23] Marco Pistore,et al. A Minimalist Approach to Semantic Annotations for Web Processes Compositions , 2006, SEBD.
[24] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[25] James A. Hendler,et al. Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.
[26] Marco Pistore,et al. Web Service Discovery at Process-level Based on Semantic Annotation , 2007, SEBD.
[27] Diego Calvanese,et al. Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.