There is an entirely new powerful mathematics of mechanical systems in the book "A Generative Theory of Shape" by Michael Leyton published in Springer-Verlag. The extraordinary thing about this new mathematics is that Leyton bases it on his powerful mathematical theory of intelligence, and this mathematics is shown to give a new framework for understanding scientific disciplines such as quantum mechanics, general relativity, etc., as well as engineering disciplines such as object-oriented software, CAD, robotics, mechanical assembly, kinematics, etc.
There is now a considerable interest in Leyton's work in ISO. The reason why it is being seriously considered for international standards is that it has been applied in over 40 scientific disciplines, and can therefore solve the interoperability problem in large-scale engineering systems integration. Leyton, who is a professor in DIMACS Center for Discrete Mathematics and Theoretical Computer Science, at Rutgers University, has initiated a remarkable new organization called The International Institute of Interoperability Science. He organized an outstanding workshop at the NIST Manufacturing Systems Integration Divsion, that is leading to powerful new work on the international standards of product design.