Upload
istvan-david
View
54
Download
0
Embed Size (px)
Citation preview
Engineering Process Transformationto Manage (In)consistency
Istvan David, Joachim Denil, Klaas Gadeyne, Hans Vangheluwe
Saint-Malo, 04.10.2016.
Engineering complex systems is hard!
Automated Guided Vehicle (AGV)An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
INCONSISTENCIES!
Engineering complex systems is hard!
Automated Guided Vehicle (AGV)An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
INCONSISTENCIES!
Engineering complex systems is hard!
Automated Guided Vehicle (AGV)
Check
CheckCheck
Check
CheckCheck
Check
Check
Check
CheckCheck
CheckCheck
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
INCONSISTENCIES!
Engineering complex systems is hard!
Automated Guided Vehicle (AGV)
Check
CheckCheck
Check
CheckCheck
Check
Check
Check
CheckCheck
CheckCheck
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
INCONSISTENCIES!
Engineering complex systems is hard!
Automated Guided Vehicle (AGV)
Check
CheckCheck
Check
CheckCheck
Check
Check
Check
CheckCheck
CheckCheck
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
INCONSISTENCIES!
Engineering complex systems is hard!
Automated Guided Vehicle (AGV)
Check
CheckCheck
Check
CheckCheck
Check
Check
Check
CheckCheck
CheckCheck
An inconsistency is present if two or more statements are made thatare not jointly satisfiable [such as a] failure of an equivalence test,non-conformance to a standard or constraint and the violation ofphysical or mathematical principles (Herzig)
INCONSISTENCIES!
To engineer complex systems
…correctly …efficiently== product satisfies required properties
== minimize the cost of the development process
Managing inconsistenciesRather than thinking about removinginconsistency we need to think about “managingconsistency” – Finkelstein
Rather than “managing consistency”, we needto think about ”managing inconsistency”– our approach
Characteri-zation Detection Tolerance Resolution Analysis
Managing inconsistenciesRather than thinking about removinginconsistency we need to think about “managingconsistency” – Finkelstein
Rather than “managing consistency”, we needto think about ”managing inconsistency”– our approach
Characteri-zation Detection Tolerance Resolution Analysis
Model the process
Characterize inconsistencies
Transform the process
Managing inconsistenciesRather than thinking about removinginconsistency we need to think about “managingconsistency” – Finkelstein
Rather than “managing consistency”, we needto think about ”managing inconsistency”– our approach
Characteri-zation Detection Tolerance Resolution Analysis
Model the process
Characterize inconsistencies
Transform the process
Goal 1: Managepotential inconsistencies
Goal 2: Minimize costs
Managing inconsistenciesRather than thinking about removinginconsistency we need to think about “managingconsistency” – Finkelstein
Rather than “managing consistency”, we needto think about ”managing inconsistency”– our approach
Model the process
Characterize inconsistencies
Transform the process
Goal 1: Managepotential inconsistencies
Goal 2: Minimize costsCheck
Check
Check
Characteri-zation Detection Tolerance Resolution Analysis
Weave in management patterns into the process
Managing inconsistenciesRather than thinking about removinginconsistency we need to think about “managingconsistency” – Finkelstein
Rather than “managing consistency”, we needto think about ”managing inconsistency”– our approach
Model the process
Characterize inconsistencies
Transform the process
Goal 1: Managepotential inconsistencies
Goal 2: Minimize costs
Quantify optimality
Apply optimization patterns on the process
Check
Weave in management patterns into the process
Check
Check
Characteri-zation Detection Tolerance Resolution Analysis
Explicitly modeled processes
• Appropriate process modeling formalism?
Model the process
Characterize inconsistencies
Transform the process
PROCESS PROPERTIES
Explicitly modeled processes
• Appropriate process modeling formalism?
Model the process
Characterize inconsistencies
Transform the process
Intent: The purpose of activity of enhancing the system, w.r.t. a property or a set of properties.
PROCESS PROPERTIES
Relationships
Intents
Explicitly modeled processes
• Appropriate process modeling formalism?
PROCESS PROPERTIES
Intent: The purpose of activity of enhancing the system, w.r.t. a property or a set of properties.
1. Activity a1 reads property p12. Activity a2 modifies property p23. p2 influences p1 (due to the dependencies in the semantic domain)
Model the process
Characterize inconsistencies
Transform the process
Relationships
Intents
Process transformation
Model the process
Characterize inconsistencies
Transform the process
We have now: characterization of inconsistencies
We still need: management patterns
Process transformation
Model the process
Characterize inconsistencies
Transform the process
We have now: characterization of inconsistencies
We still need: management patterns
Process transformation
Model the process
Characterize inconsistencies
Transform the process
We have now: characterization of inconsistencies
We still need: management patterns
Process transformation
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
We have now: characterization of inconsistencies
We still need: management patterns
Process transformation
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
We have now: characterization of inconsistencies
We still need: management patterns
Transform the process so that…• as many as possible inconsistencies are managed• the process is the most efficient one in terms of costs
Process transformation
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
We have now: characterization of inconsistencies
We still need: management patterns
Rule-based multi-objectivedesign space exploration (DSE)
Transform the process so that…• as many as possible inconsistencies are managed• the process is the most efficient one in terms of costs
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Graph queriesRewrite rules
Applying a management pattern==
executing a model transformation
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
(ideally) 0 matching graph patterns
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
(ideally) 0 matching graph patterns
Minimal cost
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
• Stochastic simulations: event queueing networks (EQN)
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
(ideally) 0 matching graph patterns
Minimal cost
• Deterministic simulations: fixed loop iterations
Graph queriesRewrite rules
LHSRHS
Managing inconsistencies
Model the process
Characterize inconsistencies
Transform the process
• Stochastic simulations: event queueing networks (EQN)
Inconsistencies Managementtechniques
Applying a management pattern==
executing a model transformation
(ideally) 0 matching graph patterns
Minimal cost
• Deterministic simulations: fixed loop iterations
Graph queriesRewrite rules
LHSRHS
Optimization rules
PrototypeEclipse-based tooling
Graphical modeler: SiriusMT, DSE: VIATRA
Tool interoperabilityProcess orchestration
PrototypeEclipse-based tooling
Graphical modeler: SiriusMT, DSE: VIATRA
Tool interoperabilityProcess orchestration
Future work
• Cost model refinement• Multiple dimensions/types of costs• Evolving costs as the process proceeds
• Resolution scheduling• Knowledge reuse by ontologies
Future work
• Cost model refinement• Multiple dimensions/types of costs• Evolving costs as the process proceeds
• Resolution scheduling• Knowledge reuse by ontologies• Tolerance
• Relaxing the constraintsin temporal and spatialdimensions
Tolerance: trade-off between these