Standard
Combinatory process synthesis. / Bessai, Jan; Dudenhefner, Andrej; Düdder, Boris; Martens, Moritz; Rehof, Jakob.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2016. p. 266-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Bessai, J, Dudenhefner, A
, Düdder, B, Martens, M & Rehof, J 2016,
Combinatory process synthesis. in T Margaria & B Steffen (eds),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9952 LNCS, pp. 266-281, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Imperial, Corfu, Greece,
10/10/2016.
https://doi.org/10.1007/978-3-319-47166-2_19APA
Bessai, J., Dudenhefner, A.
, Düdder, B., Martens, M., & Rehof, J. (2016).
Combinatory process synthesis. In T. Margaria, & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (pp. 266-281). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9952 LNCS
https://doi.org/10.1007/978-3-319-47166-2_19Vancouver
Bessai J, Dudenhefner A
, Düdder B, Martens M, Rehof J.
Combinatory process synthesis. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. 266-281. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
https://doi.org/10.1007/978-3-319-47166-2_19Author
Bessai, Jan ; Dudenhefner, Andrej ; Düdder, Boris ; Martens, Moritz ; Rehof, Jakob. / Combinatory process synthesis. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2016. pp. 266-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).
Bibtex
@inproceedings{583486601cdb4e06a8e48c920f97bad0,
title = "Combinatory process synthesis",
abstract = "We report on a type-theoretic method for functional synthesis of processes from repositories of components. Our method relies on the existing framework for composition synthesis based on combinatory logic, (CL)S. Simple types for BPMN 2.0 components and a taxonomy of domain specific concepts are used to assign types to BPMN 2.0 fragments and functional fragment constructors. Both serve as input for the automatic creation of meaningful processes. Staging synthesis into two levels provides a separation of concerns between the easy task of extracting fragments from existing processes and the more sophisticated task of deducing functional fragment transformations. We study the applicability of the described approach by synthesizing control processes for LEGO{\textregistered} Mindstorms{\textregistered} NXT robots deployed on the Activiti platform. We evaluate experimental results analyzing synthesized processes regarding correctness, variability and the time consumed for their creation by the (CL)S framework. Additionally, the steps necessary to target a different application domain are described.",
author = "Jan Bessai and Andrej Dudenhefner and Boris D{\"u}dder and Moritz Martens and Jakob Rehof",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-47166-2_19",
language = "English",
isbn = "9783319471655",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "266--281",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
note = "7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 ; Conference date: 10-10-2016 Through 14-10-2016",
}
RIS
TY - GEN
T1 - Combinatory process synthesis
AU - Bessai, Jan
AU - Dudenhefner, Andrej
AU - Düdder, Boris
AU - Martens, Moritz
AU - Rehof, Jakob
PY - 2016/1/1
Y1 - 2016/1/1
N2 - We report on a type-theoretic method for functional synthesis of processes from repositories of components. Our method relies on the existing framework for composition synthesis based on combinatory logic, (CL)S. Simple types for BPMN 2.0 components and a taxonomy of domain specific concepts are used to assign types to BPMN 2.0 fragments and functional fragment constructors. Both serve as input for the automatic creation of meaningful processes. Staging synthesis into two levels provides a separation of concerns between the easy task of extracting fragments from existing processes and the more sophisticated task of deducing functional fragment transformations. We study the applicability of the described approach by synthesizing control processes for LEGO® Mindstorms® NXT robots deployed on the Activiti platform. We evaluate experimental results analyzing synthesized processes regarding correctness, variability and the time consumed for their creation by the (CL)S framework. Additionally, the steps necessary to target a different application domain are described.
AB - We report on a type-theoretic method for functional synthesis of processes from repositories of components. Our method relies on the existing framework for composition synthesis based on combinatory logic, (CL)S. Simple types for BPMN 2.0 components and a taxonomy of domain specific concepts are used to assign types to BPMN 2.0 fragments and functional fragment constructors. Both serve as input for the automatic creation of meaningful processes. Staging synthesis into two levels provides a separation of concerns between the easy task of extracting fragments from existing processes and the more sophisticated task of deducing functional fragment transformations. We study the applicability of the described approach by synthesizing control processes for LEGO® Mindstorms® NXT robots deployed on the Activiti platform. We evaluate experimental results analyzing synthesized processes regarding correctness, variability and the time consumed for their creation by the (CL)S framework. Additionally, the steps necessary to target a different application domain are described.
UR - http://www.scopus.com/inward/record.url?scp=84993968386&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-47166-2_19
DO - 10.1007/978-3-319-47166-2_19
M3 - Article in proceedings
AN - SCOPUS:84993968386
SN - 9783319471655
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 266
EP - 281
BT - Leveraging Applications of Formal Methods, Verification and Validation
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer Verlag
T2 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Y2 - 10 October 2016 through 14 October 2016
ER -
