Ptolemy II 10.0
Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver, Charles Shelton, Ishwinder Singh, Halvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, Edward A. Lee

Citation
Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver, Charles Shelton, Ishwinder Singh, Halvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou, Edward A. Lee. "Ptolemy II 10.0". University of California, Berkeley, 18, December, 2014.

Abstract

Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design. Actors are software components that execute concurrently and communicate through messages sent via interconnected ports. A model is a hierarchical interconnection of actors. In Ptolemy II, the semantics of a model is not determined by the framework, but rather by a software component in the model called a director, which implements a model of computation. The Ptolemy Project has developed directors supporting process networks (PN), discrete-events (DE), dataflow (SDF), synchronous/reactive(SR), rendezvous-based models, 3-D visualization, and continuous-time models. Each level of the hierarchy in a model can have its own director, and distinct directors can be composed hierarchically. A major emphasis of the project has been on understanding the heterogeneous combinations of models of computation realized by these directors. Directors can be combined hierarchically with state machines to make modal models. A hierarchical combination of continuous-time models with state machines yields hybrid systems; a combination of synchronous/reactive with state machines yields StateCharts (the Ptolemy II variant is close to SyncCharts).

Ptolemy II has been under development since 1996; it is a successor to Ptolemy Classic, which was developed since 1990. The core of Ptolemy II is a collection of Java classes and packages, layered to provide increasingly specific capabilities. The kernel supports an abstract syntax, a hierarchical structure of entities with ports and interconnections. A graphical editor called Vergil supports visual editing of this abstract syntax. An XML concrete syntax called MoML provides a persistent file format for the models. Various specialized tools have been created from this framework, including HyVisual (for hybrid systems modeling), Kepler (for scientific workflows), VisualSense (for modeling and simulation of wireless networks), Viptos (for sensor network design), and some commercial products. Key parts of the infrastructure include an actor abstract semantics, which enables the interoperability of distinct models of computation with a well-defined semantics; a model of time (specifically, super-dense time, which enables interaction of continuous dynamics and imperative logic); and a sophisticated type system supporting type checking, type inference, and polymorphism. The type system has recently been extended to support user-defined ontologies. Various experiments with synthesis of implementation code and abstractions for verification are included in the project.

The key driving force for the release is to be a companion to the Ptolemy Book:
Claudius Ptolemaeus, Editor, "System Design, Modeling, and Simulation Using Ptolemy II", Ptolemy.org, 2014

New work in Ptolemy II 10.0 includes:

  • Ontologies
  • Export To Web
  • Code Generation
  • FSM/Modal Model updates

See the Ptolemy II 10.0 Release Notes for a complete list of new features.

Electronic downloads

