Developers of information systems have always utilized various visual formalisms during the
design process, albeit in an informal manner. Architecture diagrams, finite state machines,
and signal flow graphs are just a few examples. Model Integrated Computing (MIC) is an
approach that considers these design artifacts as first class models and uses them to generate
the system or subsystems automatically. Moreover, the same models can be used to analyze
the system and generate test cases and documentation. MIC advocates the formal definition of