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

  • Jesús Aranda
  • Gerard Assayag
  • Carlos Olarte
  • Jorge A. Pérez
  • Camilo Rueda
  • Mauricio Toro
  • Frank D. Valencia
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5649)


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.


Reachability Analysis Denotational Semantic Process Calculus Declarative Formalism State Explosion Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Saraswat, V.A., Rinard, M., Panangaden, P.: The semantic foundations of concurrent constraint programming. In: Proc. of POPL 1991. ACM Press, New York (1991)Google Scholar
  2. 2.
    Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing 9(1) (2002)Google Scholar
  3. 3.
    Olarte, C., Valencia, F.D.: Universal concurrent constraint programing: Symbolic semantics and applications to security. In: Proc. of SAC 2008. ACM, New York (2008)Google Scholar
  4. 4.
    Gutiérrez, J., Pérez, J.A., Rueda, C., Valencia, F.: Timed concurrent constraint programming for analysing biological systems. Electron. Notes Theor. Comput. Sci. 171(2) (2007)Google Scholar
  5. 5.
    Rueda, C., Valencia, F.D.: A temporal concurrent constraint calculus as an audio processing framework. In: Proc. of SMC 2005 (2005)Google Scholar
  6. 6.
    Valencia, F.D.: Decidability of infinite-state Timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3), 577–607 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Saraswat, V., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: Proc. of LICS 1994. IEEE CS, Los Alamitos (1994)Google Scholar
  8. 8.
    Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)zbMATHGoogle Scholar
  9. 9.
    Olarte, C., Valencia, F.D.: The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security. In: Proc. of PPDP 2008 (2008)Google Scholar
  10. 10.
    Bella, G., Bistarelli, S.: Soft constraint programming to analysing security protocols. TPLP 4(5-6), 545–572 (2004)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Abadi, M., Blanchet, B.: Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM 52(1) (2005)Google Scholar
  12. 12.
    Millen, J.K.: The interrogator: A tool for cryptographic protocol security. In: Proc. of IEEE Symposium on Security and Privacy, pp. 134–141 (1984)Google Scholar
  13. 13.
    Arbeláez, A., Gutiérrez, J., Pérez, J.A.: Timed Concurrent Constraint Programming in Systems Biology. Newsletter of the ALP 19(4) (2006)Google Scholar
  14. 14.
    Aranda, J., Pérez, J., Rueda, C., Valencia, F.: Stochastic behavior and explicit discrete time in concurrent constraint programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 682–686. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Cardelli, L., Gardner, P., Kahramanogullari, O.: A process model of rho gtp-binding proteins in the context of phagocytosis. Electr. Notes Theor. Comput. Sci. 194(3), 87–102 (2008)CrossRefzbMATHGoogle Scholar
  16. 16.
    Pérez, J.A., Rueda, C.: Non-determinism and Probabilities in Timed Concurrent Constraint Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 677–681. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Allombert, A., Assayag, G., Desainte-Catherine, M.: A system of interactive scores based on Petri nets. In: Proc. of SMC 2007 (2007)Google Scholar
  18. 18.
    Olarte, C., Rueda, C.: A declarative language for dynamic multimedia interaction systems. In: Proc of. MCM 2009. Springer, Heidelberg (to appear, 2009)Google Scholar
  19. 19.
    Sarria, G., Rueda, C.: Real-time concurrent constraint programming. In: Proc. of CLEI 2008 (2008)Google Scholar
  20. 20.
    Toro, M., Rueda, C., Assayag, G., Agón, C.: NtccRT: A Concurrent Constraint Framework for Real-Time Interaction. In: Proc. of International Computer Music Conference (2009)Google Scholar
  21. 21.
    Bresson, J., Agon, C., Assayag, G.: Openmusic 5: A cross-platform release of the computer-assisted composition environment. In: Proc. of Brazilian Symposium on Computer Music (2005)Google Scholar
  22. 22.
    Fober, D., Orlarey, Y., S.L.: Midishare: une architecture logicielle pour la musique. Hermes, 175–194 (2004)Google Scholar
  23. 23.
    Alpuente, M., Gallardo, M., Pimentel, E., Villanueva, A.: Verifying Real-Time Properties of tccp Programs. Journal of Universal Computer Science 12(11), 1551–1573 (2006)MathSciNetGoogle Scholar
  24. 24.
    Falaschi, M., Villanueva, A.: Automatic verification of timed concurrent constraint programs. TPLP 6(3), 265–300 (2006)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Jesús Aranda
    • 1
  • Gerard Assayag
    • 4
  • Carlos Olarte
    • 1
    • 3
  • Jorge A. Pérez
    • 2
  • Camilo Rueda
    • 3
    • 4
  • Mauricio Toro
    • 3
  • Frank D. Valencia
    • 1
  1. 1.INRIA and CNRS-LIXÉcole PolytechniqueFrance
  2. 2.Dept. of Computer ScienceUniversity of BolognaItaly
  3. 3.Pontificia Universidad Javeriana CaliColombia
  4. 4.Institut de Recherche et Coordination Acoustique/Musique, IRCAMFrance

Personalised recommendations