Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A transition logic for schemata conflicts
KTH, Tidigare Institutioner, Data- och systemvetenskap, DSV.
2004 (engelsk)Inngår i: Data & Knowledge Engineering, ISSN 0169-023X, E-ISSN 1872-6933, Vol. 51, nr 3, s. 277-294Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Conflict detection and analysis are of high importance, e.g., when integrating conceptual schemata, such as UML-Specifications, or analysing goal-fulfilment of sets of autonomous agents. In general, models for this introduce unnecessarily complicated frameworks with several disadvantages regarding semantics as well as complexity. This paper demonstrates that an important set of static and dynamic conflicts between specifications can be diagnosed using ordinary first-order modal logic. Furthermore, we show how the framework can be extended for handling situations when there are convex sets of probability measures over a state-space. Thus, representing specifications as conceptual schemata and using standard Kripke models of modal logic, augmented with an interval-valued probability measure, we propose instrumental definitions and procedures for conflict detection.

sted, utgiver, år, opplag, sider
2004. Vol. 51, nr 3, s. 277-294
Emneord [en]
interval probability, modal logic, conflict detection, schema integration, UML
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-39780DOI: 10.1016/j.datak.2004.05.004ISI: 000224595700001Scopus ID: 2-s2.0-5444224289OAI: oai:DiVA.org:kth-39780DiVA, id: diva2:442448
Merknad
QC 20110921Tilgjengelig fra: 2011-09-21 Laget: 2011-09-12 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Ekenberg, Love
Av organisasjonen
I samme tidsskrift
Data & Knowledge Engineering

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 126 treff
RefereraExporteraLink to record
Permanent link

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