Applied mathematics can be classified into two categories: analytic and denotational mathematics [Wang, 2002a]. The former are mathematical structures that deal with functions of variables and their operations and behaviors; while the latter are mathematical structures that formalize rigorous expressions and inferences of system architectures and behaviors with data, concepts, and dynamic processes. Denotational mathematics also provides a formal semantics for other forms of means based on diagrams or languages in software engineering.