136 search results - page 1 / 28 » A Modeling Language for Activity-Oriented Composition of Ser... |
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
SEFM
2007
IEEE
13 years 10 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...
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...