1 / 17

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. Operating a safety-critical system. Stress, fatigue, …. Procedure. Operator. System.

bona
Télécharger la présentation

xOWL – an Executable Modeling Language for Domain Experts

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. xOWL– an Executable Modeling Language for Domain Experts Laurent WOUTERS (EADS Innovation Works, France) Marie-Pierre GERVAIS (Université Paris Ouest, LIP6, France)

  2. xOWL – an Executable Modeling Language for Domain Experts Motivation: Example • Operating a safety-critical system Stress, fatigue, … Procedure Operator System Aircraftditchingprocedure:

  3. xOWL – an Executable Modeling Language for Domain Experts Motivation: Holistic Model-Based Approach to Testing Model Stress, fatigue, … Procedure Operator System Results scenario modifications Execute

  4. xOWL – an Executable Modeling Language for Domain Experts Motivation: Multiple Domain Experts Model Stress, fatigue, … Procedure Operator System Cognitive Psychologists Interaction Experts System Engineers

  5. xOWL – an Executable Modeling Language for Domain Experts Motivation: 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

  6. xOWL – an Executable Modeling Language for Domain Experts Knowledge 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)

  7. xOWL – an Executable Modeling Language for Domain Experts State 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.

  8. xOWL – an Executable Modeling Language for Domain Experts xOWL: Extending OWL2 • Axiom is the unit of information in an OWL2 ontology

  9. xOWL – an Executable Modeling Language for Domain Experts xOWL: Extending OWL2 • Axiom is the unit of information in an OWL2 ontology New axiom

  10. xOWL – an Executable Modeling Language for Domain Experts xOWL: State Machine Example xOWL State Machine Library

  11. xOWL – an Executable Modeling Language for Domain Experts xOWL 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

  12. xOWL – an Executable Modeling Language for Domain Experts Example of CAD Tool for User Interaction Expert Domain-Specific Concrete Syntax Domain-Specific Library Elements

  13. xOWL – an Executable Modeling Language for Domain Experts Conclusion • 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

  14. xOWL – an Executable Modeling Language for Domain Experts Perspectives • 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

  15. xOWL – an Executable Modeling Language for Domain Experts

  16. xOWL April 2011 Multi-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)

  17. xOWL April 2011 Multi-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

More Related