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