A metamodel for distributed event based systems

ABSTRACT

A metamodel, suitable for the study of modularization and composition of functionality in distributed event systems, is proposed in this paper. The metamodel describes the structural, control, and runtime aspects of distributed event systems. Central to the metamodel is the use of reactive component interfaces. Reactive component interfaces specify the events components in the system generate and react to, and describe the behaviour expected from the components. Gem, a distributed event system that follows the metamodel is presented. Two composition mechanisms, interface extension and encapsulation, are supported in Gem and serve to illustrate the type of compositions that can be implemented by systems that conform to the metamodel.

REFERENCES

• 1: Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004 [doi>10.1017/S0960129504004153]
• 2: Franck Barbier , Brian Henderson-Sellers , Annig Le Parc-Lacayrelle , Jean-Michel Bruel, Formalization of the Whole-Part Relationship in the Unified Modeling Language, IEEE Transactions on Software Engineering, v.29 n.5, p.459-470, May 2003 [doi>10.1109/TSE.2003.1199074]
• 3: András Belokosztolszki , David M. Eyers , Peter R. Pietzuch , Jean Bacon , Ken Moody, Role-based access control for publish/subscribe middleware architectures, Proceedings of the 2nd international workshop on Distributed event-based systems, June 08-08, 2003, San Diego, California [doi>10.1145/966618.966622]
• 4: Jan Carlson , Björn Lisper, An event detection algebra for reactive systems, Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy [doi>10.1145/1017753.1017779]
• 5: Antonio Carzaniga , David S. Rosenblum , Alexander L. Wolf, Design and evaluation of a wide-area event notification service, ACM Transactions on Computer Systems (TOCS), v.19 n.3, p.332-383, Aug. 2001 [doi>10.1145/380749.380767]
• 6: Mariano Cilia , Michael Haupt , Mira Mezini , Alejandro Buchmann, The convergence of AOP and active databases: towards reactive middleware, Proceedings of the 2nd international conference on Generative programming and component engineering, p.169-188, September 22-25, 2003, Erfurt, Germany
• 7: G. Cugola , E. Di Nitto , A. Fuggetta, Exploiting an event-based infrastructure to develop complex distributed systems, Proceedings of the 20th international conference on Software engineering, p.261-270, April 19-25, 1998, Kyoto, Japan
• 8: Opher Etzion, Semantic approach to event processing, Proceedings of the 2007 inaugural international conference on Distributed event-based systems, June 20-22, 2007, Toronto, Ontario, Canada [doi>10.1145/1266894.1266920]
• 9: P. Fenkam, M. Jazayeri, and G. Reif. On methodologies for constructing correct event-based applications. In A. Carzaniga and P. Fenkam, editors, 3rd International Workshop on Distributed Event-Based Systems (DEBS'04), pages 38--43, Edinburgh, Scotland, UK, May 2004. IEEE.
• 10: D. Ferraiolo and R. Kuhn. Role-based access controls. In 15th NIST-NCSC National Computer Security Conference, pages 554--563, 1992.
• 11: JosT Luiz Fiadeiro, Categories for Software Engineering, SpringerVerlag, 2004
• 12: L. Fiege. Visibility in Event-Based Systems. Ph.d. thesis, Technische Universität Darmstadt, Darmstadt, Germany, Apr. 2005.
• 13: Ludger Fiege , Mira Mezini , Gero Mühl , Alejandro P. Buchmann, Engineering Event-Based Systems with Scopes, Proceedings of the 16th European Conference on Object-Oriented Programming, p.309-333, June 10-14, 2002
• 14: S. M. Inc. Jxta v2.0 protocols specification, 2007.
• 15: D. Kitchin, W. R. Cook, and J. Misra. A language for task orchestration and its semantic properties. In C. Baier and H. Hermanns, editors, CONCUR, volume 4137 of Lecture Notes in Computer Science, pages 477--491. Springer-Verlag, 2006.
• 16: Aloysius K. Mok , Prabhudev Konana , Guangtian Liu , Chan-Gun Lee , Honguk Woo, Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages, IEEE Transactions on Software Engineering, v.30 n.12, p.841-858, December 2004 [doi>10.1109/TSE.2004.105]
• 17: C. Liebig , M. Cilia , A. Buchmann, Event Composition in Time-Dependent Distributed Systems, Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems, p.70, September 02-04, 1999
• 18: David C. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 19: David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995 [doi>10.1109/32.464548]
• 20: M. Mansouri-Samani and M. Sloman. Gem: A generalised event monitoring language for distributed systems. IEE/IOP/BCS Distributed Systems Engineering Journal, 4(2):96--108, June 1997.
• 21: Renate Motschnig-Pitrik , Jens Kaasbøll, Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis, IEEE Transactions on Knowledge and Data Engineering, v.11 n.5, p.779-797, September 1999 [doi>10.1109/69.806936]
• 22: G. Mühl. Large-Scale Content-Based Publish/Subscribe Systems. PhD thesis, Technische Universität Darmstadt, Darmstadt, Germany, September 2002.
• 23: Gero Mühl , Ludger Fiege , Peter Pietzuch, Distributed Event-Based Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 24: Brian Oki , Manfred Pfluegl , Alex Siegel , Dale Skeen, The Information Bus: an architecture for extensible distributed systems, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.58-68, December 05-08, 1993, Asheville, North Carolina, United States
• 25: P. R. Pietzuch. Hermes: A Scalable Event-Based Middleware. PhD thesis, University of Cambridge, Queens' College, February 2004.
• 26: A. J. H. Simons. On the compositional properties of UML statechart diagrams. In Proceedings of the Third Workshop on Rigorous Object-Oriented Methods, (ROOM2000), Electronic Workshops in Computing (eWiC), York, UK, January 2000. The British Computer Society (BCS).
• 27: R. D. Team. Draft rapide 1.0 pattern language reference manual. http://pavg.stanford.edu/rapide/lrms/patterns.ps, July 1997. Program Analysis and Verification Group, Stanford University.
• 28: W. W. W. C. (W3C). State chart xml (scxml): State machine notation for control abstraction, w3c working draft 21 february 2007, 2007.
• 29: J. Wang. An interface based distributed event system. Master's thesis, University of Waterloo, Waterloo, Ontario, Canada, April 2008.
• 30: M. E. Winston, R. Chaffin, and D. Herrmann. A taxonomy of part-whole relations. Cognitive Science, 11(4):417--444, 1987.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed applications

  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.12 Interoperability

General Terms:
Design

Keywords:
software modularization and composition