Subprofile mô hình hóa thời gian định rõ các stereotype và các thẻ để mô hình hóa thời gian và các khái niệm liên quan. Những mục này được mô tả rõ trong bảng 5.3
Table 5-3. Time Subprofile Stereotypes
Stereotype
Áp dụng cho
(metaclasses) Tags Description
«RTaction» Action, Action Execution, Stimulus, Message, Method, ActionSequence, ActionState, SubactivityState, Transition, State RTstart RT end RTduration Một hành động cần một khoảng thời gian nào đó
Table 5-3. Time Subprofile Stereotypes
Stereotype
Áp dụng cho
(metaclasses) Tags Description
«RTstimulus») «RTclock» (subclass of «RTtiming Mechanism») Instance, DataType, Classifier, ClassifierRole, Object, DataValue RTclockId Một bộ phạn đồng hồ «RTdelay» (subclass of «RTaction») Action, ActionExecution, Stimulus, Message, Method, ActionSequence, ActionState, SubactivityState, Transition, State RTduration Một hành động hoãn «RTevent» Action, ActionExecution, Stimulus, Message, Method, ActionSequence, ActionState, SubactivityState, Transition, State
RTat Một sự kiện diễn ra vào thời điểm biết trước
Table 5-3. Time Subprofile Stereotypes
Stereotype
Áp dụng cho
(metaclasses) Tags Description
«RTinterval» Instance, Object, Classifier, DataType, DataValue RTintStart, RTintEnd, RTintDuration
Một khoảng thời gian
«RTnewClock» Operation Một thao tác tạo ra một bộ phận đồng hồ mới (clock mechanism)[4]
«RTnewTimer» Operation RTtimerPar Một thao tác tạo ra một bộ định thời mới (timer). [4]
«RTpause» Operation Một thao tác tạm ngưng của một bộ phận thời gian (timing mechanism)[5]
«RTreset» Operation Một thao tác đặt lại bộ phận thời gian (timing mechanism)[5]
«RTset» Operation RTtimePar Một thao tác đặt giá trị hiện thời cho một bộ phận thời gian [5]
«RTstart» Operation Một thao tác khởi động một bộ phận thời gian [5]
«RTstimulus» Stimulus,
ActionExecution, Action,
ActionSequence,
Table 5-3. Time Subprofile Stereotypes
Stereotype
Áp dụng cho
(metaclasses) Tags Description
Instance, Object, DataType, Classifier
RTrefClk tượng (thời gian).
«RTtimeout» (subclass of «RTstimulus») Stimulus, ActionExecution, Action, ActionSequence, Method RTtimestamp (inherited)
Một tín hiệu hay hành động timeout
«RTtimer» (subclass of «RTtiming Mechanism») DataValue, Instance, Object, ClassifierRole, Classifier, DataType RTduration, RTperiodic Một bộ phận định thời (timer mechanism)
«RTtimeService» Instance, Object, ClassifierRole, Classifier Một dịch vụ thời gian «RTtiming Mechanism» DataValue, Instance, Object, ClassifierRole, Classifier, DataType RTstability, RTdrift, RTskew, RTmaxValue, RTorigin, RTresolution, RTaccuracy, RTcurrentVal, RToffset,
Một bộ phận thời gian (timing mechanism)
Table 5-3. Time Subprofile Stereotypes
Stereotype
Áp dụng cho
(metaclasses) Tags Description
RTrefClk
Table 5-4. Time Subprofile Tag Definitions
Tag Type Multiplicity Description
RTstart RTtimeValue [0..1] Thời điểm bắt đầu
RTend RTtimeValue [0..1] Thời điểm kết thúc
RTduration RTtimeValue [0..1] Độ dài khoảng thời gian cho stereotype được tham chiếu.
RTclockID String [0..1] Tên của đồng hồ
RTat RTtimeValue [0..1] Thời điểm xuất hiện sự kiện.
RTintStart RTtimeValue [0..1] Điểm khởi đầu của khoảng thời gian.
RTintEnd RTtimeValue [0..1] Điểm kết thúc của khoảng thời gian.
RTintDuration RTtimeValue [0..1] Độ dài của khoảng thời gian
Table 5-4. Time Subprofile Tag Definitions
Tag Type Multiplicity Description
RTrefClk Tham chiếu tớimột phần tử mô hình được gán stereotype «RTclock», hay là kiểu String
[0..1] Đồ hồ tham chiếu, phải trỏ tới hay là tên một phần tử mô hình được gán stereotype
«RTclock»
RTperiodic Boolean [0..1] Định rõ bộ định thời có phải là có chu kỳ hay không.
RTstability Real [0..1] Khả năng của bộ phận để đo sự biến đổi thời gian với tỷ lệ ổn định (một đặc trưng QoS được cung cấp) (an offered QoS
characteristic)
RTdrift Real [0..1] Tỷ lệ thay đổi của độ lệch (skew), một đặc trưng QoS được cung cấp (an offered QoS characteristic)
RTskew Real [0..1] Định danh bộ phận theo dõi đồng hồ tham chiếu tốt như thế nào (một đặc trưng QoS được cung cấp)
RTmaxValue RTtimeValue [0..1] Giá trị hiện thời không thể được vượt quá (Một đặc trưng chất lượng dịch vụ được cung cấp)
RTorigin String [0..1] Một sự kiện được định thời xác định rõ mà tự sự kiện đó nó bắt đầu đo thời gian.
Table 5-4. Time Subprofile Tag Definitions
Tag Type Multiplicity Description
dạng bởi bộ phận (an offered QoS characteristic)
RToffset RTtimeValue [0..1] Sự khác nhau giữa hai đồng hồ.
RTaccuracy RTtimeValue [0..1] Offset tối đa của một đồng hồ theo thời gian
RTcurrentVal RTtimeValue [0..1] Giá trị hiện tại của bộ phận thời gian
Các giá trị được đính thì tùy theo kiểu của chúng. TimeValues có thể được biểu diễn dưới một số dạng:
Xâu thời gian: hr “:” min “:” sec Xâu ngày tháng year “/” month “/” day
Xâu ngày Mon, Tue, vvv
Xâu định thời gian <number> PDF <time unit> PDF: hàm mật độ thời gian
Time unit: ns, ms, us, s, min, hr, days, wks, mos, yrs
Các kiểu đến được định rõ với thẻ RTArrivalPattern. Có một số kiểu:
bounded, bursty, irregular, periodic, và unbonded. Cú pháp là:
RTArrivalPattern ::= <bounded-string> | <bursty- string> | <irregular-string> | <periodic-string> | <unbounded-string>
<irregular-string> ::= " 'irregular' ," <time-value> [ '," <time-value> ]*
<periodic-string> ::= " 'periodic' ," <time-value> [ "," <time-value>]
<unbounded-string> ::= " 'unbounded' ," <PDF-string>
Các mẫu đến bound được định rõ với từ khóa bounded và sau đó là một cận dưới và cận trên, chẳng hạn “bounded”, (0, ‘ms’), (15, ‘ms’). Một mẫu đến bursty nghĩa là các sự kiện đến là tương quan theo thời gian, có nghĩa là nếu một sự kiện đến thì rất có thể là một sự kiện khác cũng sẽ đến sớm. Mẫu đến Bursty được định rõ với từ khóa bursty và sau đó là một giá trị thời gian (cho biết khoảng thời gian bursty) và một giá trị nguyên (cho biết số lượng tối đa sự kiện trong khoảng thời gian đó, chẳng hạn “bursty (20, ‘ms’, 100)”. Một mẫu đến irrgular mô tả một chuỗi các thời điểm đến. Nó được định rõ nhờ từ khóa irregular, tiếp sau là một danh sách các giá trị thời gian, chẳng hạn “irregular, (10, ‘ms’), (15, ‘ms’), (5, ‘ms’)”. Dấu * trong văn phạm nghĩa là nó có thể lặp lại một số lượng tùy ý lần. Mẫu đến periodic rất phổ biến. Chúng được chỉ rõ bởi từ khóa period và một giá trị thời gian chỉ ra khoảng thời gian. Giá trị period có thể được theo sau bởi một giá trị thời gian khác cho biết maximal deviation từ period( đôi khi gọi là jitter), chẳng hạn “periodic, (100, ‘ms’), (500, ‘us’)”. Cuối cùng, một mẫu đến unbounded là mẫu trong đó các thời điểm đến được lấy ra từ một quá trình làm mới từ một hàm mật độ xác xuất như được mô tả ở dưới. Một ví dụ là “unbounded, normal (100, ‘ms’, (15, ‘ms’) để nêu rằng sử dụng phân tán bình thường (Gaussian) với mean là 100 ms và một seviation chuẩn là 15ms.
Thông tin thời gian có thể được áp dụng cho các thực thi sử dụng một tập các dấu thời gian định nghĩa trước, gồm:
RTstart: thời gian bắt đầu 1 hành động hay là tính hiệu kích thích được gửi RTend: Thời gian hành động kết thúc hay phản hồi kích thích đã hoàn thành RTduration: Độ dài thời gian của thực thi một hành động hay phản hồi kích thích, RTduration = RTstart-RTend.
Những dấu hiệu thời gian này được sử dụng trong các biểu diễn thời gian có được dưới dạng các ràng buộc được áp dụng với các hành động hay các kích thích.
Chẳng hạn như {RTend - RTstart < (10, 'ms') }. Nó có nghĩa rằng thời gian từ khi nhận được kích thích tới khi hành động phản hồi hoàn thành là nhỏ hơn 10ms.
Những đặc tả thời gian như vậy thường được biểu diễn trong các biểu đồ trình tự, như ví dụ hình 5.12. Chúng ta xét một số thông điệp được stereotype là <<RTstimulus>> và các hành động được stereotype là <<RTaction>>. Thông tin về thời gian được thêm vào như các thẻ đi kèm với các stereotype. Hơn nữa, có một số “Dấu hiệu thời gian vô danh” cho phép thêm thông tin về tiến trình của thời gian trong quá trình thực thi của kịch bản.
Hình 5.12 Các dấu hiệu thời gian