PROJECTS
- Reo: An exogenous
coordination language for compositional construction
of distributed, mobile, and dynamically reconfigurable component
connectors
- COMPAS: Compliance-driven Models,
Languages, and Architectures for Services, EU FP7 IST project (COMPAS
homepage)
- SYANCO:
Synthesis and
Analysis of Component Connectors, DFG/NWO
bilateral project (SYANCO
homepage)
- Credo:
Modeling and
Analysis of Evolutionary Structures for Distributed Services, EU FP6
IST project (Credo homepage)
- WoMaLaPaDiA:
Workflow
Management for Large Parallel and Distributed Applications, NWO GLANCE
project
- DiaCoDem:
Distributed Implementation of Adaptive Collective Decision Making, NWO
FOCUS project
- BRICKS-AFM3:
Formal Methods
for Active Networking, NWO
BRICKS project (BRICKS homepage)
- CooPer:
Coordination
with Performance Guarantees, NWO GLANCE
project (CooPer homepage)
- Trust4All:
EU ITEA project (Trust4All homepage at TU/e)
- CoCoMAS:
Coordination and Composition of Multi-Agent Systems, NWO
project (CoCoMAS homepage)
- MoCha:
Distributed Mobile Channels Middleware for Concurrency and
Coordination
- CIM III: Composition of Web Services for Cybernetic Incident Management, SENTER-NOVEM project (CIM homepage at Almende)
- C-Quattro:
Compositional Calculus of Component Connectors, NWO
project
- ArchiMate:
Insight through visualization of formal-semantics-based models of
Enterprise Architectures, Telematics Institute Project (ArchiMate
homepage at TelIn)
- Mobi-J:
Assertional Methods for Mobile Asynchronous Channels in Java, DFG/NWO
bilateral project (Mobi-J
homepage at LIACS)
- CBCS:
Coordination Based Constraint Solving, NWO
project
- Manifold:
A control-oriented exogenous coordination language