2011 | OriginalPaper | Buchkapitel
Behavioral Theory for Session-Oriented Calculi
verfasst von : Ivan Lanese, Antonio Ravara, Hugo Torres Vieira
Erschienen in: Rigorous Software Engineering for Service-Oriented Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This chapter presents the behavioral theory of some of the
Sensoria
core calculi. We consider
SSCC
,
μ
se
and CC as representatives of the session-based approach and COWS as representative of the correlation-based one.
For
SSCC
,
μ
se
and CC the main point is the structure that the session/conversation mechanism creates in programs. We show how the differences between binary sessions, multiparty sessions and dynamic conversations are captured by different behavioral laws. We also exploit those laws for proving the correctness of program transformations.
For COWS the main point is that communication is prioritized (the best matching input captures the output), and this has a strong influence on the behavioral theory of COWS. In particular, we show that communication in COWS is neither purely synchronous nor purely asynchronous.