2. |
- Davies, Guy, et al.
(författare)
-
Agent Metaphores for Analysing Telematic Services
- 1998
-
Ingår i: Intelligent Agents for Telecommunication Applications. - 9783540647201 ; , s. 156-
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Using a formalisation based on logic and set theory, we present the use of transformations between process related languages and dynamic entity-relationship models. This work formalises and incorporates our earlier research in schema integration and the integration of multi-agent architecture designs to handle problematic cases of global inconsistency in distributed information systems. Telia Research AB (previously Swedish Telecom) commissioned the original work, the implementation of which was used to detect interferences to Telia�s public telematic services. The verification methods in first order logic (FOL) presented here are generally applicable to the analysis of conflicts in process based systems.
|
|