H. Weigand, E. Verharen and F. Dignum. Interoperable Transactions in Business Models. In P. Constantopoulos, J. Mylopoulos and Y. Vassiliou (eds.), Advanced Information Systems Engineering, pages 193-209, LNCS1080, Springer-Verlag, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Combining Dynamic Deontic Logic and Temporal Logic for the.. - Dignum, Kuiper (1997) (1 citation) Self-citation (Dignum) (Correct)
....The use of a logic as specification language enables the system to reason about the deadlines. Deadlines can be combined and inconsistent deadlines (deadlines that cannot be kept jointly) can be detected. Deontic temporal constraints can be used in the specification of contracts between agents ([22, 25]) The specification of an agent includes the specification of the possible messages it can exchange with other agents. Certain combinations of messages, for example, a request followed by a commit, create an obligation for one agent with regard to the other. Sometimes, such obligations can be ....
H. Weigand, E. Verharen and F. Dignum. Interoperable Transactions in Business Models. In P. Constantopoulos, J. Mylopoulos and Y. Vassiliou (eds.), Advanced Information Systems Engineering, pages 193-209, LNCS1080, Springer-Verlag, 1996.
Obligations in a Temporal Framework - Dignum, Kuiper, Meyer (1998) Self-citation (Dignum) (Correct)
No context found.
H. Weigand, E. Verharen and F. Dignum. Interoperable Transactions in Business Models. In P. Constantopoulos, J. Mylopoulos and Y. Vassiliou (eds.), Advanced Information Systems Engineering, pages 193-209, LNCS1080, Springer-Verlag, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC