Ahmed Saleh

Publication List Details

Period

1987 - 2008

Number

21

Co-Authors

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO (2008)

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

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO (2008)

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

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...

Formal Specification of OWL-S with Object-Z (2008)

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

Abstract. 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...

A Formal Model of Semantic Web Service Ontology (WSMO) Execution (2008)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun

Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential....

A Formal Model of Semantic Web Service Ontology (WSMO) Execution (2008)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun

Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential....

Transitioning Applications to Semantic Web Services: An Automated Formal Approach (2008)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Li, Yuan

Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite...

Transitioning Applications to Semantic Web Services: An Automated Formal Approach (2008)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Li, Yuan

Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite...

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...

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...

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...

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...

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...

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...