is a well-defined, easy to express, powerful and universally applicable modelling language