LOTOS in the Object-Oriented Analysis Process

Object-oriented analysis (OOA) and design methods are used by the software engineering community, while formal description techniques (FDTs) are mainly used in a research environment. Our aim is to produce a rigorous object-oriented analysis method which combines OOA with FDTs to produce a practical method to be used by software engineers. It is desirable for such a method to use standard approaches. As object-oriented FDTs are still under development, and have not yet been standardized, our solution is to choose a standard FDT which can model object-oriented concepts.