Citation
Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, lizhi zhong. "The Design and Application of Structured Types in Ptolemy II". IEEE Int. Conf. on Granular Computing, Grc 2005, July, 2005.

Abstract
Ptolemy II is a component-based design and modeling environment. It has a polymorphic type system that supports both the base types and structured types, such as arrays and records. The base type support was reported in [12]. This paper presents the extensions 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 a Ptolemy II model that implements part of the IEEE 802.11 specifications. This model makes extensive use of record types to represent the protocol messages in the system.

Electronic downloads

• http://ptolemy.eecs.berkeley.edu/publications/papers/05/Xiong_StructuredTypes/
• http://chess.eecs.berkeley.edu/pubs/665.html. (Published version, 2010.)

• HTML

  Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, lizhi
  zhong. <a
  href="http://chess.eecs.berkeley.edu/pubs/61.html"
  >The Design and Application of Structured Types in
  Ptolemy II</a>, IEEE Int. Conf. on Granular Computing,
  Grc 2005, July, 2005.

• Plain text

  Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zhao, lizhi
  zhong. "The Design and Application of Structured Types
  in Ptolemy II". IEEE Int. Conf. on Granular Computing,
  Grc 2005, July, 2005.

• BibTeX

  @inproceedings{XiongLeeLiuZhaozhong05_DesignApplicationOfStructuredTypesInPtolemyII,
      author = {Yuhong Xiong and Edward A. Lee and Xiaojun Liu and
                Yang Zhao and lizhi zhong},
      title = {The Design and Application of Structured Types in
                Ptolemy II},
      booktitle = {IEEE Int. Conf. on Granular Computing},
      organization = {Grc 2005},
      month = {July},
      year = {2005},
      abstract = {Ptolemy II is a component-based design and
                modeling environment. It has a polymorphic type
                system that supports both the base types and
                structured types, such as arrays and records. The
                base type support was reported in [12]. This paper
                presents the extensions 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 a Ptolemy II model
                that implements part of the IEEE 802.11
                specifications. This model makes extensive use of
                record types to represent the protocol messages in
                the system.},
      URL = {http://chess.eecs.berkeley.edu/pubs/61.html}
  }
  

Posted by Mary Stewart on 5 May 2006.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.