Consistent Model Driven Architecture

The goal of MDA is to produce software systems from abstract models in a way where human interaction is restricted to a minimum. These abstract models are based on the UML language. However the semantics of the UML models is defined in a natural language. Subsequently the verification of consisitency of these diagrams is needed in order to identify errors in requirements at the early stage of the development process. The verification of consistency is difficult due to a semi-formal nature of UML diagrams. We propose to implement automatic verification of consistency of the UML diagram series originating from abstract models with our consistency rules. This Consistent Model Driven Architecture enables us to generate automatically complete workflow applications from consistent and complete models developed from abstract models. Therefore our method can be used to check practicability (feasibility) of software architecture models.