Carnegie Mellon University Software Engineering Institute Pittsburgh United States
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.