Journal
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Volume 136, Issue -, Pages -Publisher
ELSEVIER SCIENCE INC
DOI: 10.1016/j.jlamp.2023.100909
Keywords
Evolutionary computation; Crossover; Model-driven optimization; Graph; Category theory; Eclipse modeling framework
Categories
Ask authors/readers for more resources
This paper presents a generic crossover construction for graph-like structures, which can be used to implement crossover operators for models in model-driven optimization. The construction allows for the generation of new solution models through graph transformations and provides a set of crossover operators for specific problems and situations on graphs.
In model-driven optimization (MDO), domain-specific models are used to define and solve optimization problems via meta-heuristic search, often via evolutionary algorithms. Models are typically evolved using mutations, which can be formally specified as graph transformations. So far, only mutations have been used to generate new solution models from existing ones; a crossover mechanism has not yet been developed. In this paper, we present a generic crossover construction for graph-like structures, which can be used to implement crossover operators for models in MDO. We prove basic properties of our construction and show how it can be used to implement a whole set of crossover operators that have been proposed for specific problems and situations on graphs. In particular, we present a specialization of our construction to models defined in the Eclipse Modeling Framework.(c) 2023 Elsevier Inc. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available