specialization and validation of statecharts in owl
DESCRIPTION
Paper presented at EKAW2010TRANSCRIPT
![Page 1: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/1.jpg)
Web Science & Technologies
University of Koblenz ▪ Landau, Germany
Specialization and Validation of Statecharts in OWL
Gerd Gröner
Steffen Staab
![Page 2: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/2.jpg)
Gerd Grö[email protected]
EKAW 20102 of 20
WeST
Knowledge Base
represent the behavior of dynamic systems
![Page 3: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/3.jpg)
Gerd Grö[email protected]
EKAW 20103 of 20
WeST
Specialization Process of the Knowledge Base
Specialization by different
actors
![Page 5: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/5.jpg)
Gerd Grö[email protected]
EKAW 20105 of 20
WeST
Problem
valid?specific model has to conform to the behavior of the abstract model
![Page 6: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/6.jpg)
Gerd Grö[email protected]
EKAW 20106 of 20
WeST
What are Statecharts?
Finite automata M = (S, ∑, T, s, F)
![Page 7: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/7.jpg)
Gerd Grö[email protected]
EKAW 20107 of 20
WeST
What are Statecharts?
Finite automata M = (S, ∑, T, s, F)
Extended with substates
![Page 8: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/8.jpg)
Gerd Grö[email protected]
EKAW 20108 of 20
WeST
Two Kinds of Specializations
Extensions
Add states and transitions
Refinements
Restrictions on state and transition definitions
![Page 11: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/11.jpg)
Gerd Grö[email protected]
EKAW 201011 of 20
WeST
Refinement
e.g., move transition from substate to superstate
![Page 12: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/12.jpg)
Gerd Grö[email protected]
EKAW 201012 of 20
WeST
Using OWL for Validation
Representation in OWL
Comparison in OWL
Reasoning for Validation
![Page 13: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/13.jpg)
Gerd Grö[email protected]
EKAW 201013 of 20
WeST
Representation in OWL
SA ≡ Ordered ⊓ Insured
SA1
≡ Domestic
S
A1 ⊑ S
A
![Page 14: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/14.jpg)
Gerd Grö[email protected]
EKAW 201014 of 20
WeST
Representation in OWL
SA ≡ Ordered ⊓ ∃ sourceOfTransition. T
a
Ta ≡ arrive ⊓ ∃ source.S
A
![Page 15: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/15.jpg)
Gerd Grö[email protected]
EKAW 201015 of 20
WeST
Comparison in OWL
Compare two knowledge bases Joint reasoning process
Different State and Transition labels
SA ≡ Ordered
SA' ≡ Ordered ⊓ Insured
![Page 16: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/16.jpg)
Gerd Grö[email protected]
EKAW 201016 of 20
WeST
Comparison in OWL
SA' ≡ Ordered
⊓ Insured
SA1
' ≡ Domestic ⊓ Free
SA1
' ⊑ SA'
SA ≡ Ordered
![Page 17: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/17.jpg)
Gerd Grö[email protected]
EKAW 201017 of 20
WeST
Reasoning for Validation
Reduction of States and Transitions
on the reduced sets
S''S'' and T'' T''
Subsumption checking
compared to S S and T T
![Page 18: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/18.jpg)
Gerd Grö[email protected]
EKAW 201018 of 20
WeST
Reduction
Validation of Extensions
Remove additional states Remove additional transitions Replace transitions by super-transitions
⇒ S'' and T''
![Page 19: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/19.jpg)
Gerd Grö[email protected]
EKAW 201019 of 20
WeST
Subsumption Checking
Valid if
1. For each state S'' in S''S'' there is a state S in SS:
S'' ⊑ S
2. For each transition T'' in T''T'' there is a transition T in TT:
T'' ⊑ T
![Page 20: Specialization and Validation of Statecharts in OWL](https://reader033.vdocuments.mx/reader033/viewer/2022051412/54c661e94a79594b538b46a6/html5/thumbnails/20.jpg)
Gerd Grö[email protected]
EKAW 201020 of 20
WeST
Conclusion
Adopted extension and refinement rules
Validation:
Representation in OWL and reduction
use concept subsumption checking in OWL