Empower DoD, other government agencies, industry partners, and academia to effectively utilize modeling and simulation capabilities, including emulators, prototypes, simulators, and stimulators, either statically or over time, to develop data as a basis for making managerial or technical decisions. It includes all classes of M&S, including the interface of real-world systems with models or simulations, as well as working with model elements, standards and specifications, and modeling system descriptions, interfaces, and data communication methods.
digital engineering and model formalization
Paul & All:
Given the recent release of OSD’s Digital Engineering Strategy  I thought this a good time to start a discussion on models and formalization.
Some may be surprised to learn that among insiders in government architecture the juxtaposition of the terms “model” and “formal” are considered an oxymoron. Mainstream efforts by well-known consortia lack formality. Even DARPA programs such as META from which Cyber Physical Systems reveal lack of formality.
“Parametric and Logical Types for Model Driven Engineering”  in which section V. Proof Calculus for Logical Types provides a formalization of parametric conjunctive and disjunctive types in a constructive logic.
I look forward to a lively discussion.
You must be logged in to reply to this topic.