Ontology-Based Optimization for Systems Engineering

  • Dominique ErnadoteEmail author
Conference paper


Model-Based Systems Engineering techniques used with decriptive metamodel such as NAF, SysML or UML often fails to provide quick analyses of huge problem spaces. This is generally compensated by Operations Research technique supporting the resolution of constraint-based problems. This paper shows how both perspectives can be combined in a smooth continuous bridge filling the gap between the two universes whilst hiding the operations researchs complexity for the modelers and automating the exploration of a very huge problem space for the finding of optimized solutions.


MBSE Model-Based Systems Engineering Systems engineering Operations research 



I warmly thank Thierry Benoist from the LocalSolver company for his precious help regarding the constraints implementation. I also thank Erwan Beurier from IMT Atlantiques (Institut Mines-Telecom Bretagne, France) for his first implementation of the MEGA to LocalSolver converter.


  1. 1.
    Benoist, T., Estellon, B., Gardi, F., Megel, R., Nouioua, K.: Localsolver 1. x: a black-box local-search solver for 0-1 programming. 4OR Q. J. Oper. Res. 9(3), 299–316 (2011)Google Scholar
  2. 2.
    BKCASE. Sebok, guide to the systems engineering body of knowledge.
  3. 3.
    Czarnecki, K., Grünbacher, P., Rabiser, R., Schmid, K., Wąsowski, A.: Cool features and toughdecisions: a comparison of variability modeling approaches. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, pp. 173–182. ACM (2012)Google Scholar
  4. 4.
    Dumitrescu, C.: CO-OVM: a practical approach to systems engineering variability modeling. Université Panthéon-Sorbonne - Paris I, Theses (2014)Google Scholar
  5. 5.
    Dupin, N.: Modélisation et résolution de grands problèmes stochastiques combinatoires. Ph.D. thesis, Université Lille 1, Laboratoire Cristal (2015)Google Scholar
  6. 6.
    Ernadote, D.: An ontology mindset for system engineering. In: 2015 1st IEEE International Symposium on Systems Engineering (ISSE), pp. 454–460. IEEE (2015)Google Scholar
  7. 7.
    Ernadote, D.: Ontology reconciliation for system engineering. In: 2016 IEEE International Symposium on Systems Engineering (ISSE), pp. 1–8. IEEE (2016)Google Scholar
  8. 8.
    Estellon, B., Gardi, F., Nouioua, K.: Two local search approaches for solving real-life car sequencing problems. Eur. J. Oper. Res. 191(3), 928–944 (2008)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Hammami, O.: Multiobjective optimization of collaborative process for modeling and simulation-\(<\) q, r, t. In: 2015 IEEE International Symposium on Systems Engineering (ISSE), pp. 446–453. IEEE (2015)Google Scholar
  10. 10.
    Hammami, O., Houllier, M.: Rationalizing approaches to multi-objective optimization in systems architecture design. In: 2014 8th Annual IEEE Systems Conference (SysCon), pp. 407–410. IEEE (2014)Google Scholar
  11. 11.
    Haugen, Ø., Wasowski, A., Czarnecki, K.: CVL: common variability language. SPLC 2, 266–267 (2012)CrossRefGoogle Scholar
  12. 12.
    INCOSE: INCOSE System Engineering Handbook, 4 edn. (2015)Google Scholar
  13. 13.
    InfoGrid. What are the differences between a vocabulary, a taxonomy, a thesaurus, an ontology, and a meta-model?
  14. 14.
  15. 15.
    ISO: ISO/IEC 15288:2008, Systems and software engineering–System life cycle processes (2008)Google Scholar
  16. 16.
    Milewski, B.: Category theory for programmers (2014)Google Scholar
  17. 17.
    Morkevicius, A.: Integrated modeling: adopting architecture frameworks for model-based systems engineering.
  18. 18.
    NATO. Naf v4 meta-model (model) (2013).
  19. 19.
    OMG: Object Constraint Language, version 2.4, February 2014.
  20. 20.
    OMG: OMG Systems Modeling Language (OMG SysML ™), version 1.4. June 2015.
  21. 21.
    OMG: OMG Unified Modeling Language ™(OMG UML). Structured Classifiers, p. 181. OMG, March 2015.
  22. 22.
    Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: International Conference on Conceptual Modeling, pp. 449–464. Springer (1998)Google Scholar
  23. 23.
    Van Laarhoven, P.J., Aarts, E.H.: Simulated annealing. In: Simulated Annealing: Theory and Applications, pp. 7–15. Springer (1987)Google Scholar
  24. 24.
    Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling with UML (Addison-Wesley object technology series) (1998)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Airbus Defence and SpaceElancourtFrance

Personalised recommendations