Feature Models are Views on Ontologies Krzysztof Czarnecki 1 , Chang - - PowerPoint PPT Presentation

▶
feature models are views on ontologies
SMART_READER_LITE
LIVE PREVIEW

Feature Models are Views on Ontologies Krzysztof Czarnecki 1 , Chang - - PowerPoint PPT Presentation

Apr 22, 2023 134 likes •341 views

Feature Models are Views on Ontologies Krzysztof Czarnecki 1 , Chang Hwan Peter Kim 1 , and Karl Trygve Kalleberg 2 University of Waterloo 1 University of Bergen 2 Motivation Two domain modeling approaches Feature Modeling Ontology

slide-1
SLIDE 1

Feature Models are Views on Ontologies

Krzysztof Czarnecki1, Chang Hwan Peter Kim1, and Karl Trygve Kalleberg2 University of Waterloo1 University of Bergen2

slide-2
SLIDE 2

2

Motivation

  • Two domain modeling approaches

– Feature Modeling – Ontology Modeling

  • Both approaches are used to model

domain concepts

  • Two parts to the talk

– How do these approaches differ and when are they appropriate? – Can they be used together?

slide-3
SLIDE 3

3

Overview

 Feature Modeling

  • Ontology Modeling
  • Feature Models vs. Ontologies
  • Feature Models as Views on Ontologies
  • Related Work
  • Conclusion
slide-4
SLIDE 4

4

Feature Modeling

  • A domain-modeling technique for modeling

commonality and variability

Optional Mandatory Group Grouped OR XOR Manual Automatic Decided Undecided

slide-5
SLIDE 5

5

Overview

  • Feature Modeling

 Ontology Modeling

  • Feature Models vs. Ontologies
  • Feature Models as Views on Ontologies
  • Related Work
  • Conclusion
slide-6
SLIDE 6

6

Ontology Modeling

  • Rich form of concept modeling
  • At least two kinds of ontology modeling in

software engineering

– Description logic (e.g. OWL for Semantic Web) – Class modeling (e.g. UML)

  • Only class modeling considered in this talk

– Based on an ontological framework called Resource Event Agent (REA) for modeling business concepts – Profiled class diagram used

slide-7
SLIDE 7

7

Resource Event Agent (REA)

  • Benefits

– Requirements elicitation and completeness

  • Sale and cash receipt

– Increased stability due to focus on logical structure, not implementation detail

  • Order of events

Resource Event Agent

stockflow provider recipient duality

slide-8
SLIDE 8

8

REA Modeling

Agent (Enterprise) Resource Incremental Event Decremental Event Contract Term

Account Registration <<produce>>

1 1 0..1 0..1 0..* 0..*

Browsing Checkout <<use>> <<use>> Behaviour Tracking

0..1 0..1 0..* 0..*

<<dual>> <<dual>> SaleOrder <<produce>> 1 1 Backorder ProductReturn

0..1 0..1 1 1

<<term>> <<term>>

slide-9
SLIDE 9

9

Overview

  • Feature Modeling
  • Ontology Modeling

 Feature Models vs. Ontologies

  • Feature Models as Views on Ontologies
  • Related Work
  • Conclusion
slide-10
SLIDE 10

10

Notational Spectrum

implies

Complexity of constraints

Feature models Ontologies Basic +Attributes +Cloning +Reference attributes Rich

  • ntologies
slide-11
SLIDE 11

11

Essence of Feature Models

  • Essence of feature models distinguishes them from
  • ntologies

– Hierarchy: configuration and viewpoint organization – Variability

  • Optional features
  • Groups
  • Cardinalities
  • Extra constraints
slide-12
SLIDE 12

12

Renderings of Feature Models

  • More feature models than commonly

thought

slide-13
SLIDE 13

13

Overview

  • Feature Modeling
  • Ontology Modeling
  • Feature Models vs. Ontologies

 Feature Models as Views on Ontologies

  • Related Work
  • Conclusion
slide-14
SLIDE 14

14

Feature Models as Views on Ontologies

  • Feature modeling and ontology modeling are

complementary

– Project feature models from an existing ontology

  • Agile feature modeling
  • Ontology modularization

– Integrate existing feature models into an ontology

  • Agile ontology modeling
  • Feature model composition
  • Views defined by syntactic and semantic

mapping between feature models and ontologies

slide-15
SLIDE 15

15

Syntactic Mapping

Account Registration 1 1 0..1 0..1 0..* 0..* Browsing Checkout Behaviour Tracking 0..1 0..1 0..* 0..* SaleOrder 1 1 Backorder ProductReturn 0..1 0..1 1 1

  • Different traversals
  • Traceability links
  • Isomorphic
  • Feature-to-association
slide-16
SLIDE 16

16

Semantic Mapping

Account Registration 1 1 0..1 0..1 0..* 0..* Browsing Checkout Behaviour Tracking 0..1 0..1 0..* 0..* SaleOrder 1 1 Backorder ProductReturn 0..1 0..1 1 1

context Checkout inv: <<Checkout/…/RequiredRequired>> implies (self.account->size() =1)

Positive Negative Full

context Registration inv: not(<<Registration>>) implies (Registration.allInstances()->size() = 0) context SaleOrder inv: (<<Backorder>>) = (self.backorder->size() =1)

  • Evaluation time of constraints is unspecified
slide-17
SLIDE 17

17

Overview

  • Feature Modeling
  • Ontology Modeling
  • Feature Models vs. Ontologies
  • Feature Models as Views on Ontologies

 Related Work

  • Conclusion
slide-18
SLIDE 18

18

Related Work

  • Feature-dependency analysis (Lee et al., Zhang et

al.)

  • Semantics of feature models (Batory, Bomtemps)
  • Ontology views (Noy et al, Lieberherr et al.)
  • Viewpoint-oriented requirements engineering

(Sommerville et al.)

  • Early aspects (Baniassad et al.)
  • Feature-based configuration of models (Wasowski)
  • Expressing feature models in ontology languages

(Wagelaar)

slide-19
SLIDE 19

19

Overview

  • Feature Modeling
  • Ontology Modeling
  • Feature Models vs. Ontologies
  • Feature Models as Views on Ontologies
  • Related Work

 Conclusion

slide-20
SLIDE 20

20

Conclusion

  • From basic feature models to class diagrams
  • Hierarchy and variability as the essence of feature

models

– Feature models in disguise

  • Feature modeling and ontology modeling are

complementary

– View projection – View integration

  • Mapping between feature models and ontologies

– Syntactically, traversals, traceability links – Semantically, feature-based restriction