Semantic Web Service Composition via Logic-based Program Synthesis

摘要: The ability to efficient selection and integration of inter-organizational heterogeneous Web services at runtime becomes an important requirement the service provision. In application, if no single existing can satisfy functionality required by user, there should be a program or agent automated combine together in order fulfill request.The aim this thesis is consider composition problem from viewpoint logic-based synthesis, propose agent-based framework for supporting process scalable flexible manner. approach described uses Linear Logic-based theorem proving assist automate Semantic services. language (DAML-S) external presentation services, while, internally, are presented extralogical axioms proofs Logic. Logic, as resource conscious logic, enables us capture concurrent features formally (including parameters, states non-functional attributes). calculus present model composite service. attached Logic inference rules style type theory. Thus generated directly complete proof. We introduce set subtyping that defines valid dataflow services.The used semantic reasoning with figures. system has been implemented based on multi-agent architecture, AGORA. design different components system, such prover, reasoner translator integrated each other loosely coupled manner.We conclude discussing how directed meet main challenges composition. First, it autonomous so users do not analyze huge amount available manually. Second, good scalability flexibility better performed dynamic environment. Third, solves because information matching composing services.We argue LL proving, combined offers practical success LL, logic specifying programming, provides higher expressive powers modeling than classical logic. Further, manner.The contributions summarized follows. generic developed purpose presenting abstract specific platform developed. focuses translation between internal languages extraction applications discussed. Fourth, architecture provision