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 ConcurTask...
详细信息
ISBN:
(纸本)9789897582837
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.
暂无评论