A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
A graph grammar-based formal validation of object-process diagrams
2011
Journal of Software and Systems Modeling
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
doi:10.1007/s10270-011-0201-4
fatcat:mijwnwhybndgvgtpegyko3yzzi