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.
Du kan lese mer om Connect på prosjektets engelske sider.