Architecture :formal approach