An Implementation of Constructive Synchronous Programs in POLIS
Formal Methods in System Design
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
On the causality of mixed-signal and hybrid models
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Independent implementability of viewpoints
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
On fixed points of strictly causal functions
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |
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.