NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology101type1. U = Pu | Pi | Va | Fo | Jo | Si | We2. UIvalue2. uid U: U → UI3. mereo U: U → UI-set × UI-set3. mereo U(u) as (iuis,ouis)3(a). is (Pu|Pi|Va)(u) → card iusi = 1 = card ouis,3(b). is Fo(u) → card iuis = 1 ∧ card ouis = 2,3(b). is Jo(u) → card iuis = 2 ∧ card ouis = 1,3(c). is We(u) → card iuis = 0 ∧ card ouis = 1,3(d). is Si(u) → card iuis = 1 ∧ card ouis = 0• We omit treatment of axioms for pipeline units– being indeed connected to existing other pipeline units.– We refer to Example 22 on page 127 and 23 on page 131.A Precursor for Requirements Engineering 101 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33