SOCK: a calculus for service oriented computing

Authors:
Claudio Guidi;Roberto Lucchi;Roberto Gorrieri;Nadia Busi;Gianluigi Zavattaro
Affiliations:
Department of Computer Science, University of Bologna, Italy;Department of Computer Science, University of Bologna, Italy;Department of Computer Science, University of Bologna, Italy;Department of Computer Science, University of Bologna, Italy;Department of Computer Science, University of Bologna, Italy
Venue:
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Year:
2006

Citing 5
Cited 62

Formal verification of parallel programs

Communications of the ACM
Towards a Formal Foundation to Orchestration Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
Choreography and orchestration: a synergic approach for system design

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Choreography and orchestration conformance for system design

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Mobility mechanisms in service oriented computing

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

A Calculus of Global Interaction based on Session Types

Electronic Notes in Theoretical Computer Science (ENTCS)
Service Discovery and Negotiation With COWS

Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric synchronizations in mobile nominal calculi

Theoretical Computer Science
Stochastic COWS

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Checking Correctness of Transactional Behaviors

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
Event-Based Service Coordination

Concurrency, Graphs and Models
A Heterogeneous Approach to UML Semantics

Concurrency, Graphs and Models
Relational Analysis of Correlation

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
An Observational Model for Transactional Calculus of Services Orchestration

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)
Provably Correct Implementations of Services

Trustworthy Global Computing
Dynamic Recovering of Long Running Transactions

Trustworthy Global Computing
A Symbolic Semantics for a Calculus for Service-Oriented Computing

Electronic Notes in Theoretical Computer Science (ENTCS)
From Architectural to Behavioural Specification of Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking Web Services Orchestrations using BP-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Design and implementation of Sator: A web service aggregator

ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic Error Handling in Service Oriented Applications

Fundamenta Informaticae - Application of Concurrency to System Design
Planning and verifying service composition

Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Formal Specification of Correlation in WS Orchestrations Using BP-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Global Coordination Policies for Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Structured communication-centred programming for web services

ESOP'07 Proceedings of the 16th European conference on Programming
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
SENSORIA process calculi for service-oriented computing

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
COWS: a timed service-oriented calculus

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Soundness verification of business processes specified in the Pi-calculus

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A formal account of WS-BPEL

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
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
Relational analysis for delivery of services

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Replicating web services for scalability

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Secure service orchestration

Foundations of security analysis and design IV
An ASM-based executable formal model of service-oriented component interactions and orchestration

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Event based choreography

Science of Computer Programming
Choreography rehearsal

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
An accessible verification environment for UML models of services

Journal of Symbolic Computation
A tool for checking probabilistic properties of COWS services

TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Error handling: from theory to practice

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Compensation-aware runtime monitoring

RV'10 Proceedings of the First international conference on Runtime verification
A WSDL-based type system for asynchronous WS-BPEL processes

Formal Methods in System Design
An efficient management of correlation sets with broadcast

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Core calculi for service-oriented computing

Rigorous software engineering for service-oriented systems
Call-by-contract for service discovery, orchestration and recovery

Rigorous software engineering for service-oriented systems
Advanced mechanisms for service combination and transactions

Rigorous software engineering for service-oriented systems
Methodologies for model-driven development and deployment: an overview

Rigorous software engineering for service-oriented systems
Using formal methods to develop WS-BPEL applications

Science of Computer Programming
On the expressive power of primitives for compensation handling

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Programming services with correlation sets

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Graceful interruption of request-response service interactions

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Runtime enforcement of information flow security in tree manipulating processes

ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
A logical verification methodology for service-oriented computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Structured Communication-Centered Programming for Web Services

ACM Transactions on Programming Languages and Systems (TOPLAS)
Failure-divergence semantics and refinement of long running transactions

Theoretical Computer Science
Dynamic Error Handling in Service Oriented Applications

Fundamenta Informaticae - Application of Concurrency to System Design
Orchestrating tuple-based languages

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
On correlation sets and correlation exceptions in ActiveBPEL

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
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
Interface-Based service composition with aggregation

ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Safer asynchronous runtime monitoring using compensations

Formal Methods in System Design
Recovery within long-running transactions

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the main concepts it is based upon. In this paper we propose SOCK, a three-layered calculus equipped with a formal semantics, for addressing all the basic mechanisms of service communication and composition. The main contribute of our work is the development of a formal framework where the service design is decomposed into three fundamental parts: the behaviour, the declaration and the composition where each part can be designed independently of the other ones.