Abstraction made Concrete Hans Vangheluwe (with Pieter Mosterman, - - PowerPoint PPT Presentation

Abstraction made Concrete

Hans Vangheluwe

(with Pieter Mosterman, Bentley Oakes, Ahsan Qamar, Ken Vanherpen and Joachim Denil http://msdl.cs.mcgill.ca/conferences/CAMPaM/2015/ discussions)

MPM4CPS Training School Tallinn, Estonia 21 March 2016

at the most appropriate level(s) of abstraction at the most appropriate level(s) of abstraction using the most appropriate formalism(s) using the most appropriate formalism(s) explicitly modelling processes explicitly modelling processes Enabler: (domain-specific) modelling language engineering, Enabler: (domain-specific) modelling language engineering, including model transformation including model transformation

Pieter J. Mosterman and Hans Vangheluwe. Computer Automated Multi-Paradigm Modeling: An Introduction. Simulation: T ransactions of the Society for Modeling and Simulation International , 80(9):433- 450, September 2004. Special Issue: Grand Challenges for Modeling and Simulation.

http://dsm-tp.org

Deployment onto AUTOSAR Automating transformations, modelling and simulation-based design-space exploration Co-simulation (MIL, SIL, HIL)

28 different modelling formalisms 50 transformations FTG+PM: An Integrated Framework for Investigating Model T ransformation Chains, Levi Lûcio, Sadaf Mustafjz, Joachim Denil, Hans Vangheluwe, Maris Jukss. Proceedings of the System Design Languages Forum (SDL) 2013, Montreal, Quebec. Lecture Notes in Computer Science (LNCS), Volume 7916, pp 182-202, 2013.

FTG+PM (model mgmt. … consistency)

Formalism Transformatjon

Transformatjon Defjnitjon (1 rule) Transformatjon Executjon

What is an Ontology?

8

Classifying The Real World

Ontological Reasoning in MBSE

Safe? Reaction?

Ontological World Linguistic World Real World (RW)

Linguistically conforms to Ontologically conforms to Conforms to Transforms Checks satisfaction Represents Requires

Reaction time < 1 ms

True

9 Based on: [4] B. Barroca, T. Kủhne, and H. Vangheluwe. Integratjng language and ontology engineering. In MPM ’14, volume 1237 of CEUR, pages 77–86, September 2014.

“Linguistjc” Reasoning (e.g., simulatjon)

Ontological reasoning in MBSE

10 Based on: [4] B. Barroca, T. Kủhne, and H. Vangheluwe. Integratjng language and ontology engineering. In MPM ’14, volume 1237 of CEUR, pages 77–86, September 2014.

Consistency Linguistjc – Ontological

Ontological Reasoning in MBSE

11

Three fundamental relationships in design processes5:

• Multi-Semantics (MS)
• Multi-Abstraction (MA)
• Multi-View (MV)

[5] K. Vanherpen et al. Ontological Reasoning for Consistency in the Design of Cyber-Physical Systems. Submitued to Cyber-Physical Productjon Systems.

Causes of Problems

Ontological Reasoning in MBSE Multj-View (MV) – example

12

Multj-View Example

Ontological Reasoning in MBSE Multj-View (MV)

PropII= f(pvII) PropI= f(pvI)

modelII [[.]] performance valueII (pvII) [[.]] performance valueI (PVI) modelI LTMII [[.]] SDII [[.]] SDI LTMI

Real World (RW) Ontological World Linguistic World

Holds Linguistically conforms to Conforms to Transforms Checks satisfaction Represents

13

Multj-View

Ontological Reasoning in MBSE Multj-Semantjcs (MS)

Real World (RW) PropII= f(pvII)

model [[.]] performance valueII (pvII) [[.]] performance valueI (pvI) LTM [[.]] SDII [[.]] SDI

PropI= f(pvI) Ontological World Linguistic World

Holds Linguistically conforms to Conforms to Transforms Checks satisfaction Represents

14

Multj-Semantjcs

Ontological Reasoning in MBSE Multj-Abstractjon (MA)

model [[.]] performance valueI (pvM) LTM [[.]] SDII [[.]] SDI [[.]] performance valueA(M) (pvA(M)) A(model)

PropA(M)= f(pvA(M)) PropM= f(pvM) Real World (RW) Ontological World Linguistic World

Holds Linguistically conforms to Conforms to Transforms Checks satisfaction Represents

15

Multj-Abstractjon

Power Window – Ontology

16

This results in an ontology which allows us to reason at the same level about:

– Multi-Semantics – Multi-Abstraction – Multi-View

Linking Linguistjc and Ontological

Conceptual world: M1 is an abstraction of M2 with respect to P if for all p in P: M1 |= p -> M2 |= p.

• Measure of correspondence - How the information from

experiments in the produced system relate to the information from experiments in the original system

• Precision - The level of detail in the correspondance
• Approximation - Planned or unplanned reduced precision
• Refjnement - The adding of new information in the produced

system

• Discrepancies - Features of the produced system where there

is insuffjcient precision

• Fidelity - A lack of discrepancies for all information of interest