Accession Number:

AD1084142

Title:

Unified Type System

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2018-12-31

Pagination or Media Count:

24.0

Abstract:

Type System Unification. Unification of type systems and expression languages Peter, Lutz, Alexey, Brian, SerbanData Components, Property Types, Classifiers, Annexes, Resolute, AGREE, Data Modeling, EMV2, BA, BLESS, ReqSpec, Scripting languages Python. Current Usages of Types. Application data that occurs in the modeled system. Data subcomponents.Shared data.Local variables in threads and subprograms. Data communicated via data and event data ports. Information about the modeled system and individual components. Properties. Mixture of models and properties. Component classifiers and model elements as properties. Bindings. Specify constraints, e.g., RequiredVirtualBusClass.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE