Abstract | ||
---|---|---|
The mechanization of business-to-business contractenforcement requires a clear architecture and a clear andunambiguous underpinning model of the way permissionsand obligations are managed within organizations.Policies will need to be expressed in terms of the basicmodel, and the expressive power available will depend, inpart, on the ability to compose sets of policies derivedfrom different sources. The models used must reflect thestructure of the organizations concerned and how thebehaviour of organizations is constrained by broadershared rules. This paper considers a contract monitoringsystem intended to provide automated checking of businessto business contracts, sets out a suitable model andexplains how it can be used to guide the representationand control of contracts in a prototype monitoring system. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/POLICY.2003.1206975 | POLICY |
Keywords | Field | DocType |
automated checking,clear architecture,businessto business contract,business contracts,different source,business-to-business contractenforcement,contract monitoringsystem,broadershared rule,expressive power,clear andunambiguous,suitable model andexplains,automatic control,prototypes,satisfiability,formal verification,electronic commerce,middleware,computer programming,business,web services,electronic trading | Architecture,Monitoring system,Computer science,Knowledge management,Enforcement,Electronic trading,Underpinning,Computer programming,Business-to-business,Formal verification,Process management | Conference |
ISBN | Citations | PageRank |
0-7695-1933-4 | 10 | 1.59 |
References | Authors | |
9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter F. Linington | 1 | 94 | 18.92 |
Stephen Neal | 2 | 18 | 2.90 |