Independent Study: Professor Hoffmeister

Constraint-based Policy Specification for OWL-S Web Service (lips)

(lips is being used in a new component model, the Semantic Web Service)

The email:

What are we going to prove? see above.

What is the environment? i.e. COBRA, servlet? what? (i.e. the component)

(note Java app server etc.)

Task

Ideas:
    Robustness?
    i.e. does not get invoked when there is mismatch.
    What is the benefit I am trying to show -
       either its an approach to an unsolved problem
       or its better approach than X