An information and telecommunication system development methodology-requirement analysis phase

An information and telecommunication system is a real-time distributed system, and the development process of an information and telecommunication system is tremendously complex and difficult. Formal approaches to system specification, verification and analysis can provide the means to control the ever-growing complexity of information and telecommunication systems. However, making a formal specification is a big burden for the developer. We propose a methodology FORM (Formal, Object-Oriented and Reliable Method) which supports the systematic development through object-oriented method, and verifies the correctness and consistency of the requirement specification using the formal method. The methodology develops the requirement specification in UML diagrams and transforms it into a LOTOS specification. LOTOS is a formal language designed for the specification of telecommunication standard. We describe the requirement analysis phase in this paper.