Learn More
The World Wide Web (WWW) has gained wide acceptance partially owing to the ease of writing web pages. Further, the semantic Web facilitates composing Web services in the form of Web ontology language for service (OWLS). However, OWLS requires assistance from agent for automatic discovery, composition, and invocation. This work presents an agent interaction(More)
This paper presents a web service verification environment to assist developers with verifying BPEL4WS documents. This environment translates a BPEL4WS document into a VDM++ document through an intermediate language called the enhanced OWL-S, and then verifies the VDM++ document by using the VDM++ toolbox. The environment is expected: 1) to provide a visual(More)
  • 1