article

Composition of Semantic Web services using Linear Logic theorem proving

Authors:

Mihhail MatskinAuthors Info & Claims

Information Systems, Volume 31, Issue 4-5

Pages 340 - 360

Published: 01 June 2006 Publication History

Abstract

This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. LL, as a resource conscious logic, enables us to capture the concurrent features of Web services formally (including parameters, states and non-functional attributes). We use a process calculus to present the process model of the composite service. The process calculus is attached to the LL inference rules in the style of type theory. Thus, the process model for a composite service can be generated directly from the complete proof. We introduce a set of subtyping rules that defines a valid dataflow for composite services. The subtyping rules that are used for semantic reasoning are presented with LL inference figures. We propose a system architecture where the DAML-S Translator, LL Theorem Prover and Semantic Reasoner can operate together. This architecture has been implemented in Java.

References

[1]

T. Bellwood, et al., Universal Description, Discovery and Integration specification (UDDI) 3.0. Online: http://uddi.org/pubs/uddi-v3.00-published-20020719.htm.

[2]

R. Chinnici, et al., Web Services Description Language (WSDL) 1.2. Online: http://www.w3.org/TR/wsdl/

[3]

D. Box, et al. Simple Object Access Protocol (SOAP) 1.1. Online: http://www.w3.org/TR/SOAP/, 2001.

[4]

D. Martin, et al., DAML-S (and OWL-S) 0.9 draft release. Online: http://www.daml.org/services/daml-s/0.9/, May 2003.

[5]

T. Andrews, et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1, May 2003.

[6]

Girard, J.-Y., Linear logic. Theoret. Comput. Sci. v50. 1-102.

Digital Library

[7]

Manna, Z. and Waldinger, R., Fundamentals of deductive program synthesis. IEEE Trans. Software Eng. v18 i8. 674-704.

[8]

Grosof, B.N., Horrocks, I., Volz, R. and Decker, S., Description logic programs: combining logic programs with Description Logic. In: The 12th International Conference on the World Wide Web (WWW-2003), Budapest, Hungary.

[9]

The DARPA Agent Markup Language homepage. Online: http://www.daml.org.

[10]

M. Dean, et al., OWL Web Ontology Language 1.0 reference. Online: http://www.w3.org/TR/owl-ref/, July 2002.

[11]

A. Ankolekar, DAML-S Coalition, DAML-S: Semantic markup for Web serivces, in: Proceedings of the International Semantic Web Workshop, 2001.

[12]

S. McIlraith, D. Mandell, Comparison of DAML-S and BPEL4WS, Online: http://www.ksl.stanford.edu/-projects/DAML/Webservices/-DAMLS-BPEL.html, Knowledge Systems Lab, Stanford University, September 2002.

[13]

J.M. Dunn, Relevance logic and entailment, in Handbook of Philosophical Logic, vol. III, D. Reidel Publishing Company, Dordrecht, 1986, pp. 117-224.

[14]

Lambek, J., The mathematics of sentence structure. Am. Math. Mon. v65 i3. 154-170.

[15]

R. Milner, The ployadic pi-calculus: a tutorial, Technical Report, Laboratory for Foundations of Computer Science, University of Edinburgh, October 1991.

[16]

Abramsky, S., Proofs as processes. Theoret. Comput. Sci. v135 i1. 5-9.

[17]

D. Miller, The pi-calculus as a theory in Linear Logic: preliminary results, in: E. Lamma, P. Mello (Eds.), Proceedings of the 1992 Workshop on Extensions to Logic Programming, Lecture Notes in Computer Science, vol. 660, Springer, Berlin, 1993, pp. 242-265.

[18]

Bellin, G. and Scott, P.J., On the pi-calculus and Linear Logic. Theoret. Comput. Sci. v135 i1. 11-65.

[19]

XLANG: Web services for business process design. Online: http://www.gotdotnet.com/team/-xml_wsspecs/xlang-c/default.htm.

[20]

M. Lumpe, A pi-calculus based approach for software composition, Ph.D. Thesis, Institute of Computer and Applied Mathematics, University of Bern, 1999.

[21]

D. Brickley, R.V. Guha, RDF Vocabulary Description Language 1.0: RDF Schema. Online: http://www.w3.org/TR/rdf-schema/.

[22]

I. Horrocks, U. Sattler, S. Tessaris, S. Tobies, How to decide query containment under constraints using a Description Logic, in: Proceedings of LPAR'2000, 2000.

[23]

Jena-Semantic Web framework for Java. Online: http://jena.sourceforge.net.

[24]

Hodas, J.S. and Miller, D., Logic programming in a fragment of intuitionistic Linear Logic. Inform. Comput. v110 i2. 327-365.

[25]

M. Winikoff, J. Harland, Implementing the Linear Logic programming language Lygon, in: Proceedings of the International Logic Programming Symposium, December 1995, pp. 66-80.

[26]

Casati, F., Ilnicki, S. and Jin, L., Adaptive and dynamic service composition in EFlow. In: Proceedings of 12th International Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden, Springer, Berlin.

[27]

Schuster, H., Georgakopoulos, D., Cichocki, A. and Baker, D., Modeling and composing service-based and reference process-based multi-enterprise processes. In: Proceedings of 12th International Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden, Springer, Berlin.

[28]

S. McIlraith, T. Cao Son, Adapting Golog for composition of Semantic Web services, in: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning(KR2002), Toulouse, France, April 2002.

Digital Library

[29]

R. Waldinger, Web agents cooperating deductively, in: Proceedings of FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000; Lecture Notes in Computer Science, vol. 1871, Springer, Berlin, 2001, pp. 250-262.

[30]

Manna, Z. and Waldinger, R.J., A deductive approach to program synthesis. ACM Trans. Programming Languages Systems. v2 i1. 90-121.

[31]

S. Lämmermann, Runtime service composition via logic-based program synthesis, Ph.D. Thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, 2002.

[32]

McDermott, D., Estimated-regression planning for interaction with web services. In: Proceedings of the Sixth International Conference on AI Planning and Scheduling, Toulouse, France, April 23-27, 2002, AAAI Press, New York.

[33]

D. Wu, B. Parsia, E. Sirin, J. Hendler, D. Nau, Automating DAML-S Web services composition using SHOP2, in: Proceedings of the Second International Semantic Web Conference, ISWC 2003, Sanibel Island, Florida, USA, October 20-23, 2003, 2003.

Digital Library

[34]

M. Sheshagiri, M. desJardins, T. Finin, A planner for composing services described in DAML-S, in: Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering, 2003.

[35]

Thakkar, S., Knoblock, C.A., Ambite, J.L. and Shahabi, C., Dynamically composing Web services from on-line sources. In: Proceeding of 2002 AAAI Workshop on Intelligent Service Integration, Edmonton, Alb., Canada.

[36]

S.R. Ponnekanti, A. Fox, SWORD: a developer toolkit for Web service composition, in: The Eleventh World Wide Web Conference, Honolulu, HI, USA, 2002.

[37]

E. Sirin, J. Hendler, B. Parsia, Semi-automatic composition of Web services using semantic descriptions, in: Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS2003, 2002.

[38]

Lloyd, J.W. and Shepherdson, J.C., Partial evaluation in logic programming. J. Logic Programming. v11. 217-242.

[39]

P. Küngas, J. Rao, M. Matskin, Symbolic agent negotiation for Semantic Web service exploitation, in: Proceedings of the Fifth International Conference on Web-Age Information Management, WAIM'2004, Dalian, China, July 2004; Lecture Notes in Computer Science, vol. 3129, 2004, Springer, Berlin, pp. 458-467.

Cited By

Cerny TDonahoo MTrnka M(2018)Contextual understanding of microservice architectureACM SIGAPP Applied Computing Review10.1145/3183628.318363117:4(29-45)Online publication date: 29-Jan-2018
https://dl.acm.org/doi/10.1145/3183628.3183631
Olivieri FGovernatori GCristani Mvan Beest NColombo-Tosatto S(2018)Resource-Driven Substructural Defeasible LogicPRIMA 2018: Principles and Practice of Multi-Agent Systems10.1007/978-3-030-03098-8_46(594-602)Online publication date: 29-Oct-2018
https://dl.acm.org/doi/10.1007/978-3-030-03098-8_46
Cerny TDonahoo MPechanec JGrygiel KCerny TKim SWang W(2017)Disambiguation and Comparison of SOA, Microservices and Self-Contained SystemsProceedings of the International Conference on Research in Adaptive and Convergent Systems10.1145/3129676.3129682(228-235)Online publication date: 20-Sep-2017
https://dl.acm.org/doi/10.1145/3129676.3129682
Show More Cited By

