Current software component models lack compositionality. Most of them also do not have both active and passive components. In this paper, we show how we can define a compositiona...
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokol...
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
Accurate and timely information is a key motivator in the widespread adoption of CBSE technology in Europe. Although there are overlaps and informal communications between researc...
The goal of this paper is to provide an architectural analysis of the existing distributed object oriented platforms. Based on a relatively small number of design patterns, our an...