I normally do not discuss individual efforts on my blog but found this one compelling. I met Michele last year at the BPM 2008 conference and subsequently we interacted over email and phone several times. Since then he completed his PhD and I find some very interesting areas that he has touched upon. There is one caveat that a large part of his work started with BPMN 1.0 & BPMN 1.1 as the starting point. The highlights are:
a model for BPs;
an XML serialization of such model;
a BP design methodology and business process diagrams views.
The model is labeled 'conceptual' because it was not sufficiently formalized to be considered a complete meta-model. The need to formalize the model is rudimentary because of the forthcoming BPMN 2.0 standard. One of the strengths of this approach is that it is a self-validating XML serialization of BPMN1.1. This means that it is possible to natively check the syntax of a diagram, all the BPMN 1.1 structural semantics rules and most of the behavioral semantics rules. That is, we can check quite all the rules provided by BPMN 1.1 specifications which could be checked without a simulation or an execution of the process (for instance, we can check if a process has loops, but we can not check whether those loops are infinite loops). So, it is a simple but powerful enough model to describe all the relevant features of BPs. The concept of views applied to BPs is another outcome which is a first preliminary result. Views permit the users also to investigate several applications, in particular to define end users policies.
For more information about his research please visit the URL : http://www.dicom.uninsubria.it/~michele.chinosi/"