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 more
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 more
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 more
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 more
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