A graph grammar-based formal validation of object-process diagrams

  • Authors:

  • Arieh Bibliowicz;Dov Dori

  • Affiliations:

  • Faculty of Industrial Engineering and Management, Technion, Israel Institute of Technology, Haifa, Israel 32000;Faculty of Industrial Engineering and Management, Technion, Israel Institute of Technology, Haifa, Israel 32000 and Massachusetts Institute of Technology, Cambridge, USA

  • Venue:
  • Software and Systems Modeling (SoSyM)
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Two basic requirements from a system's conceptual model are correctness and comprehensibility. Most modeling methodologies satisfy only one of these apparently contradicting requirements, usually comprehensibility, leaving aside problems of correctness and ambiguousness that are associated with expressiveness. Some formal modeling languages do exist, but in these languages a complete model of a complex system is fairly complicated to understand. Object-process methodology (OPM) is a holistic systems modeling methodology that combines the two major aspects of a system--structure and behavior--in one model, providing mechanisms to manage the complexity of the model using refinement-abstraction operations, which divide a complex system into many interconnected diagrams. Although the basic syntax and semantics of an OPM model are defined, they are incomplete and leave room for incorrect or ambiguous models. This work advances the formal definition of OPM by providing a graph grammar for creating and checking OPM diagrams. The grammar provides a validation methodology of the semantic and syntactic correctness of a single object-process diagram.