http://hdl.handle.net/10315/2531 2013-05-19T12:50:01Z http://hdl.handle.net/10315/2994 Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning Martínez, Erick; Lespérance, Yves Motivated by the problem of automated Web service composition (WSC), in this paper, we present some empirical evidence to validate the effectiveness of using knowledge-based planning techniques for solving WSC problems. In our experiments we utilize the PKS (Planning with Knowledge and Sensing) planning system which is derived from a generalization of STRIPS. In PKS, the agent’s (incomplete) knowledge is represented by a set of databases and actions are modelled as revisions to the agent’s knowledge state rather than the state of the world. We argue that, despite the intrinsic limited expressiveness of this approach, typical WSC problems can be specified and solved at the knowledge level. We show that this approach scales relatively well under changing conditions (e.g. user constraints). Finally, we discuss implementation issues and propose some architectural guidelines within the context of an agent-oriented framework for inter-operable, intelligent, multi-agent systems for WSC and provisioning. 2004-06-01T00:00:00Z http://hdl.handle.net/10315/2993 IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning Martínez, Erick; Lespérance, Yves In this paper we describe an agent-based infrastructure and toolkit to develop inter-operable, intelligent, multiagent systems for Web service composition (WSC) and provisioning. Our toolkit is realized through an interface library (IG-JADE-PKSlib) that combines state of the art agent-based and planning technologies (i.e., the IndiGolog model-based agent programming language, the JADE agent platform, and the PKS planning system). We show that each of these tools has its strengths and weaknesses, but combined together, they provide a very powerful toolkit. We argue that this infrastructure is particularly well suited for developing next generation Web services (WS) applications. 2004-07-01T00:00:00Z http://hdl.handle.net/10315/2532 Software Verification Tools Roosen-Runge, Peter This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of programs, represented either abstractly in functional terms, or by actual text. The tools can be thought of as roughly analogous to spelling and style checkers in word-processing; they reduce the labor of finding errors and provide some semi-automated aids to making corrections. 2008-01-01T00:00:00Z