Title: Formalisation des systèmes informatiques ouverts