M.Sc. Thesis

A Graph Grammar-Based Formal Validation of an Object-Process Diagram - Object-Process Methodology (OPM) is a modeling methodology invented by Prof. Dov Dori of the Information Systems Area of the Industrial Engineering Faculty at the Technion. This methodology combines a simple modeling framework which includes abstraction features that are missing in most of the popular methodologies that I know. My Thesis describes a grammar to create Object-Process Diagrams (OPDs) and an algorithm to verify their validity. Papers

  1. A graph grammar-based formal validation of object-process diagrams – Condensed version of my M.Sc. thesis, published in the Software and Systems Modeling Journal. The final version of this paper is available at
  2. Creating Domain-Specific Modeling Languages with OPM/D, A Meta-modeling approach – Presented at ICSOFT-PT 2013 International Conference on Software Paradigm Trends, Reykjavík, Iceland, 2013. If you’ve never been to Iceland, get accepted to a conference there. It is amazing.

Miscellaneous Work

You can also check out my current PhD Research page, which includes a list of the papers I have read and small summaries of their contents (Not updated a lot…).


Empirical Software Engineering Papers


Leave a Reply