Service Type Specification through Conceptual Graphs

An open distributed environment can be perceived as a service market where services are freely offered and requested. Any infrastructure which seeks to provide appropriate mechanisms for such environments has to include some mediator functionality to bring together matching service requests and service offers. We propose a type specification notation based upon conceptual graphs to support the cognitive domain of application users. Furthermore, they help to cope with the problem of different extensions for the same intension of a service type. Conceptual graphs, which can easily be visualized, originate from a perception model in psychology. In this paper we present a formal model and a new standard interpretation for conceptual graphs. Keywords: Open service markets, trading, service types, conceptual graphs. 1 Introduction An open distributed environment can be perceived as a service market where services are offered and requested. Such environments require standardization of the ..