Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
