Using as little mathematical detail as possible, we present the use of transformations between process related languages and dynamic entity-relationship models. The work 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. The verification methods in first order logic (FOL) presented here are generally applicable to the analysis of conflicts in process based systems. Agents are a useful metaphor for handling asynchronous processes in contexts such as telecommunications. Although the application here is one of telephonic services, the general framework when applied to agent architectures is equally suitable for extended services such as decision making agents as the basis for intelligent home services. Telia Research AB (previously Swedish Telecom) commissioned this work, the implementation of which was used to detect interferences to Telia's public telematic services.