Ä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
A transition logic for schemata conflicts
Stockholms universitet, Samhällsvetenskapliga fakulteten, Institutionen för data- och systemvetenskap.
Stockholms universitet, Samhällsvetenskapliga fakulteten, Institutionen för data- och systemvetenskap.
2004 (Engelska)Ingår i: Data & Knowledge Engineering, ISSN 0169-023X, Vol. 51, nr 3, 277-294 s.Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2004. Vol. 51, nr 3, 277-294 s.
Nyckelord [en]
Interval probability; Modal logic; Conflict detection; Schema integration; UML
Nationell ämneskategori
Systemvetenskap
Identifikatorer
URN: urn:nbn:se:su:diva-38423DOI: 10.1016/j.datak.2004.05.004OAI: oai:DiVA.org:su-38423DiVA: diva2:310301
Tillgänglig från: 2010-04-13 Skapad: 2010-04-13 Senast uppdaterad: 2010-07-01Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Ekenberg, Love
Av organisationen
Institutionen för data- och systemvetenskap
I samma tidskrift
Data & Knowledge Engineering
Systemvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 23 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