Name
Abstract | ||
|---|---|---|
Abstract: The emerging B2B technologies allow for more automated management of e-contracts including contract drafting, negotiation and monitoring. As technology infrastructure becomes available for electronic exchange of contracts and contract-related messages, the IT community is becoming more interested in modeling of contracts as governance structures for many inter-organisational interactions. This paper presents our initial ideas for formal modeling of e-contracts. This includes specification of deontic constraints and verification of deontic consistency associated with roles in a contract, precise modeling of temporal constraints/estimates and verification of temporal consistency of an e-contract, and finally scheduling of the required actions. The paper also introduces visualisation concepts such as role windows and time maps and describes how they could be used as decision support tools during contract negotiation. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1109/EDOC.2001.950423 | EDOC |
Keywords | Field | DocType |
electronic exchange,data visualisation,formal specification,job shop scheduling,visualization,temporal logic,management information systems,open systems,electronic commerce,internet,scheduling,technology management,distributed processing,windows | Data mining,Deontic logic,Software engineering,Systems engineering,Scheduling (computing),Computer science,Decision support system,Formal specification,Temporal logic,Electronic trading,Open system (systems theory),Negotiation | Conference |
ISBN | Citations | PageRank |
0-7695-1345-X | 42 | 2.70 |
References | Authors | |
5 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Olivera Marjanovic | 1 | 472 | 66.33 |
| Zoran Milosevic | 2 | 548 | 54.38 |