We present the design and implementation of the type system for Ptolemy II, which is a tool for component-based heterogeneous modeling and design. This type system combines static typing with run-time type checking. It supports polymorphic typing of components, and allows automatic lossless type conversion at run-time. To achieve this, we use a lattice to model the lossless type conversion relation among types, and use inequalities defined over the type lattice to specify type constraints in components and across components. The system of inequalities can be solved efficiently, with existence and uniqueness of a solution guaranteed by fixed-point theorems. This type system increases the safety and flexibility of the design environment, promotes component reuse, and helps simplify component development and optimization. The infrastructure we have built is generic in that it is not bound to one particular type lattice.
Did you find this white paper useful?
18 out of 39 users found this white paper useful
Related white papers
IDC reports on Novell's Secure Desktop Solution: A Modern-Day Marriage of Business Benefit and Risk Reduction
The increasing mobility of the modern workforce and the competitive requirement to optimise that workforce with mobile communications has greatly increased the complexity of IT security. This IDC whitepaper examines...
Green IT: Reducing your Carbon Footprint with Citrix
Going green has become an imperative, not an option, for companies facing the new reality of balancing business objectives with dwindling environmental resources. Limited energy supply and skyrocketing costs are...
Ovum Report: IBM Simplfies Service Management to facilitate business and IT
All too often, companies find their IT infrastructure is fragmented and confused. Different parts of the business have different silos of data and applications, with no integrated vision joining them...
Protecting virtual macchines: the "best of Vmworld" approach
By enabling IT managers to move virtual machines (and the applications they host) between physical servers, server virtualization gives them a powerful method for reducing planned downtime and speeding recovery....
IDC Executive Brief: The Rising Concerns Over Endpoint Security
Today's IT environment is increasingly vulnerable to threats and attacks, both from within and without. The most vulnerable node in the enterprise network is the endpoint. This IDC executive brief...
Security Beyond Corporate Boundaries: Using Citrix Application Delivery to Protect Corporate Information Anywhere Business Happens
Ironclad security has become the Holy Grail for companies looking to protect corporate and customer information at large in the modern enterprise. The move toward greater data distribution -- thanks...
Identity and Security Management and Strong Information Technology Goverance
A total identity and access management (IAM) – driven goverance, risk and compliance (GRC) solution should ensure foolproof and accurate measurements of policies and practises across the enterprise. This IDC...
