Filters








1,928 Hits in 3.4 sec

Monitoring networks through multiparty session types

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2017 Theoretical Computer Science  
communicate through multiparty sessions.  ...  This paper proposes a new theory of monitored π-calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously  ...  The work in [3] presents a monitor-based information-flow analysis in multiparty sessions.  ... 
doi:10.1016/j.tcs.2017.02.009 fatcat:4oh7r77xsvau7kjg4rtqfrgjbi

Monitoring Networks through Multiparty Session Types [chapter]

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2013 Lecture Notes in Computer Science  
communicate through multiparty sessions.  ...  This paper proposes a new theory of monitored π -calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously  ...  Some recent works [3, 18] use multiparty session types for dynamic updates. Anderson et al.  ... 
doi:10.1007/978-3-642-38592-6_5 fatcat:kgxkjodeynghdo6yrqhdn4yitq

Multiparty Call Control at the Network Edge

Ivaylo I. Atanasov, Evelina N. Pencheva, Denitsa L. Velkova, Ivaylo P. Asenov
2020 Elektronika ir Elektrotechnika  
Feasibility study includes modelling and formal validation of multiparty session state models supported by the network and mobile edge application.  ...  The paper presents an approach to design MEC Application Programming Interfaces (APIs) which enable third party applications to create multiparty multimedia sessions and dynamically manage session participations  ...  The call control functions are part of the core network and may be accessed through the Network Exposure Function (NEF).  ... 
doi:10.5755/j01.eie.26.5.26007 fatcat:3y6om2hg3naf5fbvw2mfoduzsy

Multiparty asynchronous session types

