Citation
Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi C. Zhong. "The Design and Application of Structured Types in Ptolemy II". International Journal of Intelligent Systems, 25(2):118-136, 2010.

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 specification. These models make extensive use of record and union types to represent structured information.

Electronic downloads

• http://www3.interscience.wiley.com/forwardlinking/?oid=123207011
• http://chess.eecs.berkeley.edu/pubs/61.html. (Earlier version.)
• http://dx.doi.org/10.1002/int.20391
• http://dx.doi.org/10.1002/int.v25:2

• HTML

  Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi
  C. Zhong. <a
  href="http://chess.eecs.berkeley.edu/pubs/665.html"
  >The Design and Application of Structured Types in
  Ptolemy II</a>, <i>International Journal of
  Intelligent Systems</i>, 25(2):118-136,  2010.

• Plain text

  Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Lizhi
  C. Zhong. "The Design and Application of Structured
  Types in Ptolemy II". <i>International Journal of
  Intelligent Systems</i>, 25(2):118-136,  2010.

• BibTeX

  @article{ZhaoXiongLeeLiuZhong10_DesignApplicationOfStructuredTypesInPtolemyII,
      author = {Yang Zhao and Yuhong Xiong and Edward A. Lee and
                Xiaojun Liu and Lizhi C. Zhong},
      title = {The Design and Application of Structured Types in
                Ptolemy II},
      journal = {International Journal of Intelligent Systems},
      volume = {25},
      number = {2},
      pages = {118-136},
      year = {2010},
      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 specification.
                These models make extensive use of record and
                union types to represent structured information.},
      URL = {http://chess.eecs.berkeley.edu/pubs/665.html}
  }
  

Posted by Mary Stewart on 23 Apr 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.