Composing Closed-System Views


Abstract. Decomposing a system into views is relatively easy. The tricky part is putting the views back together without creating unexpected interference between the views. We argue that basing decomposition on the closed world approach helps in avoiding certain kinds of surprises when views are composed. The composition mechanism can statically enforce… (More)


1 Figure or Table