II. Kĩ thuật phân tích và các phơng pháp hình thức hoá trong
5. Phơng pháp hớng cấu trúc dữ liệu
5.3 Phát triển hệ thống JACKSON
Phát triển hệ thống Jackson (JSD) đợc tiến hoá từ công trình do M.A Jackson tiến hành về phân tích miền thông tin và mối quan hệ của nó với thiết kế chơng trình và hệ thống.Để tiến hành JSD, ngời phân tích áp dụng các bớc sau:
1. Bớc hành động thực thể. Dùng một cách tiếp cận hoàn toàn tơng
tự nh kĩ thuật phân tích hớng sự vật, xác định ra các thực thể và hành động.B- ớc này bắt đầu bằng một phát biểu theo ngôn ngữ tự nhiên tóm tắt về vấn đề.Sau đó các thực thể đợc lựa ra bằng cách xem xét tất cả các danh từ trong lời mô tả.Cần lu ý rằng bằng cách loại bỏ các thực thể và hành động ứng cử viên , chúng ta đã giới hạn phạm vi của hệ thống cần xây dựng.Một hành động xuất hiện tại một điểm đặc biệt theo thời gian và đợc áp dụng cho một thực thể.
2. Bớc cấu trúc thực thể. Các hành động ảnh hởng đến từng thực
thể đợc sắp xếp theo thời gian và đợc biểu diễn bằng biểu đồ Jackson.Các kí pháp biểu đồ đợc minh hoạ trong hình dới đây.
Hành động tuần tự Hành động lặp Hành động chọn
Hình 12. Kí pháp biểu đồ cấu trúc
Biểu đồ cấu trúc trình bày một đặc tả theo thứ tự thời gian của các hành động đợc thực hiện trên hay bởi một thực thể.Với lí do này nó biểu diễn một cách chính xác của thế giới thực hơn là danh sách đơn giản các hành động và thực thể .
Đề án chuyên ngành Khoa tin học kinh tế
3. Bớc mô hình hoá khởi đầu
Thực thể và hành động đợc biểu diễn nh một mô hình tiến trình; các liên hệ giữa mô hình và thế giới thực đợc xác định .Bớc này bắt đầu với việc xây dựng một đặc tả của hệ thống nh một mô hình của thế giới thực. Đặc tả đợc xây dựng bằng biểu đồ đặc tả hệ thống (SSD).
Dòng dữ liệu
Véc tơ trạng thái
Hình 13. Kí pháp SSD
Mối liên hệ luồng dữ liệu xuất hiện khi một tiến trình truyền một luồng thông tin và tiến trình khác nhận đợc luồng này.Mũi tên biểu diễn cho hớng của luồng thông tin, và vòng tròn biểu diễn cho dòng dữ liệu đặt trong bộ đệm vào tr- ớc ra trớc với khả năng vô giới hạn.Mối liên hệ véctơ trạng thái xuất hiện khi một tiến trình trực tiếp giám sát véctơ trạng thái của một tiến trình khác.Hình thoi chỉ ra véctơ trạng thái. Theo quy ớc, phần đuôi 0 biểu thị cho một tiến trình thế giới thực và phần đuôi 1 biểu thị cho tiến trình mô hình hệ thống.
4. Bớc chức năng. Xác định các chức năng tơng ứng với các hành
động đã xác định.
5. Bớc đặt thời gian hệ thống. Lợng định và xác định các đặc trng
lập lịch tiến trình.
Tuy nhiên, ba bớc cuối rất gần với thiết kế phần mềm hay hệ thống nên trong bài này chúng ta không đề cập chi tiết tới chúng.
Quá trình - 0
Quá trình - 0
Quá trình - 1
Đề án chuyên ngành Khoa tin học kinh tế