Skip to content


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.
  3. Toward integrating systems engineering with software engineering through Object-Process Programming – a work partially based on my PhD thesis and the work of the ESLM lab team at the Technion.

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


Be First to Comment

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.