Ptolemy II 10.0

Ptolemy II 10.0
Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Chihhong Patrick Cheng, Daniel Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, eric lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Christian Motika, Thierry Nouidui, Aaron T Schultz, Charles Shelton, Ishwinder Singh, Hallvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou

Citation
Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui, Chihhong Patrick Cheng, Daniel Crawl, Patricia Derler, Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, eric lenormand, Ben Lickly, Marten Lohstroh, William Lucas, Christian Motika, Thierry Nouidui, Aaron T Schultz, Charles Shelton, Ishwinder Singh, Hallvard Traetteberg, Stavros Tripakis, Michael Wetter, Michael Zimmer, Jia Zou. "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. (Ptolemy II 10.0 website)

Citation formats

HTML

Ilge Akkaya, Remi Barrere, Christopher Brooks, Dai Bui,
Chihhong Patrick Cheng, Daniel Crawl, Patricia Derler,
Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, eric
lenormand, Ben Lickly, Marten Lohstroh, William Lucas,
Christian Motika, Thierry Nouidui, Aaron T Schultz, Charles
Shelton, Ishwinder Singh, Hallvard Traetteberg, Stavros
Tripakis, Michael Wetter, Michael Zimmer, Jia Zou. <a
href="http://chess.eecs.berkeley.edu/pubs/1083.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,
Chihhong Patrick Cheng, Daniel Crawl, Patricia Derler,
Siyuan He, Anar Huseynov, Justin Killian, Beth Osyk, eric
lenormand, Ben Lickly, Marten Lohstroh, William Lucas,
Christian Motika, Thierry Nouidui, Aaron T Schultz, Charles
Shelton, Ishwinder Singh, Hallvard Traetteberg, Stavros
Tripakis, Michael Wetter, Michael Zimmer, Jia Zou.
"Ptolemy II 10.0". University of California,
Berkeley, 18, December, 2014.

BibTeX

@software{AkkayaBarrereBrooksBuiChengCrawlDerlerHeHuseynovKillian14_PtolemyII100,
    author = {Ilge Akkaya and Remi Barrere and Christopher
              Brooks and Dai Bui and Chihhong Patrick Cheng and
              Daniel 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 Christian Motika and Thierry
              Nouidui and Aaron T Schultz and Charles Shelton
              and Ishwinder Singh and Hallvard Traetteberg and
              Stavros Tripakis and Michael Wetter and Michael
              Zimmer and Jia Zou},
    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://chess.eecs.berkeley.edu/pubs/1083.html}
}

Posted by Christopher Brooks on 18 Dec 2014.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

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.