Top>Projects>CoSMoS

CoSMoS:
Component Service Model with Semantics
  Overview
  Model Spec.
  Description
    XML
    WSDL
    RDFS
  Downloads
  Demo



Overview

Component Service Model with Semantics (CoSMoS) is an abstract model that represents a component as a single semantic graph. CoSMoS is designed to integrate the functional information of a component and the semantic and logical aspects of the component.

This is an example of CoSMoS representing "Direction" in "English" as a "String" value. As you can see, in CoSMoS, a component is modeled as a graph of nodes and links.

Features

Support of semantics

Many existing component models (e.g. WSDL, JavaBeans/EJB, COM, CCM etc) do not specify how to represent or model the semantics of components. Due to the lack of semantic information, those models require human application designers to understand, judge and match the semantics of components. On the other hand, CoSMoS supports the representation of semantics by defining Concept and Logic classes (see CoSMoS model specification for more detail), allowing machines to autonomously retrieve and match semantics of components. Also, CoSMoS is capable of modeling ontologies, i.e., the relationships among concepts, for providing richer semantics than a mere aggregation of concepts.

Separation of data types and semantics

CoSMoS explicitly separates the definition of data types and concepts (or semantics). This allows CoSMoS to model services in which an input and an output have different data types but share the same concept. Other component models, such as OWL-S, have difficulty in modeling such services, if they do not clearly distinguish data types (e.g. XML Schema Datatypes) and concepts (instances of owl:Class).

Support of semantics of operation

Many of the existing component models, including OWL-S, do not markup the semantics of operations. Some models define an operation as a set of inputs and outputs, while others define an operation as a set of inputs, outputs, precondition, and postcondition. In CoSMoS, an operation may be associated with a predicate (a subtype of concept) to represent its semantics, which allows more precise definition of the operationfs semantics than a set of inputs, outputs and pre/postconditions.

CoSMoS Model Specification

CoSMoS Model Specification describes the formal definition of CoSMoS, which includes the definition of CoSMoS classes and links.

CoSMoS Description Languages

Since CoSMoS is an abstract model, CoSMoS can be described in different languages. Currently, the following languages are designed or extended to describe CoSMoS.

(c) Keita Fujii (kfujii@ics.uci.edu)
Netgroup, School of Information and Computer Science, UC Irvine