A chapter on models of status and events is the theoretical background for status–event analysis. In addition, the problems of refining a formal interface description into a running system are discussed.
Một chương về các mô hình về tình trạng và sự kiện là nền tảng lý thuyết phân tích tình trạng-sự kiện. Ngoài ra, các vấn đề về tinh chỉnh một mô tả chính thức giao diện thành một hệ thống chạy được thảo luận.
Một chương về mô hình của tình trạng và sự kiện là nền tảng lý thuyết để phân tích tình trạng sự kiện. Ngoài ra, các vấn đề về tinh chỉnh một mô tả giao diện chính thức vào hệ thống đang chạy sẽ được thảo luận.