An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Abstract

The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction. This short paper describes FORCES's motivations, results and future research directions.

Real-time interactive streams and temporal objects language

“…N → R 1 sum(gain(delay1(Sinput1 / Sacq, delta)) || rl(Sinput2 / Sacq)) ds What are avail(S output1 , t), k(S output1 , t), req(S output1 , t)? Process calculi has been applied to the modeling of interactive music systems [18,17,23,28,16,27,1,24,19,4,14,11,13,15,2,22,12,20,21,10] and ecological systems [25,6,26,7]. In addition, research on algorithms [5,3,9] and software engineering [8] also contributes to this field.…”

A general overview of formal languages for individual-based modelling of ecosystems

“…Surprisingly, many formalisms developed for population modelling have been also used to model music interaction in real life performance; for instance process calculi has been used to model real-time performance in music [105], computer music improvisation [85] and interactive music scores [102]. In fact, process calculi have been extensively applied to the modeling of interactive music systems [95,94,92,88,93,87,101,90,91,86,89,85,100,106,84,105,1,102,96,55,82,79,81,83,2,99,80,97,98,78] and ecological systems [103,60,104,61]. In addition, research on algorithms [57,53,70,67,69] and software engineering [74,46] also contributes to this field.…”

ntccMC: A bounded-time model checker for ntcc

“…Ccp calculi belongs to a family of formalisms named process calculi. Process calculi has been applied to the modeling of interactive music systems [38,37,43,48,36,47,2,44,39,15,34,32,33,35,4,42,49,40,41,31] and ecological systems [45,17,46,18]. In addition, research on algorithms [16,13,22] and software engineering [21] also contributes to this field.…”