Connect: Active Behavioral Interfaces for Seamless Network Integration (avsluttet)

Spesifikasjon, design og formell analyse av åpne, distribuerte, objekt-orienterte systemer. Rollebetingelser som uttrykker tilgjengelige tjenester og gjensidig avhengighet mellom objekter. Et hovedmål ved prosjektet er å utvikle en formell og eksekverbar modell for å håndtere heterogene systemer.

I Connect-prosjektet utvides dette rammeverket mot sømløse og trådløse systemer.