Translating Multi-device Task Models to State Machines

Andreas Wagner, Christian Prehofer

2018

Abstract

This paper presents an approach for translating multi-device task models to a distributed execution model based on state machines. We consider an expressive extension to ConcurTaskTrees, called multi-device ConcurTaskTrees (MCTTs) as a modeling language for distributed multi-device applications. We use the device labeling operators Any and All, which specify if user interactions at runtime shall take place on one or all of a set of devices and extend the translation algorithm for “classical” CTT operators with translation rules for these multi-device operators in a distributed setting. Our algorithm exploits concurrent and hierarchical state machines for the execution and the concept of partial state machines during the translation.

Paper Citation

in Harvard Style

Wagner A. and Prehofer C. (2018). Translating Multi-device Task Models to State Machines.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 420-428. DOI: 10.5220/0006604704200428

in Bibtex Style

@conference{modelsward18,
author={Andreas Wagner and Christian Prehofer},
title={Translating Multi-device Task Models to State Machines},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={420-428},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006604704200428},
isbn={978-989-758-283-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Translating Multi-device Task Models to State Machines
SN - 978-989-758-283-7
AU - Wagner A.
AU - Prehofer C.
PY - 2018
SP - 420
EP - 428
DO - 10.5220/0006604704200428