Minimizing the time spent on transformations between computer independent models and platform independent models
Abstract. A well known trade-off effect with modelling is that when it is user friendly it becomes ambiguous and when it has a formal notation, that makes it unambiguous, it becomes less user friendly. A well known solution to this dilemma is to use models on various levels of formalism where the least formalized models are known to be more user friendly and the most formalized models are well sui