334 search results - page 2 / 67 » Structured Formalization of Service-Oriented Specifications |
FORTE
2007
13 years 6 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
CAISE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
EDOC
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper describes the deployment of a Service Oriented Architecture in the specific context of the “Business Communities” i.e. Communities of heterogeneous actors that coop...
ICWS
2010
IEEE
13 years 6 months ago
2010
IEEE
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...