—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Abstract— The composition of network management information is a feature widely required but not properly supported in traditional management technologies. In the last years, Web...
Ricardo Lemos Vianna, Maria Janilce Bosquiroli Alm...
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
With the growing number and ubiquitous usage of Web services throughout the service-oriented community, the need to find service descriptions in a given repository, as well as co...
Lukasz Juszczyk, Anton Michlmayr, Christian Platze...