An increasing number of popular SOAP web services exhibit a stateful behavior, where a
successful interaction is determined as much by the correct format of messages as by the …

The rigorous and comprehensive verification of communication-based software is an
important engineering challenge in distributed systems. Drawn from our industrial …

In large-scale distributed infrastructures, applications are realised through communications
among distributed components. The need for methods for assuring safe interactions in such …

For a system of distributed processes, correctness can be ensured by (statically) checking
whether their composition satisfies properties of interest. However, Web services are …

We present an algorithm for the runtime monitoring of business process properties with data
parameterization. The properties are expressed in LTL-FO+, an extension to traditional …

The rigorous and comprehensive verification of communication-based software is an
important engineering challenge in distributed systems. Drawn from our industrial …

This paper reflects on some recent results that show the value of delay-fault tests on a deep
sub-micron process. However, the results also suggest that untargetted test patterns perform …

A wide range of web service choreography constraints on the content and sequentiality of
messages can be translated into Linear Temporal Logic (LTL). Although they can be …

Abstract constraint specifications–such as interoperability contracts–of the behavior of a
system are frequently stated as requirements during early design phases. During the …

Service monitoring is an essential part of service-oriented software systems and is required
for meeting regulatory requirements, verifying compliance to service-level agreements …