A simplified view of the set of tuple instances defining
the license agreement terms is shown in Figure 6. These domain
concepts interact with the task concepts to deal with the license terms in the example agreement before the service
B is exposed to C. Figure 7 shows static verification
performed by the LicenseTermDispatcher and LicesnseTermVerifiers
operate, and in particular how a verifier plays its
role accommodate the actions of the license terms.