Structured Object-Oriented Formal Language and Method