The Conversation Calculus: A Model of Service-Oriented Computation

  title={The Conversation Calculus: A Model of Service-Oriented Computation},
  author={Hugo Torres Vieira and Lu{\'i}s Caires and Jo{\~a}o Costa Seco},
We present a process calculus model for expressing and analyzing service based systems. Our approach addresses central features of the service oriented computational model such as distribution, process delegation, communication and context sensitiveness, and loose coupling. Distinguishing aspects of our model are the notion of conversation context, the adoption of a context sensitive, message passing based communication, and of a simple yet expressive mechanism for handling exceptional behavior… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 136 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 78 extracted citations

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science • 2016
View 8 Excerpts
Highly Influenced

A Foundations of Behavioural Types

View 3 Excerpts
Highly Influenced

Web Services and Formal Methods

Benôıt Masson, Löıc Hélouët, Albert Benveniste
Lecture Notes in Computer Science • 2011
View 4 Excerpts
Highly Influenced

On the Expressive Power of Process Interruption and Compensation

M A R I O B R A V E T T I, G I A N L U I G I Z A V A T T
View 4 Excerpts
Highly Influenced

Multiparty Sessions in SOC

View 7 Excerpts
Highly Influenced

136 Citations

Citations per Year
Semantic Scholar estimates that this publication has 136 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 19 references

Web Services Business Process Execution Language

Encyclopedia of Database Systems • 2009
View 1 Excerpt

A Service Oriented Process Calculus with Sessioning and Pipelining

Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
Technical report, • 2007
View 1 Excerpt

Disciplining Orchestration and Conversation in Service-Oriented Computing

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) • 2007
View 2 Excerpts

A Hands-on Introduction to BPEL

M. B. Juric
Oracle (white paper) • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…