PPT Slide

(Device has (superclasses (Physobj)))

(every Device has

(behavior ((a Activity)))

(failure-modes (

(the failure-modes of

(the participants of

the behavior of Self))))))

Component Theory: Devices