Core calculi for service-oriented computing

Authors:
Luís Caires;Rocco De Nicola;Rosario Pugliese;Vasco T. Vasconcelos;Gianluigi Zavattaro
Affiliations:
CITI and Dept. de Informática, FCT, Universidade Nova de Lisboa, Portugal;Dipartimento di Sistemi e Informatica, Università di Firenze, Italy;Dipartimento di Sistemi e Informatica, Università di Firenze, Italy;LaSIGE and Dept. Informática, Faculdade Ciências Lisboa, Portugal;Dipartimento di Scienze dell'Informazione, Università di Bolona, Italy
Venue:
Rigorous software engineering for service-oriented systems
Year:
2011

Citing 19
Cited 3

A calculus of mobile processes, II

Information and Computation
Workflow Patterns

Distributed and Parallel Databases
Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Disciplining Orchestration and Conversation in Service-Oriented Computing

SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Composing Services with JOLIE

ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Sessions and Pipelines for Structured Service Programming

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Relational Analysis of Correlation

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Dynamic Fault Handling Mechanisms for Service-Oriented Applications

ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Conversation Types

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A calculus for orchestration of web services

ESOP'07 Proceedings of the 16th European conference on Programming
Regulating data exchange in service oriented applications

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
The conversation calculus: a model of service-oriented computation

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
SOCK: a calculus for service oriented computing

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
SCC: a service centered calculus

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A WSDL-based type system for WS-BPEL

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A trace semantics for long-running transactions

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

Analysis of service oriented software systems with the conversation calculus

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Formalising security in ubiquitous and cloud scenarios

CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Internet of things: a process calculus approach

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Core calculi have been adopted in the Sensoria project with three main aims. First of all, they have been used to clarify and formally define the basic concepts that characterize the Sensoria approach to the modeling of service-oriented applications. In second place, they are formal models on which the SENSORIA analysis techniques have been developed. Finally, they have been used to drive the implementation of the prototypes of the SENSORIA languages for programming actual service-based systems. This chapter reports about the SENSORIA core calculi presenting their syntax and intuitive semantics, and describing their main features by means of a common running example, namely a Credit Request scenario taken from the SENSORIA Finance case study.