xowl an executable modeling language for domain experts n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
PowerPoint Presentation
Download Presentation

Loading in 2 Seconds...

play fullscreen
1 / 17

- PowerPoint PPT Presentation


  • 60 Views
  • Uploaded on

xOWL – an Executable Modeling Language for Domain Experts. Laurent WOUTERS (EADS Innovation Works, France) Marie-Pierre GERVAIS ( Université Paris Ouest , LIP6, France). Motivation: Example. Operating a safety-critical system. Stress, fatigue, …. Procedure. Operator. System.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about '' - bona


Download Now An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
xowl an executable modeling language for domain experts

xOWL– an Executable Modeling Language for Domain Experts

Laurent WOUTERS (EADS Innovation Works, France)

Marie-Pierre GERVAIS (Université Paris Ouest, LIP6, France)

motivation example
xOWL – an Executable Modeling Language for Domain ExpertsMotivation: Example
  • Operating a safety-critical system

Stress, fatigue, …

Procedure

Operator

System

Aircraftditchingprocedure:

motivation holistic model based approach to testing
xOWL – an Executable Modeling Language for Domain ExpertsMotivation: Holistic Model-Based Approach to Testing

Model

Stress, fatigue, …

Procedure

Operator

System

Results

scenario

modifications

Execute

motivation multiple domain experts
xOWL – an Executable Modeling Language for Domain ExpertsMotivation: Multiple Domain Experts

Model

Stress, fatigue, …

Procedure

Operator

System

Cognitive Psychologists

Interaction Experts

System Engineers

motivation collaborative modeling
xOWL – an Executable Modeling Language for Domain ExpertsMotivation: Collaborative Modeling
  • Multiple domain-specific perspectives on the same model
  • CAD[1] Tool for Domain A
  • Build Models
  • Test/Execute
  • Reasoning

Domain-SpecificConcreteSyntax

Expert in Domain A

  • CAD[1] Tool for Domain B
  • Build Models
  • Test/Execute
  • Reasoning

Domain-SpecificConcreteSyntax

Expert in Domain B

[1] Computer Assisted Design

knowledge manipulation in human sciences
xOWL – an Executable Modeling Language for Domain ExpertsKnowledge Manipulation in Human Sciences
  • Domain rules:
  • E.g.: “The short-term memory of a human is cut by half under stress”.

Inference rule

Reasoning

Complex domains and classification chains:

Memory Kind

classified by

Short-Term Memory

Multi-Level Modeling [1, 2]

classified by

Bill’s STM

[1] Kühne. (Mannheim University) Matters of (Meta-) Modeling(Soft. & Sys. Mod.)

[2] Atkinson, Kühne. (Mannheim University) The essence of MultilevelMetamodeling(UML ‘01)

state of the art
xOWL – an Executable Modeling Language for Domain ExpertsState of the Art

Kermeta [1]

OWL + SWRL [2, 3]

fUML [4]

Multi-LevelModeling

BehaviorModeling

Rules & Inferences

Executability

[1] Muller et al. (Triskell) Weaving Executability into Object-Oriented Meta-Languages (MoDELS 05)

[2] W3C. http://www.w3.org/TR/owl2-overview/

[3] W3C. http://www.w3.org/Submission/SWRL/

[4] G. Noyrit, S. Gérard, F. Terrier, and B. Selic. Consistent Modeling using Multiple UML Profiles. In MoDELS, volume 6394 of LNCS. Springer-Verlag, 2010.

xowl extending owl21
xOWL – an Executable Modeling Language for Domain ExpertsxOWL: Extending OWL2
  • Axiom is the unit of information in an OWL2 ontology

New axiom

xowl with multiple domain specific perspectives
xOWL – an Executable Modeling Language for Domain ExpertsxOWL with Multiple Domain-Specific Perspectives

User Interaction Expert

Cognitive Psychologist

..

CP Concrete Syntax

UI Concrete Syntax

..

xOWL Library for CP

xOWL Library for UI

LanguageEngineer

xOWL Core Abstract Syntax

Interpreter + Reasoner

conclusion
xOWL – an Executable Modeling Language for Domain ExpertsConclusion
  • Using xOWL and the surrounding infrastructure we can
      • Enable domain experts to model their knowledge themselves
      • Enable cross-domain collaboration based on models
  • Applied to our use case
      • Experts will be able to design the human-machine system as a whole
      • Improve the safety of critical systems
perspectives
xOWL – an Executable Modeling Language for Domain ExpertsPerspectives
  • Rules:
  • Rule language (SWRL) not integrated with xOWL
  • Future work: integration of xOWL language constructs within rules
  • CAD Tools:
  • Currently manually coded
  • Future work: automatic generation of CAD tools from the declarative definitions of concrete syntaxes
multi level modeling 1
xOWL April 2011Multi-LevelModeling (1)

Meta-Meta-model

Defines ►

Meta-language

  • “Linguistic instantiation relates a model with the definition of the language of which it is an expression”
  • “Ontological instantiation relates two models whose subjects are in the same domain but on different logical levels.”
  • [1]

Expressedusing►

Linguistic instance of

Meta-model

Defines ►

Language

Expressedusing►

Linguistic instance of

Model

Class

Ontological instance of

Object

Linguistic instance of

Linguistic instance of

Dog

Ontological instance of

My Dog

[1] Kühne. (Mannheim University) Matters of (meta-) Modeling(Soft. & Sys. Mod.)

[2] Atkinson, Kühne. (Mannheim University) The essence of multilevelmetamodeling(UML 01)

multi level modeling 2
xOWL April 2011Multi-LevelModeling(2)

Reduction of accidental complexity[1]:

Do not introduce additional unnecessary concepts.

Multi-level model

UML equivalent (2 levels)

[1] Atkinson, Kühne. The essence of multilevel metamodeling