Kohei Honda, Nobuko Yoshida, Marco Carbone
2008 Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08  
Sci.] ➣ Dynamic Multirole Session Types [POPL'11] ➣ Nested Multiparty Sessions [CONCUR'12] ➣ Timed Multiparty Session Types [CONCUR'14] ➤ Dynamic MonitoringMonitoring Networks through Multiparty Sessions  ...  '12] ➣ Parameterised Multiparty Session Types [FoSSaCs'10, LMCS] ➣ Global Escape in Multiparty Sessions [FSTTCS'10] [Math.  ... 
doi:10.1145/1328438.1328472 dblp:conf/popl/HondaYC08 fatcat:wqdgxncw6zgt5ee3u7m7l3wzzq

Asynchronous Distributed Monitoring for Multiparty Session Enforcement [chapter]

Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
2012 Lecture Notes in Computer Science  
The underlying theory is based on multiparty session types with logical assertions (MPSA), an expressive protocol specification language that supports runtime validation through monitoring.  ...  We prove monitor transparency, communication conformance, and global session fidelity in the presence of possibly unsafe endpoints.  ...  An asynchronous distributed calculus with multiparty session primitives and the syntax of endpoint monitors are introduced in § 3.  ... 
doi:10.1007/978-3-642-30065-3_2 fatcat:3nci75nklzenjpjbr7yngjngwi

Multiparty Session Actors

Rumyana Neykova, Nobuko Yoshida
2014 Electronic Proceedings in Theoretical Computer Science  
We study the applicability of multiparty session type (MPST) protocols for verification of actor programs.  ...  The framework uses Scribble, which is a protocol description language based on multiparty session types.  ...  An outline of the monitor implementation can be also found in [6] . The monitor mechanism is an incarnation of the session monitor in [6] within actors.  ... 
doi:10.4204/eptcs.155.5 fatcat:cww2ii2mjjdlxb5uf6gnx4yjq4

Context-aware Control for Personalized Multiparty Sessions in Mobile Multihomed Systems

Jose Simoes, Susana Sargento, Josephina Antoniou, Christophoros Christophorou, Christophe Janneteau, Nuno Carapeto, Augusto Neto
2009 Proceedings of the 5th International Mobile Multimedia Communications Conference  
important frameworks: context detection and distribution and context-aware multiparty networking, encompassing adaptations at the session, transport, and network layers.  ...  The paper diverges into the second by focusing on the user perceived Quality of Experience and efficient network support of real-time group communications, allowing dynamic adaptation of the multiparty  ...  , with context-aware SIP-based User Session Mobility between terminals triggered by network or terminal. • Adaptation in transport connection type, based on a Multiparty Transport Overlay (MTO) providing  ... 
doi:10.4108/icst.mobimedia2009.7468 dblp:conf/mobimedia/SimoesSACJCN09 fatcat:lomnkkvspjajbjuzg6iyscewvi

SPY: Local Verification of Global Protocols [chapter]

Rumyana Neykova, Nobuko Yoshida, Raymond Hu
2013 Lecture Notes in Computer Science  
Building on the theory of multiparty session types, our toolchain implementation validates communication safety properties on the global protocol, but enforces them via independent monitoring of each endpoint  ...  This paper presents a toolchain for designing deadlock-free multiparty global protocols, and their run-time verification through automatically generated, distributed endpoint monitors.  ...  Multiparty Session Types and Runtime Verification We illustrate our toolchain through an introductory example, an online payment application, which we call OnlineWallet (Fig. 1 ).  ... 
doi:10.1007/978-3-642-40787-1_25 fatcat:ku2oqd2plfe3vliv64bpoewhti

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014 Formal methods in system design  
Drawn from our industrial collaborations [40, 34] on Scribble, a choreography description language based on multiparty session types, and its theoretical foundations [20] , this article proposes a dynamic  ...  Our framework ensures the global safety of a system in the presence of asynchronous interrupts through independent runtime monitoring of each endpoint, checking the conformance of the local execution trace  ...  Interruptible multiparty session types.  ... 
doi:10.1007/s10703-014-0218-8 fatcat:j2ns5fnyzje53nt7ybhi7cz65a

Self-adaptation and secure information flow in multiparty communications

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2016 Formal Aspects of Computing  
In our model, multiparty protocols (choreographies) are described as global types; security violations occur when process implementations of protocol participants attempt to read or write messages of inappropriate  ...  Our model is equipped with local and global adaptation mechanisms for reacting to security violations of different gravity; type soundness results ensure that the overall multiparty protocol is still correctly  ...  This work was supported by COST Action IC1201 BETTY (Behavioural Types for Reliable Large-Scale Software Systems) via a Short-Term Scientific Mission grant (funding a visit of Pérez to Torino).  ... 
doi:10.1007/s00165-016-0381-3 fatcat:j4ex3cisqfgqbn6qaxh7oyyehy

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2014 Electronic Proceedings in Theoretical Computer Science  
More specifically, we propose a model of self-adaptive, multiparty communications with secure information flow guarantees.  ...  Our model is equipped with local and global mechanisms for reacting to security violations; type soundness results ensure that global protocols are still correctly executed, while the system adapts itself  ...  This work was supported by COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems via a Short-Term Scientific Mission grant (to Pérez).  ... 
doi:10.4204/eptcs.162.2 fatcat:6q277opryfdjlbetu3z4ytykbi

Practical Interruptible Conversations [chapter]

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2013 Lecture Notes in Computer Science  
Drawn from our industrial collaborations [40, 34] on Scribble, a choreography description language based on multiparty session types, and its theoretical foundations [20] , this article proposes a dynamic  ...  Our framework ensures the global safety of a system in the presence of asynchronous interrupts through independent runtime monitoring of each endpoint, checking the conformance of the local execution trace  ...  Interruptible multiparty session types.  ... 
doi:10.1007/978-3-642-40787-1_8 fatcat:xah5ce63t5cxlpvnyd2fl4efo4

Session Types Go Dynamic or How to Verify Your Python Conversations

Rumyana Neykova
2013 Electronic Proceedings in Theoretical Computer Science  
Protocols are written in Scribble, a choreography description language based on multiparty session types, with addition of logic formulas for more precise behaviour properties.  ...  This paper presents the first implementation of session types in a dynamically-typed language - Python.  ...  A global session type is specified as cyclic Prolog terms in Jason (a MAS development platform) and verified through test monitors.  ... 
doi:10.4204/eptcs.137.8 fatcat:fnbg7ipnvzehxlkh2a5ba3icsm

Multiparty Session Actors [chapter]

Rumyana Neykova, Nobuko Yoshida
2014 Lecture Notes in Computer Science  
We study the applicability of multiparty session type (MPST) protocols for verification of actor programs.  ...  The framework uses Scribble, which is a protocol description language based on multiparty session types.  ...  Preservation through FSM checking Before a message is dispatched to its message handler, the message goes through a monitor. Fig. 6 illustrates the monitoring process.  ... 
doi:10.1007/978-3-662-43376-8_9 fatcat:j76kejg64fdyratq3edqfvxqpm

The Scribble Protocol Language [chapter]

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2014 Lecture Notes in Computer Science  
and Web services [8] , the evaluation of Scribble through our collaboration use cases has motivated the development of new multiparty session type constructs, such as asynchronous conversation interrupts  ...  Building on the theory of multiparty session types [3, 21] (MPST), this ongoing work tackles the challenges of adapting and implementing session types to meet real-world usage requirements.  ... 
doi:10.1007/978-3-319-05119-2_3 fatcat:6czxti2ptzeoxpmtw6dzp7xspe
« Previous Showing results 1 — 15 out of 1,928 results