Citation
Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee. "A modular formal semantics for Ptolemy". Mathematical Structures in Computer Science, 23(04):834-881, August 2013.

Abstract
Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy which is modular, in the sense that atomic actors and their compositions are treated in a unified way. In particular, all actors conform to an executable interface that contains four functions: fire (produce outputs given current state and inputs), postfire (update state instantaneously), deadline (how much time the actor is willing to let elapse) and time-update (update state with passage of time). Composite actors are obtained from composition operators that in Ptolemy are called directors. Different directors realize different models of computation. This paper defines formally the directors for the following models of computation: Synchronous-Reactive, Discrete Event, Continuous Time, Process Networks, and Modal Models.

Electronic downloads

• TripakisEtAl_Semantics_03.pdf · application/pdf · 1287 kbytes

• HTML

  Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A.
  Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/999.html"
  >A modular formal semantics for Ptolemy</a>,
  <i>Mathematical Structures in Computer
  Science</i>, 23(04):834-881, August 2013.

• Plain text

  Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A.
  Lee. "A modular formal semantics for Ptolemy".
  <i>Mathematical Structures in Computer
  Science</i>, 23(04):834-881, August 2013.

• BibTeX

  @article{TripakisStergiouShaverLee13_ModularFormalSemanticsForPtolemy,
      author = {Stavros Tripakis and Christos Stergiou and Chris
                Shaver and Edward A. Lee},
      title = {A modular formal semantics for Ptolemy},
      journal = {Mathematical Structures in Computer Science},
      volume = {23},
      number = {04},
      pages = {834-881},
      month = {August},
      year = {2013},
      abstract = {Ptolemy is an open-source and extensible modeling
                and simulation framework. It offers heterogeneous
                modeling capabilities by allowing different models
                of computation, both untimed and timed, to be
                composed hierarchically in an arbitrary fashion.
                This paper proposes a formal semantics for Ptolemy
                which is modular, in the sense that atomic actors
                and their compositions are treated in a unified
                way. In particular, all actors conform to an
                executable interface that contains four functions:
                fire (produce outputs given current state and
                inputs), postfire (update state instantaneously),
                deadline (how much time the actor is willing to
                let elapse) and time-update (update state with
                passage of time). Composite actors are obtained
                from composition operators that in Ptolemy are
                called directors. Different directors realize
                different models of computation. This paper
                defines formally the directors for the following
                models of computation: Synchronous-Reactive,
                Discrete Event, Continuous Time, Process Networks,
                and Modal Models.},
      URL = {http://chess.eecs.berkeley.edu/pubs/999.html}
  }
  

Posted by Stavros Tripakis on 11 Jul 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.