miun.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Agent Metaphores for Analysing Telematic Services
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.ORCID-id: 0000-0002-0665-1889
Ansvarig organisation
1998 (Engelska)Ingår i: Intelligent Agents for Telecommunication Applications, 1998, s. 156-Kapitel i bok, del av antologi (Övrigt vetenskapligt)
Abstract [en]

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.

Ort, förlag, år, upplaga, sidor
1998. s. 156-
Serie
Lecture Notes in Computer Science, ISSN 0302-9743
Nyckelord [en]
distributed information systems, verification, first order logic
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:miun:diva-6142DOI: 10.1007/BFb0053939Lokalt ID: 920ISBN: 978-3-540-64720-1 (tryckt)OAI: oai:DiVA.org:miun-6142DiVA, id: diva2:31181
Tillgänglig från: 2009-01-28 Skapad: 2009-01-28 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Davies, GuyEkenberg, Love

Sök vidare i DiVA

Av författaren/redaktören
Davies, GuyEkenberg, Love
Av organisationen
Institutionen för informationsteknologi och medier
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 35 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf