*banner
 

The Design and Application of Structured Types in Ptolemy II
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi zhong

Citation
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi zhong. "The Design and Application of Structured Types in Ptolemy II". Technical report, University of California, Berkeley, UCB/EECS-2007-21, 2007.

Abstract
Ptolemy II is a component-based design and modeling environment. It has a polymorphic type system that supports both base types and structured types, such as arrays, records and unions. This paper presents the extensions to the base type system that support structured types. In the base type system, all the types are organized into a type lattice, and type constraints in the form of inequalities can be solved efficiently over the lattice. We take a hierarchical and granular approach to add structured types to the lattice, and extend the format of inequality constraints to allow arbitrary nesting of structured types. We also analyze the convergence of the constraint solving algorithm on an infinite lattice after structured types are added. To show the application of structured types, we present two Ptolemy II models that have direct real-world background. The first one describes the workflow of a charity organization, and the second one implements part of the IEEE 802.11 specifications. These models make extensive use of record and union types to represent structured information.

Electronic downloads

Citation formats  
  • HTML
    Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi
    zhong. <a
    href="http://chess.eecs.berkeley.edu/pubs/308.html"
    ><i>The Design and Application of Structured Types
    in Ptolemy II</i></a>, Technical report, 
    University of California, Berkeley, UCB/EECS-2007-21, 2007.
  • Plain text
    Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, lizhi
    zhong. "The Design and Application of Structured Types
    in Ptolemy II". Technical report,  University of
    California, Berkeley, UCB/EECS-2007-21, 2007.
  • BibTeX
    @techreport{ZhaoXiongLeeLiuzhong07_DesignApplicationOfStructuredTypesInPtolemyII,
        author = {Yang Zhao and Yuhong Xiong and Edward A. Lee and
                  Xiaojun Liu and lizhi zhong},
        title = {The Design and Application of Structured Types in
                  Ptolemy II},
        institution = {University of California, Berkeley},
        number = {UCB/EECS-2007-21},
        year = {2007},
        abstract = {Ptolemy II is a component-based design and
                  modeling environment. It has a polymorphic type
                  system that supports both base types and
                  structured types, such as arrays, records and
                  unions. This paper presents the extensions to the
                  base type system that support structured types. In
                  the base type system, all the types are organized
                  into a type lattice, and type constraints in the
                  form of inequalities can be solved efficiently
                  over the lattice. We take a hierarchical and
                  granular approach to add structured types to the
                  lattice, and extend the format of inequality
                  constraints to allow arbitrary nesting of
                  structured types. We also analyze the convergence
                  of the constraint solving algorithm on an infinite
                  lattice after structured types are added. To show
                  the application of structured types, we present
                  two Ptolemy II models that have direct real-world
                  background. The first one describes the workflow
                  of a charity organization, and the second one
                  implements part of the IEEE 802.11 specifications.
                  These models make extensive use of record and
                  union types to represent structured information.},
        URL = {http://chess.eecs.berkeley.edu/pubs/308.html}
    }
    

Posted by Christopher Brooks on 7 Jun 2007.
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.

©2002-2018 Chess