BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
The Simple Object Access Protocol (SOAP) [1] is an emerging technology in the field of web services. Web services demand high performance, security and extensibility. SOAP, being ...
In this paper, we provide a general overview of our recent research contributions, with focus on the proposed approach for building service ontologies to serve as an interoperabili...
Devis Bianchini, Valeria De Antonellis, Michele Me...
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...