Sökning: id:"swepub:oai:DiVA.org:kth-39780" >
A transition logic ...
A transition logic for schemata conflicts
-
- Boeva, V (författare)
- Stockholms universitet,Institutionen för data- och systemvetenskap
-
- Ekenberg, Love (författare)
- Stockholms universitet,KTH,Data- och systemvetenskap, DSV,Institutionen för data- och systemvetenskap
-
(creator_code:org_t)
- Elsevier BV, 2004
- 2004
- Engelska.
-
Ingår i: Data & Knowledge Engineering. - : Elsevier BV. - 0169-023X .- 1872-6933. ; 51:3, s. 277-294
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
Nyckelord
- interval probability
- modal logic
- conflict detection
- schema integration
- UML
- Computer and systems science
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas