Theoretical Computer Science
Partial evaluation in logic programming
Journal of Logic Programming
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
On the &pgr;-calculus and linear logic
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
The pi-Calculus as a Theory in Linear Logic: Preliminary Results
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A model for web services composition based on QoS and providers' benefit
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Towards matching of service feature models based on linear logic
Proceedings of the 15th International Software Product Line Conference, Volume 2
A novel architecture for Web service composition
Journal of Network and Computer Applications
Web services analysis: making use of web service composition and annotation
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Behavior based service composition
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
An agent-based service composition framework
Proceedings of the 2011 Grand Challenges on Modeling and Simulation Conference
Satisfying End User Constraints in Service Composition by Applying Stochastic Search Methods
International Journal of Web Services Research
A Collaborative QoS-Aware Service Evaluation Method Among Multi-Users for a Shared Service
International Journal of Web Services Research
Hi-index | 0.00 |
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.