Viewing Contracts Graphically. Contracts are defined as a directory structure of text files. While this is a concise formalism, it may at times be easier to browse through a graphical representa- tion. This is easily obtained by depicting what is essentially the corresponding MainPage ? <AnyString> items price productname items Inventory buyform inventory title body product quantity summary graph. Using the AT&T Graphviz dot tool [13], the contract from Section 4.1 is presented as seen in Figure 7. The edges labeled “MainPage” are applicable only to the shop.inventory.MainPage page, whereas the others are also applicable to other pages, as defined in the contract.
Appears in 2 contracts
Sources: Cooperation Agreement, Cooperation Agreement