Software Tools Demonstration
A number of our colleague in SEN3 have been developing software tools in the context of their various projects. Many, but not all, of these tools are related to Reo and are integrated into the Eclipse Coordination Tools (ECT). The ECT also incorporates some tools developed by …
read moreA 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 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 moreIn an earlier report:
F. Arbab, J.J.M.M. Rutten A coinductive calculus of component connectors Technical Report SEN-R0216, CWI, Amsterdam, 2002, pp. 1--17. To appear in the proceedings of WADT 2002. (Available at http://www.cwi.nl/~janr)
a coinductive model for the component connector calculus Reo was …
read moreThe notion of Abstract Data Type (ADT) has served as a foundation model for structured and object-oriented programming for some thirty years. An ADT defines an algebra of operations with well-defined semantics, without specifying any detail about the implementation of those operations or the data structures they operate on to …
read moreIn this tutorial we present the basic concepts that underlie object oriented and component based software engineering and their semantic justifications. We start with the basic concepts such as abstract data types and inheritance, as used in the object oriented paradigm to enhance reuse, modularity, and maintenance of software. We …
read moreIn this talk, we discuss our on-going work on the formal specification of Reo. Reo is a paradigm for composition of software components based on the notion of mobile channels. The main focus of attention in Reo is the channels and operations on them, not the processes that operate on …
read moreIn this talk, we present Reo, a paradigm for composition of software components based on the notion of mobile channels. Both components and channels are mobile in Reo, in the sense that (1) components can move at any time from one location to another, retaining their existing channel links, and …
read moreIn this talk we present Rho, a paradigm for composition of software components based on the notion of mobile channels. The coordination in Rho is in the same style as in the IWIM model. However, the main focus of attention in Rho is the channels and operations on them, not …
read more