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 moreFunctional modelling of biochemical networks
NetBuilder and BioTapistry are interactive tools for building, visualizing, and simulating the behaviour of biochemical networks, specifically genetic regulatory networks (GRNs). GRNs perform the lowest level coarse regulation in processes such as cell differentiation and response to external signals. Both tools depict the networks using the functional model notation (data …
read moreComposed Software
For decades, software engineering has "dreamed an impossible dream": to build software from components as easily as children can build houses out of Lego bricks. In this talk, I will explore an imaginary world where that dream has been realised --- where software parts can be found in worldwide repositories, where …
read moreGeneric Ownership
"Modern programming languages provide little support for object encapsulation and ownership. Escaped aliases to private objects can compromise both security and reliability of code in reference-abundant languages such as Java. Object ownership is a widely accepted approach to controlling aliasing in programming languages. Proposals for adding ownership to programming languages …
read moreBioReo: Coordination for Biological Modelling
We present BioReo, an application of the Reo coordination paradigm to provide a compositional formal model for describing and reasoning about the behaviour of biological systems, such as regulatory gene networks. Reo governs the interaction and flow of data between components by constructing connector circuits which have a precise formal …
read moreBack To The Future: A Family of Algorithms for Termination Detection in Distributed Systems (Part II)
A classical problem in distributed systems is detecting the termination of a distributed computation. Distributed Termination Detection (DTD) has been extensively studied in the past twenty years and it is known to be a difficult problem to solve efficiently, because it involves properties of the global state of a distributed …
read moreA 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 moreVisualization and operational semantics of Reo circuits
The design of a distributed middleware that can directly speak Reo constitutes one of the important long term goals of SEN3. In this talk, we discuss several issues related to the roadmap we follow towards such a middleware. The talk consist of two parts. In the first part we discuss …
read moreLandscape Maps for Enterprise Architectures
Landscape maps are a technique for visualizing enterprise architectures. They present architectural elements in the form of an easy to understand 2D 'map'. A landscape map view on architectures provides non-technical stakeholders, such as managers, with a high-level overview, without burdening them with technicalities of architectural drawings. In this paper …
read moreA Logical Viewpoint on Architectures
In this talk we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core of a symbolic model consists of its signature that specifies symbolically its structural elements and their relationships. A semantic model is defined as …
read more