Abstract
We propose a new synchronous language called Behavior Expression, its semantics and compilation mechanism. We also present Omdd as intermediate code for its compilation. Dependency cycle, determinism and composability can be checked directly by analyzing Omdds. Consequently, it allows partial compilation and automatic distribution. Based on these benefits, we propose a new methodology for the development of real-time distributed systems by integrating behavior expression into Uml.
Chapter PDF
Similar content being viewed by others
References
T. Amagbegnon, L. Besnard, and P. Le Guernic. Arborescent canonical form of boolean expressions. Technical Report 2290, Inria, June 1994.
A. Benveniste, P. Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. In Science of Computer Programming, 16, 1991.
A. Benveniste, B. Caillaud and P. Le Guernic. From synchrony to asynchrony. In J.C.M. Baeten and S. Mauw, editors, CONCUR’99, Concurrency Theory, 10th International Conference, vol. 1664 of Lecture Notes in Computer Science, 162–177. Springer V., 1999.
Albert Benveniste, Paul Le Guernic, and Benoît Caillaud. Compositionality in dataflow synchronous languages: specification & code generation. Information and computation, 1999.
Loïc Besnard. Compilation de SIGNAL:horloges, dépendances, environment. PhD thesis, l’Université de Rennes I, IFSIC, Jan. 1993.
C.Y.Lee. Representation of switching circuits by binary decision programs. Bell. Syst. Thch. J., 38:985–999, July, 1959.
R.E. Bryant. Graph-based algorithm for boolean function manipulation. IEEE trans. Comput., C-35(8), Aug. 1986.
J. Rumbaugh, I. Jacobson, and G. Booch. The unified modeling language reference manual. Addison-Wesley object technology series, 1999.
S.B.Akers. Binary decision diagrams. IEEE Trans. Comput., C-27: 509–516, June 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wang, Y. (2000). Behavior Expression and OMDD. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive