A modular approach to build structured event-based systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A modular approach to build structured event-based systems

Full text

Pdf (719 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2002 ACM symposium on Applied computing table of contents

Madrid, Spain

SESSION: Coordination models, languages and applications table of contents

Pages: 385 - 392

Year of Publication: 2002

ISBN:1-58113-445-2

Authors

Ludger Fiege	Darmstadt University of Technology, D-64283 Darmstadt, Germany
Gero Mühl	Darmstadt University of Technology, D-64283 Darmstadt, Germany
Felix C. Gärtner	Darmstadt University of Technology, D-64283 Darmstadt, Germany

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 40, Citation Count: 12

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/508791.508864 What is a DOI?

ABSTRACT

Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficiency issues but neglected methodological support to build such systems. In this paper, we present the modular design and implementation of an event system which supports scopes and event mappings, two new and powerful structuring methods that facilitate engineering and coordination of components in event-based systems. The approach is based on a trace-based specification method adapted from temporal logic.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
	2	Gul Agha , Christian J. Callsen, ActorSpace: an open distributed programming paradigm, ACM SIGPLAN Notices, v.28 n.7, p.23-32, July 1993
	3	Marcos K. Aguilera , Robert E. Strom , Daniel C. Sturman , Mark Astley , Tushar D. Chandra, Matching events in a content-based subscription system, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.53-61, May 04-06, 1999, Atlanta, Georgia, United States [doi>10.1145/301308.301326]
	4	Christof Bornhövd , Alejandro P. Buchmann, A Prototype for Metadata-Based Integration of Internet Sources, Proceedings of the 11th International Conference on Advanced Information Systems Engineering, p.439-445, June 14-18, 1999
	5	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 , Christof Bornhövd , Alejandro P. Buchmann, Moving Active Functionality from Centralized to Open Distributed Heterogeneous Environments, Proceedings of the 9th International Conference on Cooperative Information Systems, p.195-210, September 05-07, 2001
	7	D. Garlan , S. Jha , D. Notkin , J. Dingel, Reasoning about implicit invocation, Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, p.209-221, November 01-05, 1998, Lake Buena Vista, Florida, United States
	8	L. Fiege and G. Mühl. Rebeca Event-Based Electronic Commerce Architecture, 2000. http://www.gkec.informatik.tu-darmstadt.de/rebeca.
	9	Ludger Fiege, Gero Mühl, and Felix C. Gärtner. A modular approach to building event-based systems. Technical report, TU Darmstadt, 2002.
	10	David Garlan , David Notkin, Formalizing Design Spaces: Implicit Invocation Mechanisms, Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions, p.31-44, October 21-25, 1991
	11	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
	12	Jim Gray , Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	13	R. E. Gruber, B. Krishnamurthy, and E. Panagos. The architecture of the READY event notification service. In Proceedings of the 19th IEEE International Conference on Distributed Computing Systems Middleware Workshop, Austin, Texas, USA, May 1999.
	14	Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125-143, March 1977.
	15	Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
	16	Iain Merrick , Alan Wood, Coordination with scopes, Proceedings of the 2000 ACM symposium on Applied computing, p.210-217, March 2000, Como, Italy [doi>10.1145/335603.335747]
	17	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
	18	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]

CITED BY 12

	Andrea Omicini , Sascha Ossowski, Editorial message: special track on coordination models, languages and applications, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	M. Cilia , L. Fiege , C. Haul , A. Zeidler , A. P. Buchmann, Looking into the past: enhancing mobile publish/subscribe middleware, Proceedings of the 2nd international workshop on Distributed event-based systems, June 08-08, 2003, San Diego, California
	Sasu Tarkoma , Jaakko Kangasharju, Handover cost and mobility-safety of content streams, Proceedings of the 8th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems, October 10-13, 2005, Montréal, Quebec, Canada
	Mirko Viroli, Comparing semantic frameworks for coordination: on the conformance issue for coordination media, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Karen Walzer , Alexander Schill , Alexander Löser, Temporal constraints for rule-based event processing, Proceedings of the ACM first Ph.D. workshop in CIKM, November 09-09, 2007, Lisbon, Portugal
	Ludger Fiege , Gero Mühl , Felix C. Gärtner, Modular event-based systems, The Knowledge Engineering Review, v.17 n.4, p.359-388, December 2002
	Sasu Tarkoma , Jaakko Kangasharju, On the cost and safety of handoffs in content-based routing systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.6, p.1459-1482, April, 2007
	Erwin Aitenbichler , Jussi Kangasharju , Max Mühlhäuser, MundoCore: A light-weight infrastructure for pervasive computing, Pervasive and Mobile Computing, v.3 n.4, p.332-361, August, 2007
	Yuan Chen , Karsten Schwan, Opportunistic overlays: efficient content delivery in mobile ad hoc networks, Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware, p.354-374, November 01-01, 2005, Grenoble, France
	Mieso K. Denko , Elhadi Shakshuki , Haroon Malik, Enhanced cross-layer based middleware for mobile ad hoc networks, Journal of Network and Computer Applications, v.32 n.2, p.490-499, March, 2009
	Ludger Fiege , Felix C. Gärtner , Oliver Kasten , Andreas Zeidler, Supporting mobility in content-based publish/subscribe middleware, Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, June 16-20, 2003, Rio de Janeiro, Brazil
	Martin Murth , Eva Kühn, Knowledge-based coordination with a reliable semantic subscription mechanism, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii