Service Model

Services are viewed as processes which are defined using a Process Ontology.
A process can have any number of inputs.
It can have any number of outputs.
It has a parameter that specifies the participants in the process.
It can have any number of preconditions that must hold for the process to be invoked.
It can have any number of effects.
Outputs and effects can have conditions associated with them.