A graph grammar-based formal validation of object-process diagrams |
| |
Authors: | Arieh Bibliowicz Dov Dori |
| |
Affiliation: | 1.Faculty of Industrial Engineering and Management,Technion, Israel Institute of Technology,Haifa,Israel;2.Massachusetts Institute of Technology,Cambridge,USA |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|