Unified Behavior Modeling

Abstract

To investigate a common approach to modeling flow graphs, behavior specifications, and error behavior specifications. To simplify the three layered approach of EMV2 specifications. To simplify these specifications as annex declarations. To leverage V3 unified type system and expression language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1092623

Entities

People

  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Composite Materials
  • Copyrights
  • Department Of Defense
  • Detection
  • Engineering
  • Generators
  • Governments
  • Guarantees
  • Language
  • Materials
  • Models
  • Security
  • Software Development
  • Specifications
  • Transitions
  • Universities

Readers

  • Computational Linguistics
  • Distributed Systems and Data Platform Development