. . "3"^^ . "0302-9743" . "RIV/68407700:21230/09:00157273" . . "Z(MSM6840770038)" . . "RIV/68407700:21230/09:00157273!RIV10-MSM-21230___" . "3"^^ . "Vok\u0159\u00EDnek, Ji\u0159\u00ED" . . . "[9EEBB437109F]" . . "Heidelberg" . . "Monitoring of fulfilment of obligations defined by electronic contracts in distributed domains is presented in this paper. A two-level model of contract-based systems and the types of observations needed for contract monitoring are introduced. The observations (inter-agent communication and agents' actions) are collected and processed by the contract observation and analysis pipeline. The presented approach has been utilized in a multi-agent system for electronic contracting in a modular certification testing domain."@en . "Springer-Verlag" . . "308208" . . "contract; monitoring; agent; observation; case study"@en . "10"^^ . "Contract Monitoring in Agent-Based Systems: Case Study"@en . . "21230" . "Linz" . "Contract Monitoring in Agent-Based Systems: Case Study" . "000270319700029" . . "Monitoring of fulfilment of obligations defined by electronic contracts in distributed domains is presented in this paper. A two-level model of contract-based systems and the types of observations needed for contract monitoring are introduced. The observations (inter-agent communication and agents' actions) are collected and processed by the contract observation and analysis pipeline. The presented approach has been utilized in a multi-agent system for electronic contracting in a modular certification testing domain." . . . "Contract Monitoring in Agent-Based Systems: Case Study"@en . "Jakob, Michal" . . . . "Hod\u00EDk, Ji\u0159\u00ED" . . . "2009-08-31+02:00"^^ . . "Contract Monitoring in Agent-Based Systems: Case Study" . "Holonic and Multi-Agent Systems for Manufacturing - HoloMAS 2009" . "978-3-642-03666-8" .