Article in Proceedings INPROC-2015-40

BibliographyWeiß, Andreas; Andrikopoulos, Vasilios; Hahn, Michael; Karastoyanova, Dimka: Rewinding and Repeating Scientific Choreographies.
In: C. Debruyne, H. Panetto et al. (ed.): On the Move to Meaningful Internet Systems: OTM 2015 Conferences.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 337-347, english.
Springer, October 2015.
DOI: 10.1007/978-3-319-26148-5_22.
Article in Proceedings (Conference Paper).
CR-SchemaC.2.4 (Distributed Systems)
H.4.1 (Office Automation)
KeywordsAd Hoc changes; Choreography; Workflow; Flexibility
Abstract

Scientists that use the workflow paradigm for the enactment of scientific experiments need support for trial-and-error modeling, as well as flexibility mechanisms that enable the ad hoc repetition of workflow logic for the convergence of results or error handling. Towards this goal, in this paper we introduce the facilities to repeat partially or completely running choreographies on demand. Choreographies are interesting for the scientific workflow community because so-called multi-scale/field (multi-*) experiments can be modeled and enacted as choreographies of scientific workflows. A prerequisite for choreography repetition is the rewinding of the involved participant instances to a previous state. For this purpose, we define a formal model representing choreography models and their instances as well as a concept to repeat choreography logic. Furthermore, we provide an algorithm for determining the rewinding points in each involved participant instance.

Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Project(s)SimTech
Allow Ensembles
Entry dateSeptember 1, 2015
   Publ. Institute   Publ. Computer Science