Article thumbnail

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

By Arieh Bibliowicz


Conceptual modeling is the field where humans model natural or artificial systems. \ud The basic requirements of a model is for it to be both easy to understand and to \ud describe correctly and unambiguously the system that it is modeling. Although these \ud goals are trivial, over time most modeling methodologies have been able to satisfy \ud only one of the requirements fully, regularly the ease to understand, while leaving the \ud correctness and ambiguousness problems aside. There exist some formal modeling \ud languages but a full model is fairly complicated to understand in these languages. \ud OPM is an holistic system modeling methodology that combines all of the aspects of a \ud system in one model, and at the same time provides mechanisms to manage the \ud complexity of the model with zooming and folding operations, which divide the \ud complexity of a large system into many models that are interconnected. Although the \ud basic syntax and semantics of an OPM system model are already defined, this \ud definitions is not complete and leaves room for incorrect models and models that can \ud be interpreted in different ways. \ud This work advances de formal definition of OPM by providing a graph grammar \ud which creates OPM diagrams whose syntax is correct when a pair of interconnected \ud things are taken, but the correctness of the whole diagram is not assured. After that a \ud diagram is created, a validation methodology must be applied to the diagram to assure \ud that it is fully semantically and syntactically correct. The validation methodology is \ud also based on graph grammars

Publisher: Technion
Year: 2008
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.