LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Publisher: Taylor & Francis
Languages: English
Types: Article
Subjects:
Organisations wishing to engage in industrial collaborative networks will typically seek some guarantees concerning the reliability of their prospective partners before committing to cooperation. Evaluating reliability can encompass several aspects, but one of the most crucial things to consider from a cooperation perspective is whether the software systems that support the business processes of some collaborator actually behave as expected. For organisations that rely on a service-oriented computing infrastructure, this amounts to checking whether the functionality of the respective services is conformant to a given behavioural specification. Today’s state of the art lacks standardised methods for creating behavioural specifications of Web services, and also lacks tools for automating the process of behavioural conformance checking through testing. This paper presents a concrete method for creating formal specifications of Web service behaviour and utilising them within service registries for automated testing of service implementations in order to verify and certify their conformance.

Share - Bookmark

Cite this article