A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems
Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. In this paper, we try to describe a behavioral logical operations language by using Statecharts. The logical operation is a data structure that is used to represent by a Boolean function. This paper used them to analyze the models which are modeled by using Statecharts. Their formalism provides a concept of propositional logic for presenting control strategy. Finally, an example of level crossing traffic control systems is examined successfully.
Y. S. Huang and T. H. Liao, "A Case Study: Logical Operators and Statecharts for Level Crossing Traffic Control Systems", Applied Mechanics and Materials, Vols. 58-60, pp. 2183-2188, 2011