Flexible modeling of policy-driven upstream notification strategies

ABSTRACT

We present the advantages of a new coordination model termed "Peer Model" for the design of coordination strategies and introduce new extensions for the modeling of time and reference. The motivating example is the wireless, reliable, and timely upstream propagation of events about approaching trains, detected by sensors, to a rail crossing. Embedded wireless nodes along the tracks propagate the events upstream. The Peer Model provides flexibility, as new requirements do not demand a complete re-design and reimplementation of notification strategies, which is achieved by means of high-level abstractions, modularization, and patterns with exchangeable policies.

References

1. F. Benigni at al. Secure P2P Programming on Top of Tuple Spaces. In WETICE. IEEE, 2008.
2. E. Börger. Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL. Software and System Modeling, 11(3), 2012.
3. F. Bowden. A brief survey and synthesis of the roles of time in Petri nets. Mathematical and Computer Modelling, 31(10--12): 55--68, 2000.
4. N. Carriero and D. Gelernter. Linda in context. Communications of the ACM, 32(4): 444--458, 1989.
5. D. Clarke, D. Costa, and F. Arbab. Connector colouring I: Synchronisation and context dependency. Sc. of Computer Programming, 66(3): 205--225, 2007.
6. P. Costa et al. TeenyLIME: transiently shared tuple space middleware for wireless sensor networks. In MidSens. ACM, 2006.
7. C.-L. Fok, G.-C. Roman, and C. Lu. Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications. In ICDCS. IEEE, 2005.
8. e. Kühn et al. Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain. In AAMAS. IFAAMAS, 2009.
9. e. Kühn et al. Peer-Based Programming Model for Coordination Patterns. In COORDINATION, LNCS. Springer, 2013.
10. L. Mottola and G.-P. Picco. Programming wireless sensor networks: Fundamental concepts and state of the art. ACM CSUR, 43(3): 19:1--19:51, 2011.
11. A. V. Ratzer et al. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In ICATPN, LNCS. Springer, 2003.

Index Terms

• Software and its engineering

  • Software organization and properties

    • Software system structures

      • Software architectures