%0 Conference Paper %1 lee_98_hierarchical %A Lee, Bilung %A Lee, E. A. %D 1998 %J Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on %K 1998 semantics statecharts \_pdf %P 34--40 %R http://dx.doi.org/10.1109/CSD.1998.657537 %T Hierarchical concurrent finite state machines in Ptolemy %U http://dx.doi.org/10.1109/CSD.1998.657537 %X 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

@inproceedings{lee_98_hierarchical, abstract = {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}, added-at = {2009-03-10T04:49:37.000+0100}, author = {Lee, Bilung and Lee, E. A.}, biburl = {https://www.bibsonomy.org/bibtex/2b24897554ae9139613a52355fd55e031/leonardo}, citeulike-article-id = {890173}, doi = {http://dx.doi.org/10.1109/CSD.1998.657537}, interhash = {f3de3267bb7f7f2b89d3698a66907b8d}, intrahash = {b24897554ae9139613a52355fd55e031}, journal = {Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on}, keywords = {1998 semantics statecharts \_pdf}, pages = {34--40}, posted-at = {2006-10-09 15:50:56}, priority = {4}, timestamp = {2009-03-10T04:49:37.000+0100}, title = {Hierarchical concurrent finite state machines in Ptolemy}, url = {http://dx.doi.org/10.1109/CSD.1998.657537}, year = 1998 }