Citation formats  
  • HTML
    Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian
    Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler,
    Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric
    Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris
    Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver,
    Charles Shelton, Ishwinder Singh, Halvard Traetteberg,
    Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou,
    Edward A. Lee. <a
    href="http://www.terraswarm.org/pubs/471.html"
    ><i>Ptolemy II 10.0</i></a>, University
    of California, Berkeley, 18, December, 2014.
  • Plain text
    Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Ian
    Chen, Patrick Chen Chihong, Dan Crawl, Patricia Derler,
    Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, Eric
    Lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Chris
    Motika, Thierry Nouidui, Aaron Schultz, Chris Shaver,
    Charles Shelton, Ishwinder Singh, Halvard Traetteberg,
    Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou,
    Edward A. Lee. "Ptolemy II 10.0". University of
    California, Berkeley, 18, December, 2014.
  • BibTeX
    @software{AkkayaBarrereBrooksBuiChenChihongCrawlDerlerHeHuseynov14_PtolemyII100,
        author = {Ilge Akkaya and Remi Barrere and Christopher
                  Brooks and Dai Bui and Ian Chen and Patrick Chen
                  Chihong and Dan Crawl and Patricia Derler and
                  Siyuan He and Anar Huseynov and Justin Killian and
                  Beth Osyk and Eric Lenormand and Ben Lickly and
                  Marten Lohstroh and William Lucas and Chris Motika
                  and Thierry Nouidui and Aaron Schultz and Chris
                  Shaver and Charles Shelton and Ishwinder Singh and
                  Halvard Traetteberg and Stavros Tripakis and
                  Michael Wetter and Michael Zimmer and Jia Zou and
                  Edward A. Lee},
        title = {Ptolemy II 10.0},
        institution = {University of California, Berkeley},
        day = {18},
        month = {December},
        year = {2014},
        abstract = {<p>Ptolemy II is an open-source software framework
                  supporting experimentation with actor-oriented
                  design. Actors are software components that
                  execute concurrently and communicate through
                  messages sent via interconnected ports. A model is
                  a hierarchical interconnection of actors. In
                  Ptolemy II, the semantics of a model is not
                  determined by the framework, but rather by a
                  software component in the model called a director,
                  which implements a model of computation. The
                  Ptolemy Project has developed directors supporting
                  process networks (PN), discrete-events (DE),
                  dataflow (SDF), synchronous/reactive(SR),
                  rendezvous-based models, 3-D visualization, and
                  continuous-time models. Each level of the
                  hierarchy in a model can have its own director,
                  and distinct directors can be composed
                  hierarchically. A major emphasis of the project
                  has been on understanding the heterogeneous
                  combinations of models of computation realized by
                  these directors. Directors can be combined
                  hierarchically with state machines to make modal
                  models. A hierarchical combination of
                  continuous-time models with state machines yields
                  hybrid systems; a combination of
                  synchronous/reactive with state machines yields
                  StateCharts (the Ptolemy II variant is close to
                  SyncCharts).</p> <p>Ptolemy II has been under
                  development since 1996; it is a successor to
                  Ptolemy Classic, which was developed since 1990.
                  The core of Ptolemy II is a collection of Java
                  classes and packages, layered to provide
                  increasingly specific capabilities. The kernel
                  supports an abstract syntax, a hierarchical
                  structure of entities with ports and
                  interconnections. A graphical editor called Vergil
                  supports visual editing of this abstract syntax.
                  An XML concrete syntax called MoML provides a
                  persistent file format for the models. Various
                  specialized tools have been created from this
                  framework, including HyVisual (for hybrid systems
                  modeling), Kepler (for scientific workflows),
                  VisualSense (for modeling and simulation of
                  wireless networks), Viptos (for sensor network
                  design), and some commercial products. Key parts
                  of the infrastructure include an actor abstract
                  semantics, which enables the interoperability of
                  distinct models of computation with a well-defined
                  semantics; a model of time (specifically,
                  super-dense time, which enables interaction of
                  continuous dynamics and imperative logic); and a
                  sophisticated type system supporting type
                  checking, type inference, and polymorphism. The
                  type system has recently been extended to support
                  user-defined ontologies. Various experiments with
                  synthesis of implementation code and abstractions
                  for verification are included in the project.</p>
                  <p>The key driving force for the release is to be
                  a companion to the Ptolemy Book: <br/>Claudius
                  Ptolemaeus, Editor, "System Design, Modeling, and
                  Simulation Using Ptolemy II", Ptolemy.org,
                  2014</p> <p>New work in Ptolemy II 10.0
                  includes:</p> <ul> <li>Ontologies</li> <li>Export
                  To Web</li> <li>Code Generation</li> <li>FSM/Modal
                  Model updates</li> </ul> <p>See the <a
                  href="http://ptolemy.eecs.berkeley.edu/ptolemyII/ptII10.0/ptII10.0.1/doc/release.htm">Ptolemy
                  II 10.0 Release Notes</a> for a complete list of
                  new features.</p>},
        URL = {http://terraswarm.org/pubs/471.html}
    }
    

Posted by Christopher Brooks on 18 Dec 2014.
Groups: services tools

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.