Tiểu Luận Cấu trúc dữ liệu và giải thuật

2.1. Giới thiệu.
Trong chương này ta trình bày về sự phát triển của một hệ thống thông tin đối với kho lưu trữ kế toán. Mà một hệ thống thông tin phải trợ giúp cho những người điều hành việc thực hiện các thao tác đăng ký và tải thông thường của các xe tải đến kho lưu trữ.Việc giới thiệu hệ thống kế toán tự động phải cải thiện hiệu quả của công việc của người điều hành và làm tăng tốc độ các thủ nạp lại.
Hệ thống thông tin được thiết kế là một ví dụ về hệ thống phê bình theo nghĩa những hành vị sai lệch hoặc không ổn định của hệ thống điều khiển ý nghĩa về mất tiền và mất thời gian. Bởi sự đúng đắn của phần mềm được phát triển nên kiểm tra một cách kỹ lưỡng.
Ta biểu diễn một quá trình phát triển phần mềm từ một mô tả nhiệm vụ gần gũi đến đặc điểm kỹ thuật gắn với mã chương trình. Một cách thức lịch sự để xác định bài toán là bắt đầu từ một đặc tính trừu tượng. Một trừu tượng mức cao thậm chí cho phép làm phức tạp các thực thể được biểu diễn một cách ngắn gọn. Việc thực hiện một số các bước cải tiến chúng ta đạt được một thể hiện cuối cùng mà có thể dịch được sang mã chương trình. Tại mỗi giai đoạn ta giải thích một cách cẩn thận các quyết định thiết kế và động cơ đằng sau các bước.
Hệ thống được phát triển là một ví dụ và một hệ thống thông tin phức tạp. Để thiết kế một hệ thống có cấu trúc mạnh và phù hợp một cách logic chúng ta sử dụng ý tưởng giới thiệu bậc thang của sự phức tạp. Cụ thể là, ta quan tâm đến mỗi bước cải tiến riêng như là một cách thức để hoàn thiện một số yêu cầu của mô tả nhiệm vụ không được xác định trên mức trừu tượng hơn nữa. Với cách tiếp cận như vậy mỗi bước cải tiến trở thành một mục tiêu hướng hoạt động kết hợp với một số quyết định thiết kế riêng biệt hơn là bài tập thông thường trong toán logic.
Sự trợ giúp của B-Toolkit cho phép một nhà phát triển phần mềm thực hiện được tất cả vòng đời của phát triển phần mềm, việc kiểm tra và dẫn chứng bằng tài liệu bên trong một môi trường đơn. Đây là một cách thức thuận lợi để tổ chức một cơ sở đồng bộ cho việc chạy các dự án của tham gia. Trong trường hợp của ta người đọc giải quyết các bài tập có thể được quan tâm một người tham gia của dự án phát triển một số các modules độc lập mà sẽ được lắp ráp để tạo thành phần mềm của hệ thống mở rộng toàn vẹn.
Phần cuối chương bao gồm việc phát triển bậc thang của hệ thống thông tin kho lưu trữ kế toán. Đầu tiên ta thể hiện một mô tả nhiệm vụ gần gũi. Sau đó ta giải thích sự hiểu biết của ta về nhiệm vụ và chỉ ra đặc tính trừu tượng tương ứng. Bước tiếp theo, ta thực hiện sự cải tiến của đặc tính khởi tạo. Sự phát triển của việc thi hành là kết quả của phương pháp thiết kế dưới-lên và trên-xuống. Kinh nghiệm thu được được tổng kết trong phần kết luận. Có thể thực hiện các sự mở rộng đến nhiệm vụ được quan tâm được xem như các bài tập.
2.2. Mô tả nhiệm vụ.
Trạm chứa là một ga tàu với việc chất lại hàng hoá được vận chuyển bên trong các kiện hàng. Các kiện hàng được mua trên tàu vào ban đêm và sáng sớm. Vào buổi sáng, các xe tải rỗng đến để trở các kiện hàng đi. Đến trưa, các xe trở hàng rỗng được sắp xếp lại để vận chuyển xa hơn. Vào buổi chiều, các xe tải trở hàng đến và các kiện hàng được chất lại lên tàu. Lược đồ về trạm chứa được biểu diễn trong hình 2.1. Chúng ta chỉ quan tâm đến các hoạt động vào buổi sáng.
Khi một xe tải đến lối vào, người lái xe đăng ký tại cổng. Người gác cổng ghi các thông tin nhận dạng của kiện hàng và phân công xe tải đến vị trí thích hợp trong vùng tải hàng. Nếu không có vị trí nào rỗi, chiếc xe tải được chỉ tởi một nởi tại vùng đợi. Khi một vị trí thích hợp cho việc tải hàng rỗi, người gác cổng sẽ chỉ cho người lái xe di chuyển đến đó. Trong khi tải được một nửa số hàng chiếc xe tải được tải hàng bằng cần trục. Khi công việc hoàn tất, người lái xe dời khỏi trạm chứa mà không cần thêm chú ý nào nữa.