Ph.D. Thesis

The Object-Process Programming Language is a visual programming language that is based on the Object-Process Methodology (ISO/PAS 19450:2015) developed by Prof. Dov Dori. During my studies I developed the visual language, programmed an editor and run-time for the language, and performed experiments with both students and professional developers to test value of the language as a tool for software developers, architects, and other stakeholders in the software industry. All code for the editor and run-time is hosted on github:

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.


  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 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…).

I also started working on a Dictionary of Programming Language Terms, but got bored in the way. Maybe I’ll come back to it someday.


Empirical Software Engineering Papers

Leave a Reply

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