Abstract:

The increasing complexity and the diversity of domains lead to view the system designing or analyzing at high level of abstraction. The last decades have seen the emergence of the MDE (Model-Driven Engineering) approach. The main purpose of this approach is to define a framework for model handling : Metamodeling, Modelling, Transformation between models. The metamodeling defines a Domain Specific Modelling Language (DSML) witch capture the domain concepts, the relationships among them, and the rules that constrain the manipulation of the model elements. The definition includes the abstract syntax, concrete syntax, static semantic, dynamic semantic and the visualization of the language. In this paper we define a metamodel (DSML) for production systems using the GME (Generic Modeling Environment) framework. The DSML customizes the GME which allows the modeller to create a production system model. Therefore, the model can be used for analysis, testing and operation. In addition, the model can be transformed to a well-defined semantic model (petri net, abstract state machine, …) to perform certain operation such as formal verification .