Extreme type safe system.

Yesterday we pay a visit to colleague that in a middle of developing really large projects. We discuss application architecture and they explain us about their approach. First of all they’re the first large project that I have seen by now, that use MDA as development mythology. Their project should be running on servers, isolate stations and PDAs so they use MDA to create system that will run all of those platforms. They approach MDA really gracefully, on top of XDE they create add on that let the user create PIM and they use transform rules to create PSM for platforms. As for CIM they map all model data types and create structs that will represent those data types (with validation checking). When the user uses add on, in order to create classes, they can use just those strongly types that define in the CIM phase. This technique creates really strongly type safe system that I kind of like.

By the way, they say that this extreme strongly type system really helps them by now…