SCC: A Service Centered Calculus

Abstract

Abstract. We seek for a small set of primitives that might serve as a basis for formalizing and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but SCC's session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided that relates our proposal with existing ones.

Semantic-Based Development of Service-Oriented Systems

“…In addition, the SENSORIA project is developing a comprehensive service ontology and a (SENSORIA) Reference Modelling Language (SRML) [16] for supporting service-oriented modelling at high levels of abstraction of "business" or "domain" architectures (similar to the aims of the service component architecture SCA [33]). To provide semantic foundations to the dynamic behaviour of services a new process calculus SCC [8] has been designed which features explicit notions of service definition, service invocation and session handling. Other research strands of SENSORIA comprise a probabilistic extension of a Linda-like language for service-oriented computing [12] and stochastic extensions of KLAIM [32] and beta-binders [15].…”

Event-Based Service Coordination

“…In fact, constructs are often informally specified which usually leads to ambiguities or redundancy. Several research and implementation efforts are currently devoted to provide a clear semantics for their constructs and tools for verification (COWS [21], Global Calculus [8], λ req [1] ORC [24], SCC [3], SOCK [18] to cite a few). However, research is still underway.…”

Coordination Via Types in an Event-Based Framework

“…At the best of our knowledge, multi-party sessions are ruled out from other approaches. For instance, in [13,3,2] only two-party sessions are tackled. Indeed, these proposals aim to model the basic use of sessions as done in many protocols of e.g.…”