Combinatory process synthesis
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings |
Redaktører | Tiziana Margaria, Bernhard Steffen |
Antal sider | 16 |
Forlag | Springer Verlag |
Publikationsdato | 1 jan. 2016 |
Sider | 266-281 |
ISBN (Trykt) | 9783319471655 |
DOI | |
Status | Udgivet - 1 jan. 2016 |
Eksternt udgivet | Ja |
Begivenhed | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Imperial, Corfu, Grækenland Varighed: 10 okt. 2016 → 14 okt. 2016 |
Konference
Konference | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 |
---|---|
Land | Grækenland |
By | Imperial, Corfu |
Periode | 10/10/2016 → 14/10/2016 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 9952 LNCS |
ISSN | 0302-9743 |
ID: 230703115