Skip to Content

On the reputation and usefulness of models: Model-Based Techniques Require Model Quality Assurance

Albert Tort
July 03, 2014

One thought on “On the reputation and usefulness of models: Model-Based Techniques Require Model Quality Assurance

  1. It is possible (maube even recommended) to use model to model transformation to ensure quality of the code.
    For example, we can transform our model to the Petri net model, that is easily provable and verifiable with languages such as CTL (computational tree logic) and LTL (linear temporal logic).
    After that using OCL, we can ensure that the generated code is valid. Because we have already checked that our model (or rather our model tranformation) is valid and respect all the possible cases.
    For your information, during my studies, I’ve specialized in Model Driven Engineering (Model to model tranformation, Model to text transformaiton, Model checking, Code generation, …)

Leave a Reply

Your email address will not be published. Required fields are marked *