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: K. Åström and B. Wittenmark. Computer-Controlled Systems: Theory and Design. Prentice Hall, 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: F. Barros. Simulating data generated by a network of track-while-scan radars. In 12th IEEE Conference on Engineering of Computer-Based Systems, pages 373--377, 2005.
• 6: G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Design. Addison-Wesley, 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. Henzinger. The theory of hybrid automata. In 11th Annual IEEE Symposium on Logic in Computer Science, pages 278--292, 1996.
• 11: X. Hu, B. Zeigler, and S. Mittal. Variable structure in DEVS component-based modeling and simulation. SIMULATION: Transactions of the SCS, 81(2):91--102, 2005.
• 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: F. Kuhl, R. Weatherly, and J. Dahman. Creating Computer Simulation Systems: An Introduction to the HLA. Prentice Hall, 1999.
• 14: L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558--565, 1978.
• 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: D. Luckham. The Power of Events: An Introduction to Complex Event Processing in Distributed Systems. Addison-Wesley, 2002.
• 17: G. Mühl, L. Fiege, and P. Pietzuch. Disributed Event-Based Systems. Springer, 2006.
• 18: H. Praehofer. System Theoretic Foundations for Combined Discrete-Continuous System Simulation. Ph.d. diss., University of Linz, 1991.
• 19: A. Uhrmacher. Dynamic structures in modeling and simulation: A reflective approach. ACM Transactions on Modeling and Computer Simulation, 11(2):206--232, 2001.
• 20: US Modeling and Simulation Office. High Level Architecture Run Time Infrastructure, 2001.
• 21: XJ Technologies. AnyLogic: Users Manual, 2005.
• 22: B. Zeigler. Theory of Modelling and Simulation. Wiley, 1976.

INDEX TERMS

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

Keywords:
event-based systems