Abstract
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very little is known concerning their complexity and expressiveness. In this paper, we study these questions for hierarchical state machines as well as for communicating hierarchical state machines, that is, finite state machines extended with both hierarchy and concurrency. We present a comprehensive set of results characterizing (1) the complexity of the reachability, emptiness and universality problems, (2) the complexity of the language inclusion and equivalence problems, and (3) the succinctness relationships between different types of machines.
Supported in part by NSF CAREER award CCR-9734115 and by the DARPA grant NAG2-1214.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Alur and M. Yannakakis. Model checking of hierarchical state machines. In Proc. Sixth FSE, pp. 175–188. 1998.
G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, LNCS 131, pp. 52–71. Springer-Verlag, 1981.
E.M. Clarke and R.P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61–67, 1996.
D. Drusinsky and D. Harel. On the power of bounded concurrency i: finite automata. Journal of the ACM, 41(3), 1994.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
D. Harel, O. Kupferman, and M.Y. Vardi. On the complexity of verifying concurrent transition systems. In CONCUR, LNCS 1243, pp. 258–272. 1997.
G.J. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279–295, 1997.
J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
B. Selic, G. Gullekson, and P.T. Ward. Real-time object oriented modeling and design. J. Wiley, 1994.
M.Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. First LICS, pp. 332–344, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alur, R., Kannan, S., Yannakakis, M. (1999). Communicating Hierarchical State Machines. In: Wiedermann, J., van Emde Boas, P., Nielsen, M. (eds) Automata, Languages and Programming. Lecture Notes in Computer Science, vol 1644. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48523-6_14
Download citation
DOI: https://doi.org/10.1007/3-540-48523-6_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66224-2
Online ISBN: 978-3-540-48523-0
eBook Packages: Springer Book Archive