Automata for Context-Dependent Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
CoCoViLa as a multifunctional simulation platform
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
A model of context-dependent component connectors
Science of Computer Programming
A specification language for reo connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
This paper presents the Ptolemy II framework that supportsthe visual modeling and design of heterogeneous systems.Models in this framework are structured ashierarchical clustered graphs. The framework provides theinfrastructure to support the implementation of a variety ofmodels of computation as domains. Heterogeneous systemsare modeled by hierarchically combining different domains.We describe the implementation of the *charts formalism (ageneralization of Statecharts) in Ptolemy II as an illustrationof the flexibility of this approach.