scholarly journals Causal Consistency for Reversible Multiparty Protocols

2021 ◽  
Vol Volume 17, Issue 4 ◽  
Author(s):  
Claudio Antares Mezzina ◽  
Jorge A. Pérez
Keyword(s):  
Process Model ◽  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Programming Models ◽  
Prior Work ◽  
Behavioral Types ◽  
Session Types ◽  
Causal Consistency ◽  
Multiparty Protocols

In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a class of behavioral types), covering binary (two-party) protocols with synchronous communication. The applicability and expressiveness of the binary setting, however, is limited. Here we extend our approach, and use it to define reversible semantics for an expressive process model that accounts for multiparty (n-party) protocols, asynchronous communication, decoupled rollbacks, and abstraction passing. As main result, we prove that our reversible semantics for multiparty protocols is causally-consistent. A key technical ingredient in our developments is an alternative reversible semantics with atomic rollbacks, which is conceptually simple and is shown to characterize decoupled rollbacks.

scholarly journals The Interplay of Content and Community in Synchronous and Asynchronous Communication: Virtual Communication in a Graduate Seminar

2002 ◽  
Vol 28 (2) ◽  
Author(s):  
Richard A. Schwier ◽  
Shelly Balbar
Keyword(s):  
Sense Of Community ◽  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Bulletin Board ◽  
Virtual Communication ◽  
Graduate Seminar ◽  
Different Types ◽  
Group A ◽  
The University ◽  
Intellectual Limitations

A group of graduate students and an instructor at the University of Saskatchewan experimented with the use of synchronous communication (chat) and asynchronous communication (bulletin board) in a theory course in Educational Communications and Technology for an eight-month period. Synchronous communication contributed dramatically to the continuity and convenience of the class, and promoted a strong sense of community. At the same time, it was viewed as less effective than asynchronous communication for dealing with content and issues deeply, and it introduced a number of pedagogical and intellectual limitations. We concluded that synchronous and asynchronous strategies were suitable for different types of learning, and what we experienced was a balancing act between content and community in our group. A combination of synchronous and asynchronous experiences seems to be necessary to promote the kind of engagement and depth required in a graduate seminar.

Service Discovery and Composition Based on Contracts and Choreographic Descriptions

2012 ◽  
pp. 60-88
Author(s):  
Mario Bravetti ◽  
Gianluigi Zavattaro
Keyword(s):  
Service Discovery ◽  
Operational Semantics ◽  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Transition Systems ◽  
Service Contracts ◽  
Contract Compliance ◽  
Service Oriented ◽  
Labeled Transition System ◽  
Contract Language

The authors discuss the interplay between the notions of contract compliance, contract refinement, and choreography conformance in the context of service oriented computing, by considering both synchronous and asynchronous communication. Service contracts are specified in a language independent way by means of finite labeled transition systems. In this way, the theory is general and foundational as the authors abstract away from the syntax of contracts and simply assume that a contract language has an operational semantics defined in terms of a labeled transition system. The chapter makes a comparative analysis of synchronous and asynchronous communication. Concerning the latter, a realistic scenario is considered in which services are endowed with queues used to store the received messages. In the simpler context of synchronous communication, the authors are able to resort to the theory of fair testing to provide decidability results.

The Affect Regulation in Cancer framework: Understanding affective responding across the cancer trajectory

2017 ◽  
Vol 25 (1) ◽  
pp. 7-25 ◽  
Author(s):  
Maria Kangas ◽  
James J Gross
Keyword(s):  
Affect Regulation ◽  
Process Model ◽  
Affective Responses ◽  
Prior Work ◽  
Regulatory Processes ◽  
Affective Science ◽  
Proposed Model ◽  
Recent Developments ◽  
Cancer Trajectory ◽  
Affective Dimensions

Affective dimensions of cancer have long been a central concern in the field of psycho-oncology. Recent developments in the field of affective science suggest the value of incorporating insights from the burgeoning literature on affect regulation. Accordingly, the objective of this article is to build on prior work in this area by applying a process-oriented affect regulation framework to the various phases of the cancer trajectory. The Affect Regulation in Cancer framework is adapted from Gross’ process model of emotion regulation, and its aim is to integrate recent advances in affective science with work in the field of psycho-oncology. The basic elements of the affect generative and affect regulatory processes are outlined across the various phases of the cancer trajectory. Our proposed model provides a useful heuristic framework in advancing research on the ways people manage their affective responses throughout the cancer trajectory.

