Knowledge Management Group

My name is Muhammad Shaban Jokhio. At present I am a PhD student in the Departmetn of Computer Science at University of Auckland, on fully funded scholarship from the Higher Education Commission (HEC), Government of Pakistan. Before this, I have been working as a junior lecturer, in the department of Computer Systems and Software Engineering at the Mehran University of Engineering and Technology, Jamshoro, Pakistan, and presently I am on study leave.

In general, programming and development have always been my from my areas of the interests. More specifically, I am interested in web and server side application development. Whereas, recently, the web services and Semantic Web have also been my focus of interest, sice they are quite emerging. This is the reason that I also opted to continue my research in the area of Semantic Web Service as my PhD.

Web services (WS), reusable software components, have brought automation to Internet computing. However, since they are currently described syntactically using XML standards, i.e., SOAP, WSDL and UDDI, the automation of web service tasks, e.g., web service discovery, selection, composition and execution, is still a challenge. In order to make the most of automation in Service Oriented Architecture (SOA), the concept of semantic web services (SWS), which are described using an ontology language, have been introduced.

The research related to testing and quality assurance aspects of web services is not mature. This is especially true for semantic web services, since research to-date has mainly focused on the automation of WS tasks. Furthermore, some semantic web service frameworks promote client-oriented SOA, by formally specifying user requirements, called ``goal specification'', and automatically resolve it by appropriate web service detection.

Keeping this in mind, I we propose a novel approach for testing semantic web services based on user goal specifications. I believe this type of testing would add real value to web service users, unlike traditional web service testing.

M. Shaban Jokhio, Gill Dobbie, Jing Sun, 2009 Towards Specification based Testing for Semantic Web Services 20th Australian Software Engineering Conference (ASWEC 2009), pages 54-63, Gold Coast, Queensland, Australia, April 14-17, 2009

Mohsen Khaksar, Saeed Jalili, Nerges Khakpour, M. Shaban Jokhio Monitoring Safety Properties of Composite Web Services at Runtime using CSP 13th IEEE International EDOC Conference, 1-4 September 2009, Auckland New Zealand.

M. Shaban Jokhio Goal based Testing of Semantic Web Services 24th IEEE International Conference on Automatic Software Engineering (ASE) 16-20 November 2009, Auckland New Zealand.

M. Shaban Jokhio, Gill Dobbie, Jing Sun, 2009 A Framework for Testing Semantic Web Services using Model Checking. 4th South-East European Workshop on Formal Methods, (SEEFM2009) Thessaloniki, Greece, December 4-5 2009.