Semantics of dynamic structure event-based systems

ABSTRACT

This paper presents the semantics of the Heterogeneous Flow System Specification (HFSS). HFSS is a modular formalism able to describe hierarchical event-based systems with a time-varying structure. While using a traditional representation of discrete event systems it introduces the concept of generalized sampling to achieve a description of continuous signals on digital computers. Sampling is treated as a first order concept being explicitly supported. While push event-based systems can be formalized by discrete event systems, sampling is consider here as a formalization of pull event-based systems. We introduce the new concepts of basic and network HFSS components to describe the semantics of the corresponding HFSS models.

REFERENCES

• 1: Karl J. Åström , Björn Wittenmark, Computer-controlled systems (3rd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 2: F. Barros. Towards a theory of continuous flow models. International Journal of General Systems, 31(1):29--39, 2002.
• 3: F. Barros. Describing the HLA using the DFSS formalism. In Artificial Intelligence and Simulation: 13th International Conference on AI, Simulation and Planning in High Autonomy Systems, LNAI 3397, pages 117--127. Springer, 2004.
• 4: F. Barros. Representing synchronous variable stepsize integration algorithms in the HFSS formalism. In Conceptual Modeling and Simulation Conference, pages 77--82, 2005.
• 5: Fernando J. Barros, Simulating Data Generated by a Network of Track-While-Scan Radars, Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, p.373-377, April 04-07, 2005 [doi>10.1109/ECBS.2005.62]
• 6: Coulouris , Jean Dollimore , Tim Kindberg, Distributed Systems: Concepts and Design (4th Edition) (International Computer Science), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2005
• 7: R. Dorf, M. Ferren, and C. Phillips. Adaptive sampling frequency for sampled-data control systems. IRE Transactions on Automatic Control, 7(1):38--47, 1962.
• 8: R. Goldblatt. Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Springer, New York, 1998.
• 9: O. M. Group. Event service specification. Technical Report 04-10-02, OMG, 2004.
• 10: T. A. Henzinger, The theory of hybrid automata, Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, p.278, July 27-30, 1996
• 11: Xiaolin Hu , Bernard P. Zeigler , Saurabh Mittal, Variable Structure in DEVS Component-Based Modeling and Simulation, Simulation, v.81 n.2, p.91-102, February 2005 [doi>10.1177/0037549705052227]
• 12: F. Kratz, O. Sokolsky, G. Pappas, and I. Lee. R-Charon: A modeling language for reconfigurable hybrid systems. In Hybrid Systems Computation and Control, volume 3972 of LNCS, pages 392--406, 2006.
• 13: Frederick Kuhl , Richard Weatherly , Judith Dahmann, Creating computer simulation systems: an introduction to the high level architecture, Prentice Hall PTR, Upper Saddle River, NJ, 1999
• 14: Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
• 15: E. Lee and H. Zheng. Operational semantics of hybrid systems. In Hybrid Systems Computation and Control, volume 3414 of LNCS, pages 392--406, 2005.
• 16: 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
• 17: Gero Mühl , Ludger Fiege , Peter Pietzuch, Distributed Event-Based Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 18: H. Praehofer. System Theoretic Foundations for Combined Discrete-Continuous System Simulation. Ph.d. diss., University of Linz, 1991.
• 19: A. M. Uhrmacher, Dynamic structures in modeling and simulation: a reflective approach, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.11 n.2, p.206-232, April 2001 [doi>10.1145/384169.384173]
• 20: US Modeling and Simulation Office. High Level Architecture Run Time Infrastructure, 2001.
• 21: XJ Technologies. AnyLogic: Users Manual, 2005.
• 22: Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

Keywords:
event-based systems