Structured Interactional Exceptions in Session Types
نویسندگان
چکیده
We propose an interactional generalisation of structured exceptions based on the session type discipline. Interactional exceptions allow communicating peers to asynchronously and collaboratively escape from the middle of a dialogue and reach another in a coordinated fashion, under an arbitrary nesting of exceptions. New exception types guarantee communication safety and offer a precise type-abstraction of advanced conversation patterns found in practice. Protocols for coordinating normal and exceptional exit among asynchronously running sessions are introduced. The liveness property established under these protocols guarantees consistency of coordinated exception handling among communicating peers.
منابع مشابه
Asynchronous Session Types: Exceptions and Multiparty Interactions
Session types are a formalism for structuring communication based on the notion of session: the structure of a conversation is abstracted as a type which is then used as a basis of validating programs through an associated type discipline. While standard session types have proven to be able to capture many real scenarios, there are cases where they are not powerful enough for describing and val...
متن کاملSession-based Choreography with Exceptions
Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as web services and financial protocols. Recent studies have investigated the transition from the design stage of a system to its implementation providing an automatic way of mapping a choreograhy into executable code. In this work, we focus on an extension of choreography with a comm...
متن کاملGroping Feedback Types on Interactional Patterns via Storytelling among EFL Iranian Young learners
In this study, storytelling was surveyed with regard to the impact that it might haveon student-teacher interactional patterns. For this aim, the researchers utilized anintact class with ten young students in a language institute in a north eastern part ofthe country. Four sessions of the class were transcribed after a full observationalprotocol. Two groups of Interactional patterns on student-...
متن کاملStructured Programming with Limited Private Types in Ada: Nesting is for the Soaring Eagles1
Many traditional styles of programming cannot cope with the limitations of Ada limited private types. We present a style of programming that enables structured programming in Ada with limited private types. The problem of "finalization" is safely and cleanly handled through the use of a generic package which guarantees that a variable of the limited private type will be finalized even in the pr...
متن کاملGlobal Escape in Multiparty Sessions
This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, preserving compatibility of the multiparty conversations. Our escape is realised by a collection of asynchronous local exceptions which can be thrown at any stage of the communication and to any subsets of participants in a multipa...
متن کامل