Index Terms

Composition of Semantic Web services using Linear Logic theorem proving

Recommendations

Semantic web service composition testbed

A huge amount of web services are deployed on the Web, nowadays. These services can be used to fulfill online requests. Requests are getting more and more complicated over time. So, there exists a lot of frequent request that cannot be fulfilled using ...
Process model-based atomic service discovery and composition of composite semantic web services using web ontology language for services OWL-S

Web Service composition has become indispensable as a single web service cannot satisfy complex functional requirements. Composition of services has received much interest to support business-to-business B2B or enterprise application integration. An ...
A framework for the description, discovery and composition of RESTful semantic web services
CCSEIT '12: Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology

Development of a semantic web is gaining a lot of traction recently. At the same time, another change is also getting a lot popular on the web - a move from complex SOAP based web services to the simpler RESTful services that work over the existing HTTP ...

Comments

Information & Contributors

Information

Published In

cover image Information Systems

Information Systems Volume 31, Issue 4-5

June, 2006

168 pages

ISSN:0306-4379

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2005.

Publisher

Elsevier Science Ltd.

United Kingdom

Publication History

Published: 01 June 2006

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
1
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cerny TDonahoo MTrnka M(2018)Contextual understanding of microservice architectureACM SIGAPP Applied Computing Review10.1145/3183628.318363117:4(29-45)Online publication date: 29-Jan-2018
https://dl.acm.org/doi/10.1145/3183628.3183631
Olivieri FGovernatori GCristani Mvan Beest NColombo-Tosatto S(2018)Resource-Driven Substructural Defeasible LogicPRIMA 2018: Principles and Practice of Multi-Agent Systems10.1007/978-3-030-03098-8_46(594-602)Online publication date: 29-Oct-2018
https://dl.acm.org/doi/10.1007/978-3-030-03098-8_46
Cerny TDonahoo MPechanec JGrygiel KCerny TKim SWang W(2017)Disambiguation and Comparison of SOA, Microservices and Self-Contained SystemsProceedings of the International Conference on Research in Adaptive and Convergent Systems10.1145/3129676.3129682(228-235)Online publication date: 20-Sep-2017
https://dl.acm.org/doi/10.1145/3129676.3129682
Baker TAsim MTawfik HAldawsari BBuyya R(2017)An energy-aware service composition algorithm for multiple cloud-based IoT applicationsJournal of Network and Computer Applications10.1016/j.jnca.2017.03.00889:C(96-108)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.1016/j.jnca.2017.03.008
Niewiadomski APenczek WSkaruz JSzreter MProla A(2017)Combining ontology reductions with new approaches to automated abstract planning of PlanicsApplied Soft Computing10.1016/j.asoc.2017.01.00753:C(352-379)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1016/j.asoc.2017.01.007
Eshuis RLécué FMehandjiev N(2016)Flexible Construction of Executable Service Compositions from Reusable Semantic KnowledgeACM Transactions on the Web10.1145/284262810:1(1-27)Online publication date: 8-Feb-2016
https://dl.acm.org/doi/10.1145/2842628
Vasilecas OKalibatiene DLavbič D(2016)Rule- and context-based dynamic business process modelling and simulationJournal of Systems and Software10.1016/j.jss.2016.08.048122:C(1-15)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.08.048
Souza Neto PVargas-Solar Gda Costa UMusicante M(2016)Designing service-based applications in the presence of non-functional propertiesInformation and Software Technology10.1016/j.infsof.2015.09.00469:C(84-105)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1016/j.infsof.2015.09.004
Xie YZhou ZPham DXu WJi C(2015)A multiuser manufacturing resource service composition method based on the bees algorithmComputational Intelligence and Neuroscience10.1155/2015/7803522015(12-12)Online publication date: 1-Jan-2015
https://dl.acm.org/doi/10.1155/2015/780352
Lemos ADaniel FBenatallah B(2015)Web Service CompositionACM Computing Surveys10.1145/283127048:3(1-41)Online publication date: 9-Dec-2015
https://dl.acm.org/doi/10.1145/2831270
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents