*banner
 

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

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

Citation formats  
  • 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.

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