Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
The stream-based service-centred calculus: a foundation for service-oriented programming
Cruz-Filipe L., Lanese I., Martins F., Ravara A., Thudichum Vasconcelos V. Formal Aspects of Computing26 (5):865-918,2014.Type:Article
Date Reviewed: Nov 18 2014

Today, web services are the major technology for deploying systems that make their functionality remotely accessible, discoverable, and composable, giving rise to the paradigm of service-oriented computing (SOC). To adequately model SOC systems, and to rigorously reason about their behavior, suitable formal calculi equipped with corresponding analysis techniques are required. This paper presents such a calculus called stream-based service-centered calculus (SSCC).

SSCC extends a previously introduced process calculus by a notion of streams that allows for the collection of results from ongoing computations and makes them available for new ones. Thus, SSCC becomes more suitable for modeling service composition and orchestration, while still allowing static analysis techniques. The paper first formally defines the syntax, operational semantics, and type system of SSCC; it then introduces a theory of the dynamic behavior of SSCC processes by a labeled transition system on top of which strong and weak notions of process equivalence (bisimilarity) are introduced.

A characterizing feature of this paper, however, is the extensive presentation of examples that demonstrates the practical application of SSCC. First, a simple example illustrates the main features of the calculus; later, a catalog of previously published workflow patterns is expressed; finally, two case studies from a larger automotive scenario are modeled. From these examples the need for program transformations arises, so the paper finally discusses how services modeled in an object-oriented style can be systematically transformed to a session-centered style. These efforts to make the results accessible to a wider audience make the paper exceptional reading.

Reviewer:  Wolfgang Schreiner Review #: CR142948 (1502-0174)
Bookmark and Share
  Featured Reviewer  
General (H.4.0 )
Design (D.2.10 )
Would you recommend this review?
Other reviews under "General": Date
Controlling the future
Stewart L. J., QED Information Sciences, Inc., Wellesley, MA, 1991. Type: Book (9780894352935)
Dec 1 1991
European Journal of Information Systems (v.1 n.1)
Liebenau J. (ed) Smithson S.  European Journal of Information Systems 11:1991. Type: Journal
Oct 1 1991
Principles of efficient information management
Scheer A., Springer-Verlag New York, Inc., New York, NY, 1991. Type: Book (9780387541068)
May 1 1993

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy