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

• http://ptolemy.eecs.berkeley.edu/ptolemyII/ptII10.0. (The Ptolemy II 10.0 website)
• https://www.src.org/library/publication/p072883/. (The SRC Website)

• 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