In our previous work on agreement automation we proposed
the SmArt (Semantic Agreement) [1] framework to
facilitate automatic agreement interpretation and enforcement.
The SmArt system was designed to leverage ontology
to represent license agreements and other shared knowledge,
and to employ agents to carry out tasks [2]. Here we
describe the other parts of the system to build a prototype to
manage a simple software service license. A license management
system based on the SmArt Framework operates in
the way shown in Figure 1.