Abstract
Some cyclic block diagrams need parallel semantics: they are syntactically invalid or semantically nonterminating in any block diagram language with sequential semantics. Yet, many cyclic block diagrams do not need parallel semantics: they behave the same in a block diagram language with non-strict sequential semantics. We show that a block diagram used to motivate the parallel semantics of the Ptolemy SR domain behaves the same in BdHas, a block diagram language with non-strict sequential semantics. BdHas is implemented as syntactic sugar on top of Haskell.
- G. Berry. The Esterel v5 language primer. ftp://ftp-sop.inria.fr/meije/esterel/papers/primer.pdf, June 2000.Google Scholar
- A. Bouali, R. de Simone, et al. Verifying synchronous reactive systems programmed in Esterel. In Lecture Notes in Comp. Sci. 1135, pages 463--466, 1996. Google Scholar
Digital Library
- S. A. Edwards and E. A. Lee. The semantics and execution of a synchronous block-diagram language. Sci. Comp. Program., 48(1):21--42, 2003. Google Scholar
Digital Library
- P. Hudak. Modular domain specific languages and tools. In 5th Intl. Conf. on Software Reuse, pages 134--142. IEEE Comp. Soc. Press, 1998. Google Scholar
Digital Library
- National Instruments. Labview. http://www.-ni.com/labview.Google Scholar
- S. Peyton Jones. Haskell 98 Language and Libraries. Cambridge U. Press, April 2003.Google Scholar
- P. J. Landin. The next 700 programming languages. Comm. ACM, 9(3):157--166, 1966. Google Scholar
Digital Library
- E. A. Lee et al. Ptolemy. http://ptolemy.eecs.-berkeley.edu.Google Scholar
- The Mathworks. Simulink. http://www.mathworks.com/products/simulink.Google Scholar
- K. L. McMillan. Symbolic Model Checking. Kluwer, 1993. Google Scholar
Digital Library
- C.-H. L. Ong. Correspondence between operational and denotational semantics. In Handbook of Logic in Comp. Sci., volume 4, pages 269--356. Oxford U. Press, 1995. Google Scholar
Digital Library
- H. J. Reekie. Realtime Signal Processing: Dataflow, Visual and Functional Programming. PhD thesis, U. of Tech. at Sydney, Australia, 1995.Google Scholar
Index Terms
Many cyclic block diagrams do not need parallel semantics
Recommendations
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software DevelopmentWe propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define ...
Stateflow Diagrams in Circus
The Matlab Simulink tool is widely used to construct and analyse control law diagrams. Many have worked on techniques to enhance analysis facilities, and previously, we have considered the complementary problem of proving correctness of implementations ...
Declarative semantics of transactions in ORM
In order to specify databases completely at the conceptual level, conceptual database specification languages should contain a data definition (sub)language (DDL), for specifying data structures (+constraints), a data retrieval (sub)language (DRL), for ...






Comments