Quá trình giải quyết một bài toán trên máy tính bao gồm nhiều công đoạn . Bước thứ nhất là xác lập mô hình của bài toán,tức là xác định cấu trúc toán học của bài toán đặt ra. Thực tế cho thấy ,đối với các cơ sở thực tiễn người ta chỉ phác hoạ ra các yêu cầu cần giải quyết một cách hình thức dưới dạng các yêu cầu, mong muốn. Nhiệm vụ của phân tích viên hệ thống là phải chuyển các yêu cầu rất hình thức đó thành các cấu trúc chặt chẽ dưới dạng một mô hình toán học . Mô hình này là cơ sở để thiết kế các bước tiếp theo giải quyết bài toán bắt đầu từ việc thiết kế cấu trúc dữ liệu, thiết kế giải thuật, lựa chọn ngôn ngữ diễn đạt giải thuật, đến việc thử nghiệm chương trình và phân tích kết quả của chương trình nhằm đánh giá chất lượng của chương trình.