This group is a subgroup of Coordination Languages (SEN3)
Coordinator of this subgroup: Farhad Arbab
The research of the group Component-based models and software architectures (SEN3.1) focuses on the development of formal models and actual distributed middleware software for composition of (distributed) components and services.
In the CooPer project we address the need for connectors to offer guarantees in order to satisfy users' end-to-end QoS requirements. We plan to develop a compositional QoS calculus that relates the relevant performance metrics at the application layer, the connector layer, and the basic connector layer.
In the Trust4All project we develop a compositional model, middleware software, and tools for evaluating the trustworthiness of embedded systems built out of third party components.
In the Cybernetic Incident Management project, we develop an infrastructure to facilitate communication and coordination among autonomous organizations, using distributed mobile channels.
In the SYANCO project, we work on tools and techniques for design and validation of individual pieces of connector glue code, emphasizing compositionality.
In the WoMaLaPaDia project, we bring together two important application fields of coordination: grid computing and workflow management. We use the coordination language Reo in combination with the workflow management language YAWL to tackle compositional construction of large parallel and distributed workflow systems.
The hitherto proposed solutions for collective decision making assume the existence of a 'center' responsible for setting up and carrying out the relevant procedures. In the DIACODEM project we study these procedures in a more realistic, distributed setting, where all decisions are carried out by the agents alone, without relying on any trustworthy 'external' agency.
Key publicationsKey publications of Component-based and software architectures
