Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic

Winkels, Jan; Graefenstein, Julian; Schäfer, Tristan; Scholz, David; Rehof, Jakob; Henke, Michael

doi:10.1007/978-3-030-03427-6_36

Cited by 9 publications

(7 citation statements)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An SPL is a collection (or family) of related programs that are based on a common software kernel but differ in features. A "feature" is defined as a "salient or distinguishable user-visible aspect, quality or characteristic of a software system" (Winkels et al, 2018). Feature models are visualized through feature diagrams and used throughout the product line development process.…”

Section: Using Software Synthesis Methods For Multi-criteria Problemsmentioning

confidence: 99%

“…(Wenzel et al, 2019) It is usually difficult to map complete systems for decision making taking into account all the framework conditions and details. Therefore, it is necessary to identify the relevant areas and criteria of the variant to be considered and to map and evaluate the variants with respect to these criteria, (Winkels et al, 2018) has already shown that an automated composition of solution alternatives is possible. Although the complete life cycle was not considered, it turned out that this is not necessary if the system can work with sufficient information.…”

Section: Complexity and Potential Of Multi-criteria Decisionsmentioning

confidence: 99%

“…This can be realized as a modular approach (Figure 3) analogous to the one in "Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatorial logic" (Winkels et al, 2018). Different (heating) systems are represented as a module with different inputs and outputs.…”

Section: Figure 2: Example Of a Feature Modelmentioning

confidence: 99%

“…With an automated generation of complete solutions, the total costs can be calculated immediately. As described in Winkels et al, 2018, the synthesis framework "Combinatory Logic Synthesizer" is used for this. An exact description of the underlying algorithm can be found in the paper.…”

Section: Figure 2: Example Of a Feature Modelmentioning

confidence: 99%

See 3 more Smart Citations

Multi-criteria decision support in construction management: life cycle-oriented investigation of the economic efficiency

Lenz¹,

Weist²,

Winkels³

et al. 2021

Proceedings of the 2021 European Conference on Computing in Construction

Self Cite

View full text Add to dashboard Cite

The focus of this paper is an efficient data usage in order to investigate the economic efficiency of a building element. Decisions in construction management are related to the life cycle of a building. In combination with numerous influencing factors there is a need for a decision support approach, which enables the user to ensure data is available and can be used efficiently to identify the best decision. To meet these challenges, this paper presents a data-based approach for combining different datasets to ensure a comprehensive base for multi-criteria decision support in construction management.

show abstract

Section: Using Software Synthesis Methods For Multi-criteria Problemsmentioning

confidence: 99%

Section: Complexity and Potential Of Multi-criteria Decisionsmentioning

confidence: 99%

Section: Figure 2: Example Of a Feature Modelmentioning

confidence: 99%

Section: Figure 2: Example Of a Feature Modelmentioning

confidence: 99%

See 2 more Smart Citations

Multi-criteria decision support in construction management: life cycle-oriented investigation of the economic efficiency

Lenz¹,

Weist²,

Winkels³

et al. 2021

Proceedings of the 2021 European Conference on Computing in Construction

Self Cite

View full text Add to dashboard Cite

show abstract

“…(CL)S is intended to be used for the automatic composition of software [5,6,9,15,21]. Besides the synthesis from software components, the (CL)S framework allows the synthesis of data structures, for instance of BPMN 2.0 processes [9] or planning processes [33].…”

Section: Introductionmentioning

confidence: 99%

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

Kallat

Schäfer

Vasileva

2019

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified repository. The framework yields a tree grammar that contains all composed terms that comply with a target type. Type specifications for (CL)S are based on combinatory logic with intersection types. Our approach translates the tree grammar into SMT functions, which allows the consideration of additional domain-specific constraints. We demonstrate the usefulness of our approach in several experiments.

show abstract

Digital Transformation Trends: Industry 4.0, Automation, and AI

Hessenkämper

Howar

Rausch

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic

Cited by 9 publications

References 37 publications

Multi-criteria decision support in construction management: life cycle-oriented investigation of the economic efficiency

Multi-criteria decision support in construction management: life cycle-oriented investigation of the economic efficiency

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

Digital Transformation Trends: Industry 4.0, Automation, and AI

Contact Info

Product

Resources

About