The autonomous development of components in service oriented computing requires emphasising on interface specifications. The goal of the project is to investigate the automatic validation for Web Services. By automatic validation we mean the process of checking if occurring message flows conform the their specifications. It is performed by a general purpose validator, which observes messages exchanged by communication partners and analyses the conformance to the previously read specification. This allows to immediately detect non-conformance and thus corrective actions before putting risk on the systems dependability. The automatic validation can be applied to a single interface between a pair of communication partners or to the choreography of messages exchanged between several communication partners that can be part of a composite web service.

Since available specification techniques for Web Services are either too restricted in their expressiveness or not well-suited for the automatic validation, a new specification technique "Specifications using XQuery expressions on Traces" (SXQT) is developed in the project. Extending the W3C's Web Services Description Language message-flows are constrained in a temporal and structural manner with expressions of first order logic.