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 e...

Full description

Saved in:
Bibliographic Details
Main Authors: Esther Jinee Choi, Jin Sam Kim, Jin-Ok Jeon, Dan-Hyung Lee
Format: Conference Proceeding
Language:English
Subjects:
Control systems
Formal specifications
Information analysis
Information systems
Real time systems
Software engineering
Systems engineering and theory
Telecommunication control
Telecommunication standards
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.1997.635275