Compiled by Massimo Paolucci, Naveen Srinivasan and Katia Sycara. Carnegie Mellon University
$Id: ServiceModel.owl,v 1.2 2004/02/05 16:18:21 hugo Exp $
has_identifier
a capability can be advertised by an agent that supports it
associated_with
a service role is a set of service tasks
has_identifier
a capability has a description of its semantics
define
A service interface defines the message relevant to the service
desired_goal_state
a goal state is desired by some person or organization which has an interest in defining it.
uses
A choreography may be expressed in a choreography description language
has_identifier
a capability may be @@referenced@@ by a service description
has_identifier
a capability has a identifier which is a URI
has_owner
An agent has an owner that is a person or organization
has_role
A service intermediary adopts a specific service role.
owns
a provider entity offers a Web service
owned_by
A service is owned by a person or an organization
acts_on_behalf
a provider agent acts on behalf of a provider entity
perform_task
A service performs one or more tasks
Here I assume that "task" is infact "service task"
policies
A service may have one or more policies applied to it
has_role
A service intermediary preserves the semantics of messages it receives and sends.
provided_by
A service is provided by a person or an organization
acts_on_behalf
a requester agent acts on behalf of a requester entity
realize_service
An agent may realize zer or more services
realized_by
a service is realized by a provider agent.
request_service
An agent may request zer or more services
has_identifier
a capability can be required by agent that wishes to use it
result
An action may result in a desired goal state
sd_expressed_in
a service description may include a description of the service's semantics
description_service_interface
a service description is a machine-processable description of the service's interface
service_description_semantics
a service description may include a description of the service's semantics
service_semantics_of
a service semantics should be identified in a service description
service_description
A service has a service description
description_service_interface
a service description is a machine-processable description of a service
service_identifier
A service has a service identifier
Here I assume that "service identifier" is the same of the
resource model "identifier"
service_interface
A service has a service interface
service_role
a service has one or more service roles in relation to the
service's owner
service_semantics
A service has a service semantics
about
Approximation of the following statement:
a service semantics describes the intended effects of using a service
associated_with
a service role may be established by a service owner
associated_with
a service semantics may be described in a formal, machine-processable language
service_interface
a service task has a service interface
used_by
a service is used by a requester agent.
uses
A choreography uses one or more service interfaces
Goal_State
a goal state is a state of the real world, which includes the state of relevant resources
a provider entity owns a provider agent
a provider entity owns a provider agent
1
1
1
1
A service performs ONE OR MORE TASKS
A service has A (ONE) service description
a service has one or more service roles in relation to the
A service may have one or more policies applied to it
Action
An action, for the purposes of this architecture, is any action
that may be performed by an agent, possibly as a result of
receiving a message, or which results in sending a message or
other observable state change.
Agent
And agent is a program acting on behalf of another person, entity,
or process
Capability
A capability is a named piece of functionality (or feature) that is declared as supported or requested by an agent.
Choreography
A choreography defines the sequence and conditions under which
multiple cooperating independent agents exchange information in
order to achieve some useful function.
Goal_State
A goal state is a state of some service or resource that is desireable from some person or organization's point of view.
Agent
An action may be the processing of a received message
Provider_Agent
A provider agent is an agent that is capable of and empowered to perform the actions associated with a service on behalf of its owner the provider entity.
Provider_Entity
The provider entity is the person or organization that is providing a Web service.
Requester_Agent
A requester agent is a software agent that wishes to interact with a provider agent in order to request that a task be performed on behalf of its owner the requester entity
Requester_Entity
The requester entity is the person or organization that wishes to use a provider entity's Web service.
Agent
An action may be the sending of a message
Service
A service is a resource
A service is an abstract resource that represents a capability of performing tasks that represents a coherent functionality from the point of view of provider entities and requester entities. To be used, a service must be realized by a concrete provider agent.
Service_Description
A service description is a set of documents that describe the
interface to and semantics of a service.
Service_Interface
A service interface is the abstract boundary that a service exposes. It defines the types of messages and the message exchange patterns that are involved in interacting with the service, together with any conditions implied by those messages.
Service_Intermediary
A service intermediary is a Web service whose main role is to transform messages in a value-added way. (From a messaging point of view, an intermediary processes messages en route from one agent to another.) Specifically, we say that a service intermediary is a service whose outgoing messages are equivalent to its incoming messages in some application-defined sense.
Service_Role
a service role is a set of service tasks
A service role is an abstract set of tasks which is identified to be relevant by a person or organization offering a service. Service roles are also associated with particular aspects of messages exchanged with a service.
Service_Semantics
The semantics of a service is the behavior expected when interacting with the service. The semantics expresses a contract (not necessarily a legal contract) between the provider entity and the requester entity. It expresses the intended real-world effect of invoking the service. A service semantics may be formally described in a machine readable form, identified but not formally defined, or informally defined via an `out of band' agreement between the provider entity and the requester entity.
Service_Task
A service task is an action or combination of actions that is associated with a desired goal state. Performing the task involves executing the actions, and is intended to achieve a particular goal state.