Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX Read chapter Read first chapter

2019 | OriginalPaper | Chapter

Ontology-Based Optimization for Systems Engineering

Author : Dominique Ernadote

Published in: Complex Systems Design & Management

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
previous chapter Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX
next chapter On-Time-Launch Capability for Ariane 6 Launch System
Literature
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)
2.
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)
4.
Dumitrescu, C.: CO-OVM: a practical approach to systems engineering variability modeling. Université Panthéon-Sorbonne - Paris I, Theses (2014)
5.
Dupin, N.: Modélisation et résolution de grands problèmes stochastiques combinatoires. Ph.D. thesis, Université Lille 1, Laboratoire Cristal (2015)
6.
Ernadote, D.: An ontology mindset for system engineering. In: 2015 1st IEEE International Symposium on Systems Engineering (ISSE), pp. 454–460. IEEE (2015)
7.
Ernadote, D.: Ontology reconciliation for system engineering. In: 2016 IEEE International Symposium on Systems Engineering (ISSE), pp. 1–8. IEEE (2016)
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)MathSciNetCrossRef
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)
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)
11.
Haugen, Ø., Wasowski, A., Czarnecki, K.: CVL: common variability language. SPLC 2, 266–267 (2012)CrossRef
12.
INCOSE: INCOSE System Engineering Handbook, 4 edn. (2015)
13.
14.
15.
ISO: ISO/IEC 15288:2008, Systems and software engineering–System life cycle processes (2008)
16.
Milewski, B.: Category theory for programmers (2014)
17.
18.
19.
20.
21.
22.
Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: International Conference on Conceptual Modeling, pp. 449–464. Springer (1998)
23.
Van Laarhoven, P.J., Aarts, E.H.: Simulated annealing. In: Simulated Annealing: Theory and Applications, pp. 7–15. Springer (1987)
24.
Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling with UML (Addison-Wesley object technology series) (1998)
Metadata
Title
Ontology-Based Optimization for Systems Engineering
Author
Dominique Ernadote
Copyright Year
2019
Book
Complex Systems Design & Management

Print ISBN: 978-3-030-04208-0

Electronic ISBN: 978-3-030-04209-7

Copyright Year: 2019

DOI
https://doi.org/10.1007/978-3-030-04209-7_2