Publications of the Ptolemy Group
Hierarchical Concurrent Finite State Machines in Ptolemy
Bilung Lee and Edward A. Lee
Proc. of International Conference on Application of Concurrency to System
Design, Fukushima, Japan, March 1998.
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is successfully integrated with synchronous dataflow (SDF) and discrete-event (DE) concurrency domains in Ptolemy. In this heterogeneous combination, the semantics of FSM, concurrency and hierarchy are naturally supported in a manner similar to hierarchical concurrent FSMs (HCFSMs). Unlike most formalisms that support HCFSMs, such as Statecharts and its variants, our scheme decouples the FSM from the concurrency models, enabling selection of the most appropriate concurrency model for the problem at hand.
Send comments to Bilung Lee at firstname.lastname@example.org.
Copyright 1998 IEEE. Published in the Proceedings of CSD'98,
March 1998 Fukushima, Japan. Personal use of this material
is permitted. However, permission to reprint/republish this
material for advertising or promotional purposes or for creating
new collective works for resale or redistribution to servers or
lists, or to reuse any copyrighted component of this work in
other works, must be obtained from the IEEE. Contact: Manager,
Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane
/ P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: +