Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
Logic Programming (ICLP 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5649))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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. 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. 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. Rueda, C., Valencia, F.D.: A temporal concurrent constraint calculus as an audio processing framework. In: Proc. of SMC 2005 (2005)

    Google Scholar 

  6. Valencia, F.D.: Decidability of infinite-state Timed CCP processes and first-order LTL. Theor. Comput. Sci. 330(3), 577–607 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  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. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)

    MATH  Google Scholar 

  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. Bella, G., Bistarelli, S.: Soft constraint programming to analysing security protocols. TPLP 4(5-6), 545–572 (2004)

    MathSciNet  MATH  Google Scholar 

  11. Abadi, M., Blanchet, B.: Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM 52(1) (2005)

    Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Sarria, G., Rueda, C.: Real-time concurrent constraint programming. In: Proc. of CLEI 2008 (2008)

    Google Scholar 

  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. 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. Fober, D., Orlarey, Y., S.L.: Midishare: une architecture logicielle pour la musique. Hermes, 175–194 (2004)

    Google Scholar 

  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)

    MathSciNet  Google Scholar 

  24. Falaschi, M., Villanueva, A.: Automatic verification of timed concurrent constraint programs. TPLP 6(3), 265–300 (2006)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA and CNRS-LIX, École Polytechnique, France

    Jesús Aranda, Carlos Olarte & Frank D. Valencia

  2. Dept. of Computer Science, University of Bologna, Italy

    Jorge A. Pérez

  3. Pontificia Universidad Javeriana Cali, Colombia

    Carlos Olarte, Camilo Rueda & Mauricio Toro

  4. Institut de Recherche et Coordination Acoustique/Musique, IRCAM, France

    Gerard Assayag & Camilo Rueda

Authors
  1. Jesús Aranda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerard Assayag
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carlos Olarte
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jorge A. Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Camilo Rueda
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Mauricio Toro
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Frank D. Valencia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, University of Leeds, LS2 9JT, Leeds, UK

    Patricia M. Hill

  2. Deptartment of Computer Science, Stony Brook University, 11794-4400, Stony Brook, NY, USA

    David S. Warren

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aranda, J. et al. (2009). An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. In: Hill, P.M., Warren, D.S. (eds) Logic Programming. ICLP 2009. Lecture Notes in Computer Science, vol 5649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02846-5_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02846-5_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02845-8

  • Online ISBN: 978-3-642-02846-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics