Hệ thống thông tin

Đồng bộ hóa.

Một đồng bộ hóa của một tác vụ chỉ nơi “hẹn gặp” các sự kiện tham gia cần phải đến trước lúc khởi động tác vụ, theo một mệnh đề logic (hợp thành từ liên từ logic HOẶC hay VÀ) diễn dịch qui tắc hoạt hóa, nghĩa là các qui tắc quản lý cần phải kiểm tra các sự kiện tham gia để khởi động những hành động.

Một kiểu đồng bộ hóa được đặc trưng bởi:

- Danh sách các kiểu sự kiện tham gia.

- Các qui tắc hoạt hóa liên quan đến những

kiểu sự kiện.

Sự đồng bộ hóa tác vụ thứ nhất có thể thực hiện không cần chờ sự xuất hiện một sự kiện, nhưng đồng bộ hóa mọi tác vụ tiếp theo sau cần tương ứng với một sự chờ.

Vì nếu không chờ giữa tác vụ thứ nhất và tác vụ thứ hai thì tác vụ thứ hai cần là một bộ phận của tác vụ thứ nhất (vì một tác vụ là một chuỗi liên tục các hành động).

Ví dụ chúng ta xét hai mẫu MHYNXL một và hai sau:

MHYNXL1a

MHYNXL2

TÁC VỤ 1

- …

HOẶC

TÁC VỤ

- …

- hđ1

b c

HOẶC

TÁC VỤ 2

- hđ1

- …

MHYNXL 1 không chính xác vì sản sinh ra b khởi động tác vụ 2 không chờ. Điều này có nghĩa là hoặc a sẽ khởi động TÁC VỤ 1 và TÁC VỤ 2 không chờ, hoặc trong thực tế chỉ là một tác vụ, như trình bày ở MHYNXL 2.

Tiến trình

Trong trường hợp mà mô hình ý niệm xử lý rất

phức tạp cần phải phân rã thành các tiến trình.

Một tiến trình là một chuỗi tác vụ trong cùng một miền hoạt động.

Sơ đồ vận hành.

TÁC VỤ

Ha Ñi

i 1

Có thể bạn quan tâm!

Xem toàn bộ 575 trang tài liệu này.

Meänh đeà logic

Sự kiện tham gia

Đồng bộ hóa

(qui tắc hoạt hóa)

Tác vụ Hành động

Qui tắc phát hành

E’1

E’2

E’q

Sự kiện nội được sản sinh

Tiêu thụ các trường hợp của sự kiện tham giaMỗi một trường hợp của sự kiện tham gia hoạt hóa sự đồng bộ hóa gọi là được tiêu thu. Một

trường hợp của mỗi sự kiện tương ứng với qui tắc

phát hành được sử dụng sẽ được tạo thành.

Nếu tại một thời điểm t hai thăng tiến chấp thuận. Một thăng tiến bị từ chối và ba hồ sơ mở đang chờ. Và tại một thời điểm t + t1 báo cáo tương ứng với một trong những hồ sơ mở đến thì xảy ra việc tiêu thụ một trường hợp của sự kiện “hồ sơ mở” và một trường hợp của sự kiện “báo cáo”.

Ngoài ra nếu thông báo từ chối một trường hợp

của sự kiện “thăng chức từ chối” được tạo ra.

Xuất phát từ tác vụ, chỉ còn hai hồ sơ mở và số đề nghị thăng tiến bị từ chối chuyển sang hai. Nói cách khác còn hai trường hợp của “Hồ sơ mở” và hai trường hợp của “đề nghị thăng tiến từ chối”.

Trên hình vẽ này các lần xuất hiện sự kiện đã

được thể hiện bằng các

hình tròn. Những “hình tròn” được tiêu thụ và những “hình tròn” được tạo ra.

Hồ sơ mở

* * *

Thăng tiến chấp thuận

* *

Thăng tiến từ chối

VÀ

Báo cáo

Trước (t)

Xem xét


Chấp thuận	Từ chối