Definition 4.3 (Case, trace, event

Definition 4.3 (Case, trace, event log) Let C be the case universe, i.e., the set of all possible case identifiers. Cases, like events, have attributes. For any case c ∈ C and name n ∈ AN: #n(c) is the value of attribute n for case c (#n(c) = ⊥ if case c has no attribute named n). Each case has a special mandatory attribute trace: # trace(c) ∈ E∗.1 cˆ = #trace(c) is a shorthand for referring to the trace of a case.

ผลลัพธ์ (ไทย) 1:

ข้อกำหนด 4.3 (กรณี ติดตาม บันทึกเหตุการณ์) ให้ C เป็นจักรวาลกรณี เช่น ชุดของรหัสกรณีเป็นไปได้ทั้งหมด กรณี เช่นเหตุการณ์ มีแอตทริบิวต์ ใด ๆ กรณี c ∈ C และชื่อ n ∈ AN: #n(c) เป็นค่าของแอตทริบิวต์ n สำหรับกรณี c (#n(c) =⊥ถ้ากรณีมีแอตทริบิวต์ไม่ชื่อ n) แต่ละกรณีได้ติดตามคุณลักษณะพิเศษบังคับ: ∈# trace(c) E∗.1 cˆ = #trace(c) เป็นตัวย่อสำหรับอ้างอิงในการติดตามกรณีและปัญหา

ผลลัพธ์ (ไทย) 2:

ความละเอียด 4.3 (กรณีร่องรอยเหตุการณ์เข้าสู่ระบบ) ให้ C เป็นจักรวาลกรณีคือชุดของตัวระบุกรณีที่เป็นไปได้ทั้งหมด กรณีเช่นเหตุการณ์ที่เกิดขึ้นมีแอตทริบิวต์ สำหรับกรณีใด ๆ ค∈ C และชื่อ n ∈: # N (ค) เป็นค่าของแอตทริบิวต์ n กรณีค (# N (c) = ⊥กรณีคมีแอตทริบิวต์ชื่อ n ไม่ได้) กรณีที่แต่ละคนมีคุณลักษณะที่จำเป็นพิเศษร่องรอย: # ร่องรอย (c) ∈​​ E * 0.1 c = #trace (ค) เป็นชวเลขหมายถึงร่องรอยของกรณี

ผลลัพธ์ (ไทย) 3:

ความละเอียด 4.3 ( กรณี ติดตาม บันทึกเหตุการณ์ ) ให้ C เป็นกรณีของจักรวาล คือ ชุดของตัวระบุกรณีที่เป็นไปได้ทั้งหมด กรณี เช่น เหตุการณ์ มีคุณลักษณะ สำหรับกรณีใด ๆ∈ C C และ N ∈ชื่อ : # N ( c ) คือค่าของแอตทริบิวต์เพื่อกรณี C ( # N ( C ) = ⊥ถ้ากรณี C ไม่มีแอตทริบิวต์ชื่อ N ) แต่ละกรณีมีร่องรอยของข้อบังคับพิเศษ : #ติดตาม ( C ) ∈ E ∗ .1 C ˆ = #ติดตาม ( C ) เป็นย่อ หมายถึง ร่องรอยของคดี