To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …

Service computing is a cross-disciplinary field that covers science and technology, and
represents a promising direction for distributed computing and software development …

In the area of business-to-business (B2B) collaboration, original equipment manufacturers
(OEMs) are confronted with the problem of spending a considerable time and effort on …

Deciding whether a service S can be substituted by another service S′ is an important
problem in practice and one of the research challenges in service-oriented computing. In …

WS-BPEL defines a standard for executable processes. Executable processes are business
processes which can be automated through an IT infrastructure. The WS-BPEL specification …

The ability to deal with the incompatibilities of service requesters and providers is a critical
factor for achieving interoperability in dynamic open environments. We focus on the problem …

We propose a framework for the specification of behaviour-preserving reconfigurations of
systems modelled as Petri nets. The framework is based on open nets, a mild generalisation …

Software Defined Networking (SDN) provides considerable simplification of design and
deployment of various network applications for large networks. Each application has its own …

While OWL-S advertisements provide a rich (ontological and behavioural) description of
Web services, there are no tools that support formal analyses of OWL-S services. In this …

The behavioral analysis for Web services provides a priori detection of errors to ensure
successful interactions in services invocation and composition, and the behavioral …