Accession Number:

AD1092623

Title:

Unified Behavior Modeling

Descriptive Note:

Technical Report

Corporate Author:

Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States

Personal Author(s):

Report Date:

2020-01-01

Pagination or Media Count:

19.0

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.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE