An Approach for Bridging the Gap Between Business Rules and the - - PowerPoint PPT Presentation

▶
an approach for bridging the gap between business rules
SMART_READER_LITE
LIVE PREVIEW

An Approach for Bridging the Gap Between Business Rules and the - - PowerPoint PPT Presentation

May 15, 2023 172 likes •414 views

Faculty of Computer Science , Institute for Software and Multimedia Technology, Chair of Software Engineering An Approach for Bridging the Gap Between Business Rules and the Semantic Web Birgit Demuth Hans-Bernhard Liebau Orlando 2007-10-26

slide-1
SLIDE 1

An Approach for Bridging the Gap Between Business Rules and the Semantic Web

Birgit Demuth · Hans-Bernhard Liebau

Faculty of Computer Science , Institute for Software and Multimedia Technology, Chair of Software Engineering

Orlando 2007-10-26

slide-2
SLIDE 2

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 2 of 14

Nature of the Task – Mapping

Semantic Web SBVR SBVR

  • OMG Specification, since 2006
  • Semantics of Business Vocabularies and Business Rules
  • essentially based on first order and modal logic
  • orientation on the language of business people

Semantic Web (Vision, W3C Standards)

  • based on various logics
  • orientation on machine processing
  • f logic-based knowledge

?

slide-3
SLIDE 3

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 3 of 14

Content

  • 1. Motivation
  • 2. Source Language SBVR
  • model driven context
  • example
  • 3. Targeting Semantic Web
  • language selection

(OWL, R2ML)

  • 4. Mapping
  • procedure
  • examples
  • 5. Summary and Outlook
slide-4
SLIDE 4

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 4 of 14

to to

to

SBVR in the MDA context

"MDA Big Picture" following [Schacher]

SBVR SemWeb expressive power ↓ expressive power ↑ – An Example for "Model Driven Integrity Engineering" (MDIE) –

slide-5
SLIDE 5

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 5 of 14

Example: Domain Model in SBVR

Vocabulary

employee ... manager Definition employee that manages others General concept employee Synonym supervisor employee1 is under employee2 Synonymous Form employee2 over employee1

Rules

MC No Selfmanagement Rule Statement It is prohibited that an employee is a manager over the employe

– following [Baisley], fragments –

slide-6
SLIDE 6

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 6 of 14

Semantic Web Overview

  • RuleML
  • R2ML (REWERSE)
  • ...
  • W3C:

SWRL proposal RIF (until 2009)

Semantic Web Stack (Version 2002) [Berners-Lee]; adapted

standardizations finalized (since 2004)

slide-7
SLIDE 7

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 7 of 14

Splitting Transformation, Target Languages

slide-8
SLIDE 8

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 8 of 14

Semantic Web Overview

  • RuleML
  • R2ML (REWERSE)
  • ...
  • W3C:

SWRL proposal RIF (until 2009)

Semantic Web Stack (Version 2002) [Berners-Lee]; adapted

standardisations finalized (since 2004)

slide-9
SLIDE 9

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 9 of 14

Mapping Procedure and Prototyping

mapping

S T t s

run

Manually creating target document (example model) Providing metamodels for used modelling languages

  • Eclipse Modelling

Framework (EMF) Defining schematic Transformations

  • generalization of mappings
  • currently about 20% of SBVR covered
  • Transformation tool: Together for Eclipse

Generating target document

  • validation, usage in future
slide-10
SLIDE 10

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 10 of 14

Transformation Chain

slide-11
SLIDE 11

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 11 of 14

Example: Mapping of Vocabulary

SBVR OWL (ODM)

slide-12
SLIDE 12

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 12 of 14

alethic deontic deontic alethic deontic

  • 1. Integrity rules (in SBVR having modality, explicitly described)

It is necessary that... r2ml::AlethicIntegrityRule It is possible that... no mapping possible It is obligatory that... r2ml::DeonticIntegrityRule It is prohibited that... It is permitted that... no mapping possible

  • 2. Derivation rules (in SBVR implicitly described)

e.g. via closed definitions not considered here

Rule Mapping

slide-13
SLIDE 13

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 13 of 14

Example: Deontic Rule to R2ML

<RuleBase externalVocabularyID=...> <ruleSet xsi:type="IntegrityRuleSet"> ... <integrityRule xsi:type=DeonticIntegrityRule> ... <quantifiedFormula xsi:type="ExistentiallyQuantifiedFormula"> <objectVariable classID="manager" name="e2"/> ... <logicalFormula xsi:type="Conjunction"> ... <logicalFormula xsi:type="ObjectDescriptionAtom" classID="employee-over-employee"> <objectSlot referencePropertyID="employee-over-employee-role1"> <object> <objectTerm xsi:type="ObjectVariable" name="e2"/>

It is prohibited that an employee is a manager over the employee.

deontic¬∃e

1 employee ∃e 2 manager ( thing is thing (e 1,e 2) | employee over employee (e 2,e 1) )

slide-14
SLIDE 14

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 14 of 14

  • Conclusion

– mapping approach is suitable (SBVR → Semantic Web) – prototype extensible (conceptually, EMF, Together QVT) – loss in expressive power (anticipated)

  • Vision

– excellent opportunities for automating SBVR-specified business rules – by efficient transformer tools via the Semantic Web (OWL, RIF)

Summary and Outlook

slide-15
SLIDE 15

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 15 of 14

Example: Mapping of Vocabulary

SBVR OWL (ODM)

slide-16
SLIDE 16

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 16 of 14

  • Depiction

following QVT (graphical syntax of the QVT relational language)

  • For element

and attribute names see metamodels

Mapping Concept: SBVR FactType

slide-17
SLIDE 17

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 17 of 14

Example: Domain Fact Type in SBVR graphically

– role and placeholder linkage simplified –

slide-18
SLIDE 18

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 18 of 14

Example: Domain Model in XMI

<xmi...> <esbvr:Thing xmi:id="employee-is-under-employee-fact-type"/> <esbvr:Thing xmi:id="employee-is-under-employee-sentential-form"/> ... <esbvr:Extension xmi:id="employee-is-under-employee-roles" element="employee-is-under-employee-role1..."/> <esbvr:Text xmi:id="t-employee-is-under-employee" value="employee is under employee"/> ... <sbvr:fact-type-has-role fact-type="employee-is-under-employee-fact-type" role="employee-is-under-employee-roles"/> <sbvr:fact-type-has-form-of-expression concept="employee-is-under-employee-fact-type" form-of-expression="employee-is-under-employee-sentential-form"/> <sbvr:representation-has-expression representation="employee-is-under-employee-sentential-form" expression="t-employee-is-under-employee"/> ... </xmi:xmi>

([Baisley], fragments)

slide-19
SLIDE 19

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 19 of 14

Source Metamodel: SBVR

(EMF implementation, fragment)

slide-20
SLIDE 20

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 20 of 14

Intermediate Metamodel: SBVR2

SBVR fact types embedded into the context of typed nodes standing for noun concepts – thinner und deeper class hierarchy – transformation: code simplification, performance ↑

(fragment)

slide-21
SLIDE 21

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 21 of 14

Target Metamodel: ODM

(EODM implementation, fragment)

slide-22
SLIDE 22

Orlando, RuleML 2007-10-26 Birgit Demuth · Hans-Bernhard Liebau Slide 22 of 14

Target Metamodel: R2ML

(EMF implementation, fragment)