To appear in Formal Aspects of Computing Journal, special issue on “Semantic Foundations of Engineering Design Languages. ” This version: November 10, 2003. A Behavioral Type System and Its Application in Ptolemy II
BibTeX
@MISC{Lee_toappear,
author = {Edward A. Lee and Yuhong Xiong},
title = {To appear in Formal Aspects of Computing Journal, special issue on “Semantic Foundations of Engineering Design Languages. ” This version: November 10, 2003. A Behavioral Type System and Its Application in Ptolemy II},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Interface automata [deH01] have been introduced as an interface theory [deH01a] capable of functioning as a behavioral type system. Behavioral type systems describe dynamic properties of components and their compositions. Like traditional (data) type systems, behavioral type systems can be used to check compatibility of components. In this paper, we use interface automata to devise a behavioral type system for Ptolemy II, leveraging the contravariant and optimistic properties of interface automata to achieve behavioral subtyping and polymorphism. Ptolemy II is a software framework supporting concurrent component composition according to diverse models of computation. In this paper, we focus on representing the communication protocols used in component communication within the behavioral type system. In building this type system, we identify two key limitations in interface automata formalisms; we overcome these limitations with two extensions, transient states and projection automata. In addition to static type checking, we also propose to extend the use of interface automata to the on-line reflection of component states and to run-time type checking, which enable dynamic component creation, morphing application structure, and admission control. We discuss the trade-offs in the design of behavioral type systems. Keywords: Behavioral type; Behavioral subtyping; Component-based design; Interface automata; Polymorphism; Alternating simulation
Keyphrases
behavioral type system ptolemy ii engineering design language semantic foundation formal aspect special issue interface automaton computing journal behavioral subtyping type system concurrent component composition behavioral type interface automaton formalism component state interface automaton deh01 static type checking interface theory deh01a capable alternating simulation transient state on-line reflection key limitation component communication diverse model projection automaton optimistic property dynamic component creation software framework dynamic property run-time type checking application structure communication protocol component-based design admission control
