Unified Type System

Abstract

Type System Unification. Unification of type systems and expression languages (Peter, Lutz*, Alexey, Brian, Serban)Data 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., Required_Virtual_Bus_Class.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 2018
Accession Number
AD1084142

Entities

People

  • Lutz Wrage

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Data Modeling
  • Department Of Defense
  • Engineering
  • Guarantees
  • Language
  • Machine Learning
  • Materials
  • Measurement
  • Programming Languages
  • Recursive Functions
  • Scripting Languages
  • Si Base Units
  • Software Development
  • Standards
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Military Logistics and Supply Chain Management
  • Software Engineering.