A DSL for PIM Specifications: Design and Attribute Grammar Based Implementation
IISCase is a model driven software tool that provides information system modeling and prototype generation. It comprises visual and repository based tools for creating various Platform Independent Model (PIM) specifications that are latter transformed into the other, platform specific specifications, and finally to executable programs. Apart from having PIMs stored as repository definitions, the authors need to have their equivalent representation in the form of a domain specific language. One of the main reasons for this is to allow for checking the formal correctness of PIMs being created.