II. Kĩ thuật phân tích và các phơng pháp hình thức hoá trong
2. Phân tích có cấu trúc
3.1 Khái niệm hớng sự vật
Coad và Yourdon đã có định nghĩa hớng sự vật theo cách sau: Hớng sự vật = Sự vật + phân lớp +kế thừa +truyền thông.
Việc xác định sự vật trong không gian mà chúng ta đang sống là điều đơn giản, song trong không gian của vấn đề ứng dụng phần mềm, sẽ khó xác định sự vật hơn.Các sự vật có thể là:
Các vật vốn là một phần của miền thông tin cho vấn đề.
Sự xuất hiện hay biến cố vốn xuất hiện bên trong hoàn cảnh vận
hành hệ thống.
Vai trò do những ngời có tơng tác với hệ thống đảm nhiệm.
Đơn vị tổ chức có liên quan tới một ứng dụng.
Nơi chốn tạo nên hoàn cảnh của vấn đề và toàn bộ chức năng của hệ
thống.
Cấu trúc xác định ra lớp các sự vật hay các lớp sự vật có liên quan.
Coad và Yourdon đã gợi ý ra sáu đặc trng cho chọn lựa nên sử dụng khi ngời phân tích xem xét từng sự vật tiềm năng sẽ đa vào trong mô hình phân tích.
Thông tin đợc sử dụng.Sự vật tiềm năng sẽ có ích trong khi phân tích
chỉ nếu thông tin về nó đợc ghi nhớ sao cho hệ thống có thể vận hành.
Dịch vụ cần tới.Sự vật tiềm năng phải có một tập hợp các thao tác xác
định đợc mà có thể làm thay đổi giá trị của các thuộc tính của nó theo cách nào đó.
Đa thuộc tính.Trong khi phân tích yêu cầu, mối quan tâm phải dồn vào
thông tin chính; một sự vật với một thuộc tính trong thực tế có thể có ích trong thực tế nhng có lẽ sẽ đợc biểu diễn tốt hơn nh một thuộc tính của sự vật khác trong hoạt động phân tích.
Đề án chuyên ngành Khoa tin học kinh tế Thuộc tính thông thờng . Tập hợp các thuộc tính có thể đ-
ợc định nghĩa cho sự vật tiềm năng và những thao tác này đợc áp dụng cho mọi lần xuất hiện của sự vật.
Thao tác thông thờng. Một tập hợp các thao tác có thể đợc
định nghĩa cho sự vật tiềm năng và những thao tác này áp dụng cho mọi lần xuất hiện của sự vật.
Các yêu cầu bản chất. Các thực thể ngoài xuất hiện trong
không gian vấn đề và tạo ra hay tiêu thụ thông tin là bản chất cho việc tiến hành bất kì giải pháp nào cho hệ thống gần nh bao giờ cũng đợc định nghĩa nh các sự vật trong mô hình yêu cầu.
Việc quyết định đa một sự vật tiềm năng vào mô hình phân tích phải xem xét và kiểm tra trên cơ sở đáp ứng đầy đủ các đặc trng trên.Công việc tiếp theo là xác định thuộc tính của sự vật.Ngời phân tích có thể nghiên cứu lời thuật xử lí cho vấn đề và chọn lựa những điều có thể thuộc về sự vật một cách hợp lí.Bên cạnh đó , các thao tác làm thay đổi sự vật nên viêc nghiên cứu nó cũng rất cần thiết.Có 3 loại thao tác : Thao tác tác động lên dữ liệu theo một cách nào đó; thao tác thực hiện một tính toán; thao tác điều phối một sự vật cho cho việc xuất hiện của sự kiện điều khiển.Bằng cách xem xét việc truyền thông xuất hiện giữa các sự vật, chúng ta có thể thu đợc cái nhìn phụ vào các thao tác khác .Các sự vật truyền thông bằng cách truyền thông báo lẫn nhau.