7. The method of claim 6 , wherein the formal modeling language comprises the Unified Modeling Language (UML).
6. The method of claim 1 , wherein creating a PIM includes creating a PIM in any formal modeling language.