Bài giảng Mô hình hóa phần mềm: Tuần 4 - State machine diagram cung cấp cho người học những nội dung về trạng thái, chuyển tiếp của các loại sự kiện, loại trạng thái và các điểm vào/ra của sơ đồ máy nhà nước. Mời các bạn tham khảo!
MƠ HÌNH HỐ PHẦN MỀM TUẦN 4: STATE MACHINE DIAGRAM GVLT: NGUYỄN THỊ MINH TUYỀN CuuDuongThanCong.com https://fb.com/tailieudientucntt NỘI DUNG Giới thiệu Trạng thái Chuyển tiếp Loại kiện Loại trạng thái Các điểm vào/ra MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt NỘI DUNG Giới thiệu Trạng thái Chuyển tiếp Loại kiện Loại trạng thái Các điểm vào/ra MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt GIỚI THIỆU • Mỗi đối tượng có số lượng hữu hạn trạng thái suốt vịng đời • Biểu đồ máy trạng thái (State machine diagram) dùng để: • • • Mơ hình trạng thái hệ thống hay đối tượng • Chỉ hành vi hệ thống hay đối tượng thể trạng thái Chỉ cách dịch chuyển trạng thái xảy kết mơt kiện Ví dụ: mô tả mức cao hành vi lecture hall Transition MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM State NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt VÍ DỤ: LECTURE HALL WITH DETAILS class LectureHall { private boolean free; public void occupy() { free=false; } public void release() { free=true; } } MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt VÍ DỤ: DIGITAL CLOCK MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt NỘI DUNG Giới thiệu Trạng thái Chuyển tiếp Loại kiện Loại trạng thái Composite state MƠ HÌNH HOÁCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt TRẠNG THÁI • Trạng thái = node máy trạng thái • Khi trạng thái hoạt động • • Đối tượng trạng thái Tất hoạt động bên đặc tả trạng thái thực thi • • entry / Activity( ) • • Được thực thi đối tượng vào trạng thái exit / Activity( ) • • Một hoạt động gồm nhiều hành động Được thực thi đối tượng thoát khỏi trạng thái / Activity( ) • Được thực thi đối tượng trì trạng thái MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt NỘI DUNG Giới thiệu Trạng thái Chuyển tiếp Loại kiện Loại trạng thái Composite state MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt CHUYỂN TIẾP • Chuyển từ trạng thái sang trạng thái khác Event Source state MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Guard Transition Sequence of actions (effect) Target state NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 10 RA KHỎI MỘT COMPOSITE STATE (3/3) • Chuyển đổi hồn tồn từ composite state MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Event State Executed Activities "Beginning" S1/S1.1 a3-a4 e4 S1/S1.2 a6-a7 e4 S2 a8-a5-a1 NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 32 ORTHOGONAL STATE • Composite state phân thành hai nhiều vùng tách biệt đường nét đứt • Một trạng thái vùng ln ln kích hoạt thời điểm đó, tức substate đồng thời • Entry: chuyển đến ranh giới orthogonal state kích hoạt tất initial state tất vùng • Exit: final state phải đạt đến tất vùng để kích hoạt kiện hoàn thành Using parallelization and synchronization node to enter different substates MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 33 SUBMACHINE STATE (SMS) • Để tái sử dụng phần biểu đồ máy trạng thái biểu đồ máy trạng thái khác • Ký hiệu: state:submachineState • Ngay submachine state kích hoạt, hành vi submachine thực thi • Tương ứng với việc gọi chương trình ngơn ngữ lập trình Refinement symbol (optional) MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 34 HISTORY STATE • Được sử dụng khi, sau chuyển tiếp bên dẫn đến việc thoát khỏi composite state, hệ thống trở lại substate kích hoạt trước việc chuyển tiếp xảy • Kích hoạt substate "cũ" tất entry activity tiến hành từ bên ngồi đến bên composite state • Chính xác cạnh history state đến substate sử dụng • • composite state khơng kích hoạt trước composite state thơng qua final state • Shallow history state khôi phục trạng thái level với composite state • Deep history state khơi phục trạng thái kích hoạt cuối active substate toàn chiều sâu substate MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 35 VÍ DỤ: HISTORY STATE (1/4) MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Event State "Beginning" S5 e1 S4/S1/S1.1 e2 S1.2 e10 S5 e9 (H→) S1/S1.1 NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 36 VÍ DỤ: HISTORY STATE (2/4) MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Event State "Beginning" S5 e1 S4/S1/S1.1 e2 S1.2 e10 S5 e8 (H*→) S1.2 NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 37 VÍ DỤ: HISTORY STATE (3/4) MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Event State "Beginning" S5 e9 (H→) S1/S1.1 NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 38 VÍ DỤ: HISTORY STATE (4/4) MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Event State "Beginning" S5 e8 (H*→) S3/S3.1 NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 39 CÁC ĐIỂM VÀO/RA • Entry and Exit Points • Cơ chế đóng gói • Một composite state vào thơng qua trạng thái initial state final state • Q trình chuyển tiếp bên ngồi mà khơng cần biết cấu trúc bên composite state External view MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 40 VÍ DỤ MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 41 VÍ DỤ MINH HOẠ [1] MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 42 VÍ DỤ MINH HOẠ [2] MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 43 NOTATION ELEMENTS (1/2) Name Notation Description State Description of a specific “time span” in which an object finds itself during its “life cycle” Within a state, activities can be executed by the object Transition State transition e from a source state S to a target state T Initial state Start of a state machine diagram Final state End of a state machine diagram Terminate node Termination of an object’s state machine diagram MÔ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 44 NOTATION ELEMENTS (2/2) Name Syntax Beschreibung Decision node Node from which multiple alternative transitions can origin Parallelization node Splitting of a transition into multiple parallel transitions Synchronization node Merging of multiple parallel transitions into one transition Shallow / deep history state “Return address” to a substate or a nested substate of a composite state MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 45 Câu hỏi? MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 46 ... 41 VÍ DỤ MINH HOẠ [1] MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 42 VÍ DỤ MINH HOẠ [2] MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH. .. tồn từ composite state MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM Event State Executed Activities "Beginning" S1/S1.1 a3-a4 e4 S1/S1.2 a6-a7 e4 S2 a8-a5-a1 NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt... External view MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt 40 VÍ DỤ MƠ HÌNH HỐCuuDuongThanCong.com PHẦN MỀM NGUYỄN THỊ MINH TUYỀN https://fb.com/tailieudientucntt