M.Sc Student | Bibliowicz Arieh |
---|---|

Subject | A Graph Grammar-Based Formal Validation of an Object-Process Diagram |

Department | Department of Industrial Engineering and Management |

Supervisor | Professor Dov Dori |

Full Thesis text |

Conceptual modeling is the field where humans model natural or artificial systems. The basic requirements of a model are for it to be both easy to understand and to describe correctly and unambiguously the system that it is modeling. Although these goals are trivial, over time most modeling methodologies have been able to satisfy only one of the requirements fully, regularly the ease to understand, while leaving the correctness and ambiguousness problems aside. There exist some formal modeling languages but a full model is fairly complicated to understand in these languages.

OPM is a holistic system modeling methodology that combines all of the aspects of a system in one model, and at the same time provides mechanisms to manage the complexity of the model with zooming and folding operations, which divide the complexity of a large system into many models that are interconnected. Although the basic syntax and semantics of an OPM system model are already defined, this definition is not complete and leaves room for incorrect models and models that can be interpreted in different ways.

This work advances de formal definition of OPM by providing a graph grammar which creates OPM diagrams whose syntax is correct when a pair of interconnected things are taken, but the correctness of the whole diagram is not assured. After that a diagram is created, a validation methodology must be applied to the diagram to assure that it is fully semantically and syntactically correct. The validation methodology is also based on graph grammars.