Vainolo's Blog

Research

leave a comment

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 www.springerlink.com
  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.

Resources

Empirical Software Engineering Papers

Written by admin

May 24th, 2010 at 2:54 am

Posted in

Leave a Reply

%d bloggers like this: