Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
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 Computing 26 (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?
yes
no
Other reviews under "General": Date
After death: big data and the promise of resurrection by proxy
Ahmad M.  CHI EA 2016 (Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, Santa Clara, CA,  May 7-12, 2016) 397-408, 2016. Type: Proceedings
Oct 12 2016
Socially-optimal design of service exchange platforms with imperfect monitoring
Xiao Y., Van Der Schaar M.  ACM Transactions on Economics and Computation 3(4): 1-25, 2015. Type: Article
Dec 15 2015
SmartPiggy: a piggy bank that talks to your smartphone
Stockinger T., Koelle M., Lindemann P., Witzani L., Kranz M.  MUM 2013 (Proceedings of the 12th International Conference on Mobile and Ubiquitous Multimedia, Luleå, Sweden,  Dec 2-5, 2013) 1-2, 2013. Type: Proceedings
May 16 2014
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy