This paper presents a formalisation and analysis method for the dynamics of a reasoning process in which multiple representations play a role. Dynamics of reasoning processes are described by reasoning traces consisting of sequences of reasoning states over time. Reasoning states have a compositional structure; they are composed of different parts, for example, for different representations. Transitions between two reasoning states model reasoning steps. In relation to the compositional structure of the states, transitions are classified into a number of types. An example reasoning process involving multiple representations is used to illustrate how its dynamics can be formalised and analysed using the approach.

Web services are expected to be the key technology in enabling the next installment of the Web in the form of the Service Web. In this paradigm shift, Web services would be treated as first-class objects that can be manipulated much like data is now manipulated using a database management system. Hitherto, Web services have largely been driven by standards. However, there is a strong impetus for defining a solid and integrated foundation that would facilitate the kind of innovations witnessed in other fields, such as databases. This survey focuses on investigating the different research problems, solutions, and directions to deploying Web services that are managed by an integrated Web Service Management System (WSMS). The survey identifies the key features of a WSMS and conducts a comparative study on how current research approaches and projects fit in.

Abstract. The Web Service Modelling Ontology (WSMO) semantically describes the core elements of Semantic Web Services, aiming at a framework for unambiguous formal descriptions on which inference mechanisms shall enable automated discovery, composition, execution and invocation of Web Services. Choreography and Orchestration are defined as sub-classes of service interface for describing how the functionality of a Web Service can be consumed and how it is achieved by aggregating other Web Services. Therefore, a basic model for formally describing the dynamics of service interface descriptions has been defined. This paper discusses the usability of the mentioned model by identifying the main reasoning tasks for choreography and orchestration descriptions as well as the requirements on mediation facilities in order to handle possible occurring mismatches in WSMO service interfaces. 1

Traditional selection criteria for Problem Solving Methods (PSMs) from libraries concentrate solely on the functionality of these methods, and ignore their computational performance. We propose the use of anytime performance profiles to describe the computational behaviour of problem solving methods, and to use these as additional selection criteria when selecting methods from a library. A performance profile describes how the quality of the output of an algorithm gradually increases as a function of the computation time. Such anytime descriptions of problem solving methods are attractive because they allow a trade-off to be made between available computation time and output-quality. It turns out that many...

In this chapter the dynamics of a reasoning pattern within diagnostic tasks is addressed: reasoning by assumption. For this reasoning pattern the analysis of human and automated reasoning patterns is performed in terms of dynamic properties. The language used to express the dynamic properties is kept semi-formal. In the chapter it is shown how dynamic

Abstract Web services are expected to be the key technology in enabling the next installment of the Web in the form of the Service Web. In this paradigm shift, Web services would be treated as first-class objects that can be manipulated much like data is now manipulated using a database management system. Hitherto, Web services have largely been driven by standards. However, there is a strong impetus for defining a solid and integrated foundation that would facilitate the kind of innovations witnessed in other fields, such as databases. This survey focuses on investigating the different research problems, solutions, and directions to deploying Web services that are managed by an integrated Web Service Management System (WSMS). The survey identifies the key features of a WSMS and conducts a comparative study on how current research approaches and projects fit in. Keywords Service-oriented computing · Interoperability · Web service management system