In this talk we present MoCha-pi, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to-point communication between processes. Our calculus is an extension of the well-known pi-calculus. The novelty of MoCha-pi is that its channels are a special …
read moreOther presentations
A Translation from Reo to Petri Nets and Vice-Versa
In this talk we discuss first steps towards a complete translation of Reo into Petri Nets. Reo is a channel-based exogenous coordination model wherein complex coordinators, called connectors, are compositionally built out of simpler ones. We present a translation that covers all Reo connectors build using a particular set of …
read moreMoCha, a coordination middleware based on mobile channels
MoCha is a framework for distributed communication and collaboration using mobile channels as its medium. Channels allow directed, anonymous, and peer-to-peer communication among entities, while mobility ensures that the structure of their connections can change over time in arbitrary ways. MoCha provides communication mechanisms without requiring central servers or fixed …
read moreA short survey of enterprise architectures and modeling tools
In this talk we give a short overview of the state-of-the-art study done within the ArchiMate project. The purpose of this study is to give an overview of the state-of-the-art in the fields of (1) architectural research and (2) enterprise modeling tools. In the first overview, we concentrate on known …
read moreImplementation of Mobile Channels
Joint-work with F. Arbab, M.M. Bonsangue, and F.S. de Boer.
A mobile channel is a link that provides an asynchronous and anonymous means of communication between two components in a distributed system . A channel is called mobile if either of its (channel-)ends can be moved from one …
read more
Page 1 / 1