Skip to main content
SpringerLink
Log in

On the Introduction of Time in Distributed Blackboard Rules

  • Conference paper
Advances in Service-Oriented and Cloud Computing (ESOCC 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 393))

Included in the following conference series:

Abstract

In the realm of coordination languages, reactivity by means of blackboard rules has been used in order to increase the dynamic behavior of data-spaces by enriching them with programmable capabilities. In real-life scenarios time constraints come as a natural requirement. In this paper we introduce this temporal aspect in the definition of distributed blackboard rules in several ways in order to accommodate requirements which impose observing sets of events that occur at given time points as well as within given time frames. Moreover, this allows to define contexts as ordered sequences of events and to change their significance according to the amount of time in which they are satisfied.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Banâtre, J.-P., Coutant, A., Métayer, D.L.: A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems 4(2), 133–144 (1988)

    Article  Google Scholar 

  2. Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 81–94. ACM, New York (1990)

    Chapter  Google Scholar 

  3. Berry, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. SCP 19(2), 87–152 (1992)

    MATH  Google Scholar 

  4. Bosschere, K.D., Jacquet, J.-M.: μ 2 Log: Towards Remote Coordination. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 142–159. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  5. Cabri, G., Leonardi, L., Zambonelli, F.: Reactive Tuple Spaces for Mobile Agent Coordination. In: Rothermel, K., Hohl, F. (eds.) MA 1998. LNCS, vol. 1477, pp. 237–248. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  6. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: LUSTRE: A Declarative Language for Real-time Programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987, pp. 178–188. ACM, New York (1987)

    Chapter  Google Scholar 

  7. Chourabi, H., Nam, T., Walker, S., Gil-Garcia, J., Mellouli, S., Nahon, K., Pardo, T., Scholl, H.: Understanding Smart Cities: An Integrative Framework. In: Proceedings of the 2012 45th Hawaii International Conference on System Sciences, HICSS 2012, pp. 2289–2297. IEEE Computer Society, Washington, DC (2012)

    Google Scholar 

  8. Denti, E., Natali, A., Omicini, A.: On the Expressive Power of a Language for Programming Coordination Media. In: Proceedings of the 1998 ACM Symposium on Applied Computing, SAC 1998, pp. 169–177. ACM, New York (1998)

    Google Scholar 

  9. Denti, E., Omicini, A.: Designing Multi-agent Systems around an Extensible Communication Abstraction. In: Meyer, J.-J.C., Schobbens, P.-Y. (eds.) ModelAge-WS 1997. LNCS (LNAI), vol. 1760, pp. 90–102. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Fischer, G.: Context-Aware Systems: The ‘Right’ Information, at the ‘Right’ Time, in the ‘Right’ Place, in the ‘Right’ Way, to the ‘Right’ Person. In: Proceedings of the International Working Conference on Advanced Visual Interfaces, AVI 2012, pp. 287–294. ACM, New York (2012)

    Chapter  Google Scholar 

  11. Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice, 1st edn. Addison-Wesley Longman Ltd., Essex (1999)

    Google Scholar 

  12. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. SCP 8(3), 231–274 (1987)

    MATH  MathSciNet  Google Scholar 

  13. Jacquet, J.-M., Bosschere, K.D.: Blackboard Relations in the μLog Coordination Language. New Generation Computing (19), 23–56 (2001)

    Google Scholar 

  14. Jacquet, J.-M., De Bosschere, K., Brogi, A.: On Timed Coordination Languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 81–98. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  15. Jacquet, J.-M., Linden, I.: On the Expressiveness of Absolute-Time Coordination Languages. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 232–247. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  16. Jacquet, J.-M., Linden, I.: Coordinating Context-aware Applications in Mobile Ad Hoc Networks. In: Proceedings of the First ERCIM Workshop on eMobility (2007)

    Google Scholar 

  17. Jacquet, J.-M., Linden, I., Staicu, M.-O.: Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks. In: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation. EPTCS, vol. 91, pp. 63–78. Open Publishing Association (2012)

    Google Scholar 

  18. Linden, I., Jacquet, J.-M., Bosschere, K.D., Brogi, A.: On the Expressiveness of Relative-Timed Coordination Models. ENTCS 97, 125–153 (2004)

    Google Scholar 

  19. Menezes, R., Omicini, A., Viroli, M.: Have ReSpecT for LogOp. In: De Paoli, F., Manzoni, S., Poggi, A. (eds.) AI*IA/TABOO Joint Workshop “Dagli Oggetti Agli Agenti: Dall’informazione Alla Conoscenza”. Pitagora Editrice Bologna (2002)

    Google Scholar 

  20. Menezes, R., Omicini, A., Viroli, M.: On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study. ENTCS 97, 97–124 (2004)

    Google Scholar 

  21. Mousavi, M., Basten, A., Reniers, M., Chaudron, M.: Timed-Gamma and its coordination language. Nordic Journal of Computing (2013)

    Google Scholar 

  22. Murphy, A.L., Picco, G.P., Roman, G.-C.: LIME: A Coordination Model and Middleware Supporting Mobility of Hosts and Agents. ACM Trans. Softw. Eng. Methodol. 15(3), 279–328 (2006)

    Article  Google Scholar 

  23. Omicini, A.: Formal ReSpecT in the A&A perspective. ENTCS 175(2), 97–117 (2007)

    Google Scholar 

  24. Omicini, A., Ricci, A., Viroli, M.: Time-Aware Coordination in ReSpecT. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 268–282. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. Omicini, A., Zambonelli, F.: Tuple Centres for the Coordination of Internet Agents. In: 1999 ACM Symposium on Applied Computing, SAC 1999, San Antonio, TX, USA, pp. 183–190. ACM (1999)

    Google Scholar 

  26. Picco, G.P., Murphy, A.L., Roman, G.-C.: LIME: Linda Meets Mobility. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 368–377. ACM, New York (1999)

    Chapter  Google Scholar 

  27. Schilit, B., Theimer, M.: Disseminating Active Map Information to Mobile Hosts. IEEE Network 8, 22–32 (1994)

    Article  Google Scholar 

  28. Snyder, J., Menezes, R.: Using Logical Operators as an Extended Coordination Mechanism in Linda. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 317–331. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  29. Viroli, M., Casadei, M.: Biochemical Tuple Spaces for Self-organising Coordination. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 143–162. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  30. Viroli, M., Casadei, M.: Chemical-inspired Self-composition of Competing Services. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010, pp. 2029–2036. ACM, New York (2010)

    Google Scholar 

  31. Viroli, M., Pianini, D., Montagna, S., Stevenson, G.: Pervasive Ecosystems: a Coordination Model Based on Semantic Chemistry. In: Proceedings of the 2012 ACM Symposium on Applied Computing, SAC 2012, pp. 295–302. ACM, New York (2012)

    Google Scholar 

  32. Wyckoff, P., McLaughry, S.W., Lehman, T., Ford, D.: T spaces. IBM Syst. J. 37(3), 454–474 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science, University of Namur, Belgium

    Jean-Marie Jacquet & Mihail-Octavian Staicu

  2. Business Administration Department, University of Namur, Belgium

    Isabelle Linden

Authors
  1. Jean-Marie Jacquet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Isabelle Linden
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mihail-Octavian Staicu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. GISUM Software Engineering Group, Universidad de Málaga, Spain

    Carlos Canal

  2. University of Messina, Italy

    Massimo Villari

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jacquet, JM., Linden, I., Staicu, MO. (2013). On the Introduction of Time in Distributed Blackboard Rules. In: Canal, C., Villari, M. (eds) Advances in Service-Oriented and Cloud Computing. ESOCC 2013. Communications in Computer and Information Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45364-9_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-45364-9_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-45363-2

  • Online ISBN: 978-3-642-45364-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation