ITU

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Standard

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. / Seco, João Costa; Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs.

2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 2018. p. 75-84.

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Harvard

Seco, JC, Debois, S, Hildebrandt, TT & Slaats, T 2018, RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. in 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, pp. 75-84. https://doi.org/10.1109/EDOC.2018.00020

APA

Seco, J. C., Debois, S., Hildebrandt, T. T., & Slaats, T. (2018). RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. In 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) (pp. 75-84). IEEE. https://doi.org/10.1109/EDOC.2018.00020

Vancouver

Seco JC, Debois S, Hildebrandt TT, Slaats T. RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. In 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE. 2018. p. 75-84 https://doi.org/10.1109/EDOC.2018.00020

Author

Seco, João Costa ; Debois, Søren ; Hildebrandt, Thomas T. ; Slaats, Tijs. / RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 2018. pp. 75-84

Bibtex

@inproceedings{70171fa5b057411ea63c46185ecc9c90,
title = "RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta",
abstract = "Enterprise computing applications generally consists of several inter-related business processes linked together via shared data objects and events. We address the open challenge of providing formal modelling and implementation techniques for such enterprise computing applications, introducing the declarative, data-centric and event-driven process language RESEDA for REactive SEmi-structured DAta. The language is inspired by the computational model of spreadsheets and recent advances in declarative business process modelling notations. The key idea is to associate either input events or reactive computation events to the individual elements of semi-structured data and declare reactive behaviour as explicit reaction rules and constraints between these events. Moreover, RESEDA comes with a formal operational semantics given as rewrite rules supporting both formal analysis and persistent execution of the application as sequences of rewrites of the data. The data, along with the set of constraints, thereby at the same time constitutes the specification of the data, its behaviour and the run-time execution component. This key contribution of the paper is to introduce the RESEDA language, its formal execution semantics and give a sufficient condition for liveness of programs. We also establish Turing-equivalence of the language independently of the choice of underlying data expressions and exemplify the use of RESEDA by a running example of an online store. A prototype implementation of RESEDA and the examples of the paper are available on-line at http://dcr.tools/reseda.",
author = "Seco, {Jo{\~a}o Costa} and S{\o}ren Debois and Hildebrandt, {Thomas T.} and Tijs Slaats",
year = "2018",
doi = "10.1109/EDOC.2018.00020",
language = "English",
isbn = "978-1-5386-4140-8",
pages = "75--84",
booktitle = "2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)",
publisher = "IEEE",
address = "United States",

}

RIS

TY - GEN

T1 - RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

AU - Seco, João Costa

AU - Debois, Søren

AU - Hildebrandt, Thomas T.

AU - Slaats, Tijs

PY - 2018

Y1 - 2018

N2 - Enterprise computing applications generally consists of several inter-related business processes linked together via shared data objects and events. We address the open challenge of providing formal modelling and implementation techniques for such enterprise computing applications, introducing the declarative, data-centric and event-driven process language RESEDA for REactive SEmi-structured DAta. The language is inspired by the computational model of spreadsheets and recent advances in declarative business process modelling notations. The key idea is to associate either input events or reactive computation events to the individual elements of semi-structured data and declare reactive behaviour as explicit reaction rules and constraints between these events. Moreover, RESEDA comes with a formal operational semantics given as rewrite rules supporting both formal analysis and persistent execution of the application as sequences of rewrites of the data. The data, along with the set of constraints, thereby at the same time constitutes the specification of the data, its behaviour and the run-time execution component. This key contribution of the paper is to introduce the RESEDA language, its formal execution semantics and give a sufficient condition for liveness of programs. We also establish Turing-equivalence of the language independently of the choice of underlying data expressions and exemplify the use of RESEDA by a running example of an online store. A prototype implementation of RESEDA and the examples of the paper are available on-line at http://dcr.tools/reseda.

AB - Enterprise computing applications generally consists of several inter-related business processes linked together via shared data objects and events. We address the open challenge of providing formal modelling and implementation techniques for such enterprise computing applications, introducing the declarative, data-centric and event-driven process language RESEDA for REactive SEmi-structured DAta. The language is inspired by the computational model of spreadsheets and recent advances in declarative business process modelling notations. The key idea is to associate either input events or reactive computation events to the individual elements of semi-structured data and declare reactive behaviour as explicit reaction rules and constraints between these events. Moreover, RESEDA comes with a formal operational semantics given as rewrite rules supporting both formal analysis and persistent execution of the application as sequences of rewrites of the data. The data, along with the set of constraints, thereby at the same time constitutes the specification of the data, its behaviour and the run-time execution component. This key contribution of the paper is to introduce the RESEDA language, its formal execution semantics and give a sufficient condition for liveness of programs. We also establish Turing-equivalence of the language independently of the choice of underlying data expressions and exemplify the use of RESEDA by a running example of an online store. A prototype implementation of RESEDA and the examples of the paper are available on-line at http://dcr.tools/reseda.

U2 - 10.1109/EDOC.2018.00020

DO - 10.1109/EDOC.2018.00020

M3 - Article in proceedings

SN - 978-1-5386-4140-8

SP - 75

EP - 84

BT - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)

PB - IEEE

ER -

ID: 83725055