Implementing a Practical Spatio-Temporal Composite Event Language

  • Ken Moody
  • Jean Bacon
  • David Evans
  • Scarlet Schwiderski-Grosche
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6462)


An earlier paper introduced SpaTeC, a composite event language that enables simultaneous matching of event occurrences over space and time. The driving case study is taken from a paper that describes techniques for monitoring small animals in New Zealand. The semantics of SpaTeC is presented in detail with the aid of the case study, but the syntax is essentially mathematical. This paper describes a programming language based on the SpaTeC model, illustrating it through a practical application, the analysis of GPS traces of buses serving Cambridge, UK. We describe some of the questions that Stagecoach, the bus operator, wish to have answered, and use these to motivate our extensions to SpaTeC. Composite event patterns are essentially those of the earlier paper, with the addition of primitive patterns, which enforce restrictions on the space and/or time of event occurrences. Data fields identified during pattern matching can be tested by predicates that further restrict the relevant combinations of primitive events. We show how the language can be used to answer questions posed by Stagecoach and discuss its realisation.


Composite event language mobile systems spatio-temporal reasoning session types 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Schwiderski-Grosche, S., Moody, K.: The SpaTeC composite event language for spatio-temporal reasoning in mobile systems. In: 3rd ACM Intl. Conf. on Distributed Event-Based Systems, DEBS 2009, pp. 1–12. ACM, New York (2009)Google Scholar
  2. 2.
    Liebig, C., Cilia, M., Buchmann, A.: Event composition in time-dependent distributed systems. In: 4th Intl. Conf. on Cooperative Information Systems (CoopIS 1999), pp. 70–78 (September 1999)Google Scholar
  3. 3.
    Chen, X., Chen, Y., Rao, F.: An efficient spatial publish/subscribe system for intelligent location-based services. In: 2nd Intl. Workshop on Distributed Event-Based Systems (DEBS 2003), 1–6 (2003)Google Scholar
  4. 4.
    Cugola, G., de Cote, J.E.M.: On introducing location awareness in publish-subscribe middleware. In: 25th International Conference on Distributed Computing Systems Workshops (ICDCSW 2005), Columbus, OH, USA, June 6-10, pp. 377–382. IEEE Computer Society, Los Alamitos (2005)CrossRefGoogle Scholar
  5. 5.
    Bauer, M., Rothermel, K.: An architecture for observing physical world events. In: 11th Intl. Conf. on Parallel and Distributed Systems (ICPADS 2005), pp. 377–383. IEEE Computer Society, Los Alamitos (2005)CrossRefGoogle Scholar
  6. 6.
    King, C., McDonald, R., Martin, R., Tempero, G., Holmes, S.: Long-term automated monitoring of the distribution of small carnivores. Wildlife Research 34(2), 140–148 (2007)CrossRefGoogle Scholar
  7. 7.
    Bacon, J., Beresford, A., Evans, D., Ingram, D., Trigoni, N., Guitton, A., Skordylis, A.: Time: An open platform for capturing, processing and delivering transport-related data. In: IEEE Consumer Communications and Networking Conference, pp. 687–691. IEEE, Los Alamitos (2008)Google Scholar
  8. 8.
    Bejan, A., Gibbens, R., Evans, D., Beresford, A., Bacon, J., Friday, A.: Statistical modelling and analysis of sparse bus probe data in urban areas. In: 13th IEEE Intelligent Transportation Systems Conference, Madeira, Portugal. IEEE, Los Alamitos (2010)Google Scholar
  9. 9.
    Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398–413. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  10. 10.
    Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. SIGPLAN Not. 43(1), 273–284 (2008)CrossRefzbMATHGoogle Scholar
  11. 11.
    Mühl, G., Ulbrich, A., Herrmann, K., Weis, T.: Disseminating information to mobile clients using publish-subscribe. IEEE Internet Computing 8(3), 46–53 (2004)CrossRefGoogle Scholar
  12. 12.
    Pietzuch, P.R., Bacon, J.M.: Hermes: a distributed event-based middleware architecture. In: 22nd International Conference on Distributed Computing Systems Workshops (ICDCSW 2002), Vienna, Austria, July 2-5, pp. 611–618. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  13. 13.
    Pietzuch, P.R., Shand, B., Bacon, J.: A framework for event composition in distributed systems (Best paper award.). In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol. 2672, pp. 62–82. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    Pietzuch, P.R.: Hermes: A scalable event-based middleware. Technical Report UCAM-CL-TR-590, University of Cambridge Computer Laboratory (2004)Google Scholar
  15. 15.
    Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516–541. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: An extensible compiler framework for Java. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 138–152. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
  18. 18.
    Bacon, J., Bates, J., Hayton, R., Moody, K.: Using events to build distributed applications. In: 2nd Intl. Workshop on Services in Distributed and Networked Environments, SDNE 1995, Washington, DC, USA, pp. 148–155. IEEE Computer Society, Los Alamitos (1995)CrossRefGoogle Scholar
  19. 19.
    Liebig, C., Boesling, B., Buchmann, A.: A notification service for Next-Generation IT systems in air traffic control. In: GI-Workshop: Multicast-Protokolle und Anwendungen, Braunschweig, Germany (May 1999)Google Scholar
  20. 20.
    Schwiderski, S.: Monitoring the behaviour of distributed systems. PhD thesis, University of Cambridge (1996)Google Scholar
  21. 21.
    Meier, R., Cahill, V.: STEAM: event-based middleware for wireless ad hoc networks. In: 22nd International Conference on Distributed Computing Systems Workshops (ICDCSW 2002), Vienna, Austria, July 2-5, pp. 639–644. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  22. 22.
    Huang, Y., Garcia-Molina, H.: Publish/subscribe in a mobile environment. Wireless Networks 10(6), 643–652 (2004)CrossRefGoogle Scholar
  23. 23.
    Caporuscio, M., Carzaniga, A., Wolf, A.: Design and evaluation of a support service for mobile, wireless publish/subscribe applications. IEEE Transactions on Software Engineering 29(12), 1059–1071 (2003)CrossRefGoogle Scholar
  24. 24.
    Zeidler, A., Fiege, L.: Mobility support with REBECA. In: 23rd International Conference on Distributed Computing Systems Workshops (ICDCSW 2003), Providence, RI, USA, May 19-22, pp. 354–360. IEEE Computer Society, Los Alamitos (2003)Google Scholar
  25. 25.
    Yoneki, E., Bacon, J.: Unified semantics for event correlation over time and space in hybrid network environments. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 366–384. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  26. 26.
    Frey, D., Roman, G.C.: Context-aware publish subscribe in mobile ad hoc networks. In: COORDINATION, pp. 37–55 (2007)Google Scholar
  27. 27.
    Fiege, L., Gärtner, F.C., Kasten, O., Zeidler, A.: Supporting mobility in content-based publish/subscribe middleware. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol. 2672, pp. 103–122. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  28. 28.
    Römer, K., Mattern, F.: Event-based systems for detecting real-world states with sensor networks: a critical analysis. In: DEST Workshop on Signal Processing in Wireless Sensor Networks at ISSNIP, Melbourne, Australia, pp. 389–395 (December 2004)Google Scholar
  29. 29.
    Römer, K., Mattern, F.: Towards a unified view on space and time in sensor networks. Elsevier Computer Communications 28(13), 1484–1497 (2005)CrossRefGoogle Scholar
  30. 30.
    Fiege, L., Mezini, M., Mühl, G., Buchmann, A.P.: Engineering event-based systems with scopes. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 309–333. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  31. 31.
    Jacobi, D., Guerrero, P.E., Petrov, I., Buchmann, A.: Structuring sensor networks with scopes. In: 3rd IEEE European Conference on Smart Sensing and Context (EuroSSC), IEEE Communications Society, Zurich (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Ken Moody
    • 1
  • Jean Bacon
    • 1
  • David Evans
    • 1
  • Scarlet Schwiderski-Grosche
    • 2
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK
  2. 2.Microsoft ResearchCambridgeUK

Personalised recommendations