scholarly journals Pervasive Personal Healthcare Service Designed as Mobile Social Network

2016 ◽  
Vol 10 (4) ◽  
pp. 65 ◽  
Author(s):  
Vanja Miskovic ◽  
Djordje Babic
Keyword(s):  
Social Network ◽  
Mobile Networks ◽  
Web Application ◽  
Healthcare Service ◽  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Body Sensor Networks ◽  
Mobile Social Network ◽  
Personal Healthcare ◽  
Number Of Patients

A global phenomenon of population ageing and an increasing number of patients with chronic diseases place substantial additional pressure on healthcare systems. A possible solution for this problem is a new emerging sort of pervasive personal healthcare service that is focused on the patient and allows the patient to be actively involved in his or her own health care. In this paper, we propose the architecture of the pervasive personal healthcare service which is based on the existing technologies available to almost everyone. Along with the conventional request-response synchronous communication, the proposed system features asynchronous communication based on publish-subscribe-notify model. In order to perform asynchronous communication, a web application server is integrated with the Google Cloud Messaging service. The communication between mobile device and servers is carried out through the available Wi-Fi or mobile networks, whereas Bluetooth protocol is conventional for Body Sensor Networks consisting of wearable sensor devices. We also present a mobile application which has been developed with use-case driven approach for both patients and medical personnel. The introduced application has a form of a nonintrusive customized mobile social network. We explain usage scenarios that clarify the required functions and present conclusions based on the system test.

Synchronous and Asynchronous Communication Systems

2011 ◽  
pp. 1587-1596
Author(s):  
António D. Reis ◽  
José F. Rocha ◽  
Atilio S. Gameiro ◽  
José P. Carvalho
Keyword(s):  
Communication Systems ◽  
Asynchronous Communication ◽  
Transmission Mode ◽  
Synchronous Communication ◽  
Telecommunication System ◽  
Significant Aspect ◽  
Telecommunication Systems ◽  
Transmission Technique ◽  
Asynchronous Transmission ◽  
External Clock

This article talks generically about telecommunication systems. A telecommunication system involves a transmitter, a transmission medium, and a receiver. The type of communication between the transmitter and the receiver can be the synchronous transmission mode or the asynchronous transmission mode. Synchronous communication is sending data with synchronization to an external clock. The most significant aspect of synchronous communication is that the transmitter and receiver clocks are dependent and synchronized. The synchronous communication is a transmission technique that is widely used in telecommunications. Asynchronous communication is sending data without synchronization to an external clock. The most significant aspect of asynchronous communication is that the transmitter and receiver clocks are independent and are not synchronized. The synchronous communication is a transmission technique, which is widely used in personal computers, providing connectivity to printers, modems, fax machines, and so forth.

scholarly journals Performance Evaluation and Comparison of Distributed Messaging Using Message Oriented Middleware

2014 ◽  
Vol 7 (4) ◽  
pp. 9 ◽  
Author(s):  
Sanjay P. Ahuja ◽  
Naveen Mupparaju
Keyword(s):  
Open Source ◽  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Enabling Technology ◽  
Enterprise Integration ◽  
Message Oriented Middleware ◽  
Point To Point ◽  
The Right ◽  
Work Done ◽  
Source Message

Message Oriented Middleware (MOM) is an enabling technology for modern event-driven applications that are typically based on publish/subscribe communication (Eugster, 2003). Enterprises typically contain hundreds of applications operating in environments with diverse databases and operating systems. Integration of these applications is required to coordinate the business process. Unfortunately, this is no easy task. Enterprise Integration, according to the authors in (Brosey et al, 2001), "aims to connect and combines people, processes, systems, and technologies to ensure that the right people and the right processes have the right information and the right resources at the right time”. Communication between different applications can be achieved by using synchronous and asynchronous communication tools. In synchronous communication, both parties involved must be online (for example, a telephone call), whereas in asynchronous communication, only one member needs to be online (email). Middleware is software that helps two applications communicate with one another. Remote Procedure Calls (RPC) and Object Request Brokers (ORB) are two types of synchronous middleware—when they send a request they must wait for an immediate reply. This can decrease an application’s performance when there is no need for synchronous communication. Even though asynchronous distributed messaging using message oriented middleware is widely used in industry, there is not enough work done in evaluating the performance of various open source Message oriented middleware. The objective of this work was to benchmark and evaluate three different open source MOM’s performance in publish/subscribe and point-to-point domains, and provide a functional comparison and qualitative study from developers perspective.

scholarly journals Linear type theory for asynchronous session types

2009 ◽  
Vol 20 (1) ◽  
pp. 19-50 ◽  
Author(s):  
SIMON J. GAY ◽  
VASCO T. VASCONCELOS
Keyword(s):  
Type Theory ◽  
Business Processes ◽  
Operational Semantics ◽  
Synchronous Communication ◽  
Linear Type ◽  
Session Types ◽  
Secure Foundation ◽  
Linear Types ◽  
Session Type ◽  
Functional Setting

AbstractSession types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified by static typechecking. Applications include network protocols, business processes and operating system services. In this paper we define a multithreaded functional language with session types, which unifies, simplifies and extends previous work. There are four main contributions. First is an operational semantics with buffered channels, instead of the synchronous communication of previous work. Second, we prove that the session type of a channel gives an upper bound on the necessary size of the buffer. Third, session types are manipulated by means of the standard structures of a linear type theory, rather than by means of new forms of typing judgement. Fourth, a notion of subtyping, including the standard subtyping relation for session types (imported into the functional setting), and a novel form of subtyping between standard and linear function types, which allows the typechecker to handle linear types conveniently. Our new approach significantly simplifies session types in the functional setting, clarifies their essential features and provides a secure foundation for language developments such as polymorphism and object-orientation.

Intercultural Learning via Videoconferencing

2018 ◽  
pp. 264-282 ◽  
Author(s):  
Ruby Vurdien ◽  
Pasi Puranen
Keyword(s):  
Intercultural Competence ◽  
Video Conferencing ◽  
Learning Experience ◽  
Body Language ◽  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Learning Context ◽  
Intercultural Learning ◽  
Communication Tools ◽  
Online Interactions

Although asynchronous communication tools have traditionally been used in online interactions, recently increasing popularity has been noted in the application of synchronous communication tools to facilitate intercultural learning. This chapter will explore and report on a study of how students from two countries, Spain and Finland, developed intercultural competence through the use of a video-conferencing platform, Adobe Connect, as a learning context. English was the lingua franca and the exchange of information was aimed at helping the students to learn about different aspects of each other's culture to develop intercultural competence. The findings suggest that the students' attitude to their learning experience was positive, since they were curious to explore each other's cultural traits. Videoconferencing was considered an effective tool because it enabled them to share experiences and build up a relationship, thereby enhancing their knowledge of both cultures. Body language also encouraged interaction since they could see each other via videoconferencing.

A New Approach to the Communication of the Distributed Collaborative System Based on COM+

2006 ◽  
Vol 532-533 ◽  
pp. 1148-1151
Author(s):  
Chang Biao Huang ◽  
Kai Yong Jiang ◽  
Xi Peng Xu
Keyword(s):  
Asynchronous Communication ◽  
Synchronous Communication ◽  
Remote Communication ◽  
New Approach ◽  
Windows Nt ◽  
Loosely Coupled ◽  
Collaborative System ◽  
Complex Architecture

In this paper COM+ based on Microsoft .NET is adopted to realize a Distributed Collaborative System (DCS). This system adopts a complex architecture combined C/S with B/S to reduce the remote communication and improve the performance. By means of IE or other browsers, a client can download client tool, register or login, search or publish information via the collaborative website. After installing the client tool, a client can automatically receive the collaborative requests or invitations from the collaborative server and collaborate with other participators. The system utilizes COM+ services to realize the Distributed Synchronous Communication (DSC) and Distributed Asynchronous Communication (DAC). Loosely Coupled Event (LCE) service can make DSC true easily and effectively. Transaction service, Queued Component (QC) service and Windows NT Service can be applied to realize DAC efficiently and reliably.

Sign in / Sign up

Export Citation Format

Share Document