[ Introduction | Research Domain | Contributions]




Each model/meta-model/transformation and program  produced in the context of this project is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

These programs are distributed in the hope that they will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. For detailed licensing information, see the License Agreement.



2-DT4BP modelling language


3-Timed Coordinated Atomic Actions Conceptual Framework (Timed-CaaFWrk)


4-Model transformations


5-Case study

This case study is a fictitious and simple business process for diagnosing a patient at a hospital's diagnosis unit. Details about the case study can be found in the PhD Thesis (Chapter 3, Section 3). The DT4BP process definition of this case study can be found below, as well as the Java implementation used to validate (by simulation) such process definition with respect to the stakeholder's expectations.

An screencast that shows how both transformations are chained to obtain an automatic Java implementation of the case study. This Java implementation then is used to simulate different behaviours of the modelled business process to validate whether such model has captured the stakeholder's requirements (.avi)



More in:


Last modified: Friday 28 May 2010