Formal Specification of OWL-S with Object-Z: The Dynamic Aspect.

Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh

Browse the full WISE paper archive.