II. Kĩ thuật phân tích và các phơng pháp hình thức hoá trong
2.2Mở rộng cho các hệ thống thời gian thực
2. Phân tích có cấu trúc
2.2Mở rộng cho các hệ thống thời gian thực
Những kí pháp cơ bản của phơng pháp phân tích có cấu trúc cha đáp ứng yêu cầu biểu diễn thông tin, nhất là các ứng dụng phần mềm phụ thuộc thời gian và xử lí thông tin hớng điều khiển.Dựa trên nền tảng cũ,Ward và
Đề án chuyên ngành Khoa tin học kinh tế Mellor, Hatley và Pirbhai đã mở rộng các kí pháp cơ bản đối với phân tích có cấu trúc để phù hợp với phân tích phần mềm thời gian thực.
Ward và Mellor mở rộng các kí pháp phân tích có cấu trúc cơ bản để thích hợp với các yêu cầu sau của hệ thống thời gian thực :
Luồng thông tin đợc thu thập hay tạo ra trên cơ sở thời gian liên
tục.
Thông tin điều khiển đợc truyền qua hệ thống và đợc liên kết với
việc xử lí điều khiển.
Nhiều thể nghiệm của cùng một biến đổi đôi khi gặp phải các
tình huống đa nhiệm.
Trạng thái hệ thống và cơ chế gây ra việc chuyển trạng.
Khoản mục dữ liệu là cái vào hay ra từ một tiến trình trên cơ sở liên tục.
Phép biến đổi hay điều khiển chấp nhận điều khiển và cái vào rồi tạo ra điều khiển và cái ra.
Khoản mục điều khiển hay sự kiện, nhận giá trị bun hay rời rạc, mũi tên chỉ ra hớng của luồng điều khiển.
- Khi các khoản mục điều khiển đợc
lu trữ để dùng bởi một hay nhiều tiến trình.
Nhiều thể nghiệm tơng đơng của cùng tiến trình.Đợc dùng khi nhiều tiến trình đợc tạo ra trong hệ thống đa nhiệm.
Hình 5. Kí pháp phân tích có cấu trúc mở rộng cho hệ thống thời gian thực do Ward và Mellor phát triển
Đề án chuyên ngành Khoa tin học kinh tế
Sự phân biệt giữa luồng dữ liệu rời rạc và liên tục theo thời gian có ảnh hởng quan trọng cho cả ngời kĩ s hệ thống lẫn ngời thiết kế phần mềm. Đối với kĩ s hệ thống, trong khi tạo ra mô hình hệ thống, họ sẽ có khả năng cô lập tốt hơn các tiến trình mà có hiệu năng chủ chốt.Còn đối với ngời thiết kế phần mềm, khi mô hình vật lí hay cài đặt đợc tạo ra, họ phải thiết lập một cơ chế để thu thập dữ liệu liên tục theo thời gian. Trong biểu đồ luồng dữ liệu quy ớc, điều khiển hay luồng sự kiện không đợc biểu thị tờng minh. Trong thực tế, ngời phân tích đợc báo trớc phải đặc biệt loại trừ việc biểu diễn luồng điều khiển ra khỏi biểu đồ luồng dữ liệu.Việc loại trừ này là sự hạn chế quá mức khi các ứng dụng thời gian thực đợc xem xét tới, và bởi lí do này mà ngời ta đã phát triển một kí pháp đặc biệt để biểu diễn luồng sự kiện và xử lí điều khiển.Luồng điều khiển thì đợc biểu diễn bằng mũi tên với đờng đứt đoạn còn tiến trìng điều khiển đợc biểu diễn tơng tự thông qua việc dùng hình tròn đứt đoạn.
Khác với Mard và Mellor, Hatley và Pirbhai cho rằng kí pháp nét liền và nét đứt đoạn nên biểu diễn tách biệt.Cần định nghĩa ra biểu đồ luồng điều khiển (CFD). CFD chỉ ra luồng điều khiển chứ không phải luồng dữ liệu. Thay vì biểu diễn các tiến trình điều khiển trực tiếp bên trong mô hình luồng, ngời ta dùng một tham chiếu kí pháp tới đặc tả điều khiển.Về bản chất,bảng hớng dẫn có thể đợc xem nh một cửa sổ mở ra việc thực hiện để điều khiển tiến trình đợc biểu diễn trong DFD.Đặc tả điều khiển đợc dùng để chỉ ra cách phần mềm hành xử khi một sự kiện hay tín hiệu điều khiển đợc cảm nhận và tiến trình nào đợc kích hoạt nh hậu quả của việc xuất hiện sự kiện.Dùng kí pháp mô tả và bản đặc tả , Hatley và Pirbhai đã tạo ra mô hình về hệ thống thời gian thực.Biểu đồ luồng dữ liệu đợc dùng để biểu diễn cho dữ liệu và tiến trình thao tác nó. Biểu đồ luồng điều khiển chỉ ra cách thức sự kiện chảy qua các tiến trình và minh hoạ cho các sự kiện bên ngoài có thể gây cho nhiều tiến trình khác đợc kích hoạt.
Đề án chuyên ngành Khoa tin học kinh tế
Khoản mục điều khiển hay sự kiện; nhận giá
trị bun hay rời rạc; mũi tên chỉ hớng của luồng thông tin.
Vạch đứng là một tham khảo tới đặc tả điều
khiển mô tả cho hành vi của hệ thống và xác định cách tiến trình đợc kích hoạt nh hậu quả của các sự kiện.
Hình 6. Kí pháp phân tích có cấu trúc mở rộng cho hệ thống thời gian thực do Hatley và pirbhai phát triển.