Formal methods
	Formal method: works only with notation i.e. with written graphical signs without any meaning. Since formal methods will be dependent upon the quality of notation, i.e. how detailed and graphically standardized it is, notation conventions have to be complied with before performing an analysis.