178 Model-Driven Engineering of Information Systems
This (over-simplifi ed) schema gives us four points of Math × SE inter-
action. Interaction (1,1) turned out to be quite successful, as evidenced by
such theory-based practical achievements as compilers, model checking,
and relational DB theory. As for the point (1;M
n
), examining the literature
shows that attempts at building theoretical foundations for MDE based on
classical 1-mathematics were not successful. A major reason seems to be
clear: 1-mathematics does not provide an adequate machinery for speci-
fying and reasoning about inter-structural relationships and operations,
which are at the very heart of modern software development. This point
may also explain the general skepticism that ...