Abstract
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant functional theory of deterministic tag systems that is a generalisation of Kahn Process Network theory (KPN). Our theory extends KPN by encompassing networks of processes labelled by tags from partially ordered sets and makes deeper use of Scott theory of Complete Partial Orders (CPO). Since CPO compose well under direct sums, heterogeneous systems are simply captured by direct sums of homogeneous systems, which are in turn constructed by connecting systems over different tag sets by means of tag conversion processes. For the (large) class of tag systems of “stream” type, we show how to define tag conversion processes and how to implement process communication. The resulting architecture is fully decentralised and does not require Ptolemy’s directors. Last but not least, it provides distribution for free.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work was funded in part by the European Artist-Design Network of Excellence and the European STREP-COMBEST project number 215543.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Full version of this paper available as technical report TR-2008-6, http://www-verimag.imag.fr/index.php?page=techrep-list
Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM 2006, pp. 3–12 (2006)
Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. IEEE Proceedings 79, 1270–1282 (1991)
Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4) (2008)
Berry, G., Sentovich, E.: An implementation of constructive synchronous programs in polis. Formal Methods in System Design 17, 135–161 (2000)
Bliudze, S., Krob, D.: Towards a functional formalism for modelling complex industrial systems. In: Complex Systems (ECCS 2005), pp. 163–176 (2005)
Edwards, S.A., Lee, E.A.: The semantics and execution of a synchronous block-diagram language. Science of Computer Programming 48(1) (2003)
Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of EATCS 62, 229–259 (1997)
Kahn, G.: The semantics of a simple language for parallel programming. In: IFIP (1974)
Lee, E.A., Sangiovanni-Vincentelli, A.: A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17(12), 1217–1229 (1998)
Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT 2007 (2007)
Liu, J., Lee, E.A.: On the causality of mixed-signal and hybrid models. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 328–342. Springer, Heidelberg (2003)
Liu, X., Lee, E.A.: CPO Semantics of Timed Interactive Actor Networks. Theoretical Computer Science 409(1), 110–125 (2008)
Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: GPCE (2007)
Scott, D.: Data types as lattices. SIAM J. on Computing 10(3), 522–587 (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caspi, P., Benveniste, A., Lublinerman, R., Tripakis, S. (2009). Actors without Directors: A Kahnian View of Heterogeneous Systems. In: Majumdar, R., Tabuada, P. (eds) Hybrid Systems: Computation and Control. HSCC 2009. Lecture Notes in Computer Science, vol 5469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00602-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-00602-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00601-2
Online ISBN: 978-3-642-00602-9
eBook Packages: Computer ScienceComputer Science (R0)