Citation
Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee. "A Modular Formal Semantics for Ptolemy". Mathematical Structures in Computer Science. Accepted for publication, 2012.

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

• ptolemy.pdf · application/pdf · 1281 kbytes
• http://chess.eecs.berkeley.edu/pubs/999.html. (Published version)
• http://dx.doi.org/10.1017/S0960129512000278. (Published in Mathematical Structure in Computer Science, Vol. 23, Special Issue 04, August 2013, pp 834-881.)

• HTML

  Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A.
  Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/877.html"
  >A Modular Formal Semantics for Ptolemy</a>,
  <i>Mathematical Structures in Computer Science.
  Accepted for publication</i>,  2012.

• Plain text

  Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A.
  Lee. "A Modular Formal Semantics for Ptolemy".
  <i>Mathematical Structures in Computer Science.
  Accepted for publication</i>,  2012.

• BibTeX

  @article{TripakisStergiouShaverLee12_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.
                Accepted for publication},
      year = {2012},
      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/877.html}
  }
  

Posted by Stavros Tripakis on 17 Nov 2011.
Groups: actionwebs
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.