Formal Specification of OWL-S with Object-Z (2007)
Wang, Hai W., Saleh, Ahmed, Payne, Terry R., Gibbins, Nicholas
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has been recognized as a promising technology that exhibits huge commercial potential, and attracts a...
Formal Specification of OWL-S with Object-Z (2007)
Wang, Hai W., Saleh, Ahmed, Payne, Terry R., Gibbins, Nicholas
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has been recognized as a promising technology that exhibits huge commercial potential, and attracts a...
Formal Specification of OWL-S with Object-Z (2007)
Wang, Hai W., Saleh, Ahmed, Payne, Terry R., Gibbins, Nicholas
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has been recognized as a promising technology that exhibits huge commercial potential, and attracts a...
Formal Specification of OWL-S with Object-Z (2007)
Wang, Hai W., Saleh, Ahmed, Payne, Terry R., Gibbins, Nicholas
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has been recognized as a promising technology that exhibits huge commercial potential, and attracts a...