Text this: Architecture : formal approach