BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
A Model Driven Approach for automated generation of Service-oriented Holonic Manufacturing Systems
1. A Model Driven Approach for automated
generation of Service-oriented Holonic
Manufacturing Systems
Presented by:
Mohammed El Amin TEBIB Supervisors:
Dr. Olivier Cardin
Dr. Pascal Andre
2017-2018
2. ❖ Duration: 5 months
❖ Teams: Aelos & PSI
❖ Mission: Contributions to the development of a
production control software
❖ Publication: 8th Workshop on Service Orientation in
Holonic and Multi-Agent Manufacturing, Bergamo,
Italy, 2018
About the internship
3. A Model Driven Approach for automated
generation of Service-oriented Holonic
Manufacturing Systems
Outline
• Introduction
• Motivation
• Proposed Approach
• Contributions
• Conclusion & Perspectives
3
M.
TEBIB
-ALMA2017-
8. Context
Control software for manufacturing workshops
8
M.
TEBIB
-ALMA2017-
2-Control software
3-Communication
1-Workshop
9. Context
Challenges :
9
M.
TEBIB
-ALMA2017-
● Lack of control manufacturing softwares,
● The increasingly important needs of
companies in terms of flexibility, and
cost of production,
● Proof of the functional behaviour
correctness.
10. Context:
Holonic Manufacturing Systems (HMS)
10
SoHMS core concepts [Gamboa Quintanilla et al., 2016b]
M.
TEBIB
-ALMA2017-
Holons: autonomous entities that can cooperate with
each other to achieve common objectives.
11. Context:
Service Oriented Holonic Manufacturing Systems (SoHMS)
11
SoHMS core concepts [Gamboa Quintanilla et al., 2016b]
M.
TEBIB
-ALMA2017-
12. A Model Driven Approach for automated
generation of Service-oriented Holonic
Manufacturing Systems
Outline
• Context
• Motivation
• Proposed Approach
• Contributions
• Conclusion & Perspectives
12
M.
TEBIB
-ALMA2017-
14. Problem Statement:
Application Architecture
14
● No Modularity
○ Cross cutting concerns
(data, communications,
behaviours, scheduling...)
○ Specific Softwares.
○ Hard reconfiguration
160 classes,
1240 methods,
14802 lines of code
M.
TEBIB
-ALMA2017-
limitations and drawbacks …
15. Problem Statement (2):
Software Construction Process
15
● No Abstraction
○ Hard Evolution
○ Hard Verification
(Proving system
properties at
implementation level is
too expensive)
M.
TEBIB
-ALMA2017-
limitations and drawbacks …
16. A Model Driven Approach for automated
generation of Service-oriented Holonic
Manufacturing Systems
Outline
• Context
• Motivation
• Proposed Approach
• Contributions
• Conclusion & Perspectives
16
M.
TEBIB
-ALMA2017-
17. Proposed Approach:
Application Architecture
17
● Architecture Modularity
○ Three levels (Web,
SoHMS, Workshop)
○ Weak coupling between
components (Each level
have a separated
modules)
● Extendibility & variability
○ Separation of concerns(
specific and generic
parts)
○ Interoperability (Web
technologies)
M.
TEBIB
-ALMA2017-
18. Proposed Approach:
Software Construction Process
18
● Modelling Layer
○ Have an abstract
models
○ Verification in First
stages
○ Formal verification
(Hight level of
insurance)
● Engineering Layer
○ Automatic code
generation for specific
part
○ Generic Framework for
the SoHMS Processing
for Reuse.
M.
TEBIB
-ALMA2017-
19. A Model Driven Approach for automated
generation of Service-oriented Holonic
Manufacturing Systems
Outline
• Context
• Motivation
• Proposed Approach
• Contributions
• Conclusion & Perspectives
19
M.
TEBIB
-ALMA2017-
21. Toward a generic SoHMS framework:
Generic SoHMS Framework (Example of use…)
21
Example of generic use and implementation of resources
M.
TEBIB
-ALMA2017-