Speci hoàn thành cation của LPUBS xem phụ lục.Sự kiện De nitionLà một phần của các mô hình de ned bởi ON nes khoản các sự kiện xảy ravà kích hoạt các mối quan hệ speci ed bởi các hoa văn. Từ điểm này trên, hành độngmà gây nên các mô hình sẽ được gọi là liên kết kích hoạt cảm biến (associatedSeT).Các thành phần của sự kiện De nition là associatedSeT ('sen'), cácbản chất của hành động ('o') và dấu thời gian của một hành động như vậy ('t0'). Như mô hìnhliên quan hành vi người dùng, các sự kiện ON phải e ect của hành động của người dùng. Trong ý nghĩa đó,không có hai khả năng.{Người dùng hoạt động trên các đối tượng tted với O-loại cảm biến.(Sự kiện 1)ON xảy ra (vòi hoa sen, tắt, t0){Sự hiện diện của người sử dụng hoặc chuyển động (phát hiện bởi cảm biến kiểu M) gây nên các mô hình.(Sự kiện 2)ON xảy ra (phòng tắm, trên, t0)Tình trạng De nitionNếu điều khoản de nes cần thiết tiết theo đó hành động speci ed tạimệnh đề đó là phản ứng thích hợp để các sự kiện được liệt kê trong điều khoản ON. Domột thực tế là gần như không thể là một mối quan hệ tổ chức sự kiện hành động đúng theo bất kỳđiều kiện, điều kiện thích hợp là cần thiết để đại diện cho các mô hình chính xác.Dưới đây chúng tôi cung cấp một số ví dụ về các điều kiện:(Điều kiện 1)Bối cảnh nếu (nhiệt độ phòng (<, 20 C))(Điều kiện 2)Bối cảnh nếu (thời gian trong ngày (>, 20: 30:00))(Điều kiện 3)Bối cảnh nếu (ngày trong tuần (=, thứ ba))Điều kiện là de ned bằng giá trị thuộc tính cặp. Trong khi đó trên và sau đómệnh đề de Nam và hành động của người dùng, các điều kiện cần phải xác định tình trạng của en-vironment tại thời điểm đó, do đó các thông tin liên quan đến mệnh đề đó phảiliên quan đến bối cảnh. Vì vậy, chúng tôi đã xem xét hai khả năng tiểu di de neCác thuộc tính.{Thông tin đến từ cảm biến kiểu C (ví dụ như 'mức độ ẩm' (mẫu 1) hoặc ' tem -perature' (điều kiện 1)){Calendar thông tin (ví dụ như 'thời gian trong ngày' (điều kiện 2) hoặc 'ngày của tuần' (Condi-tion 3))Như các giá trị có thể cho các thuộc tính như vậy, họ phụ thuộc vào bản chất của mỗi ngườithuộc tính. LPUBS cho phép chúng tôi de ne hai loại giá trị.
đang được dịch, vui lòng đợi..