framework for formal models and transformations