This paper uses a theory of composition bases on existnetial and universal properties. Universal properties are useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifiactions and they must be constructed to prove the ocmposed system. Coming up with such universal properties often requires creativity. The paper shows through two examples how this construction can be achieved. the principle used is first presented with a toy example and then applied to a more substatial problem.
展开▼