Combinatory Process Synthesis

Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Martens, Moritz; Rehof, Jakob

doi:10.1007/978-3-319-47166-2_19

Cited by 12 publications

(6 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In general, SMT considers this structure of the programs, whereas components in (CL)S contain domain-specific details. Combinatory logic with intersection types is a Turing complete formalism that allows to define semantic taxonomies based on subtyping [9].…”

Section: Resultsmentioning

confidence: 99%

“…The underlying type system is well suited to express feature vectors of programs and software components. A user-specified repository Γ includes typed combinators that represent software components (c : σ) where c is the component name and σ is an intersection type [9,8].…”

Section: Introductionmentioning

confidence: 99%

“…The Combinatory Logic Synthesizer (CL)S is a synthesis framework based on a type inhabitation algorithm for combinatory logic with intersection types [26,9]. The algorithm searches for terms that are formed from the combinators and have a given target type τ .…”

Section: Introductionmentioning

confidence: 99%

“…The algorithm searches for terms that are formed from the combinators and have a given target type τ . (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%

See 3 more Smart Citations

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

Kallat

Schäfer

Vasileva

2019

Electron. Proc. Theor. Comput. Sci.

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

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

Kallat

Schäfer

Vasileva

2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…The implementation of (CL)S provides a framework for the automatic composition of software components from domain-specific repositories [5,10,16]. Automatic composition is performed by answering the type inhabitation problem of relativized Combinatory Logic with intersection types [14] Γ ?…”

Section: Synthesizing Robot Paths With Typesmentioning

confidence: 99%

Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

Bessai

Roidl

Vasileva

2019

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

One of the ultimate goals of software engineering is to leave virtual spaces and move real things. We take one step toward supporting users with this goal by connecting a type-based synthesis algorithm, Combinatory Logic Synthesizer ((CL)S), and its IDE to a logistics lab environment. The environment is built and used by domain experts, who have little or no training in formal methods, and need to cope with large spaces of software, hardware and problem specific solution variability. It consists of a number of Cyber-Physical Systems (CPS), including wheel-driven robots as well as flying drones, and it has laser-based support to visualize their possible movements. Our work describes results on an experiment integrating the latter with (CL)S. Possibilities and challenges of working in the domain of logistics and in cooperation with its experts are outlined. Future research plans are presented and an invitation is made to join the effort of building better, formally understood, development tools for CPS-enabled industrial environments.

show abstract

A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways

Schäfer

Möller

Burmann

et al. 2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Combinatory Process Synthesis

Cited by 12 publications

References 18 publications

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

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

Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways

Contact Info

Product

Resources

About