Ce livrable présente en première partie le modèle logique pour les flux ROSES (notions de temps, données et flux), ainsi que l'algèbre logique d'opérateurs sur flux (filtrage, map, union, jointure, etc.), qui permet d'exprimer des requêtes continues sur les flux ROSES. Sur la base du modèle logique, Le modèle logique permet d'établir des équivalences d'expressions algébriques utilisées à l'optimisation des requêtes ? les principales équivalences sont également présentées dans cette première partie. La seconde partie présente un modèle physique orienté événements, plus proche de l'implémentation et une algèbre physique qui permet de traduire dans ce modèle les opérateurs logiques. Les règles de réécriture des expressions de l'algèbre logique en algèbre physique sont également présentées. Enfin, cette partie spécifie une implémentation événementielle de l'algèbre physique, qui servira à la réalisation d'un évaluateur de requêtes continues dans le système ROSES.