Translating Task Models to State Machines

Andreas Wagner, Christian Prehofer

2016

Abstract

We present a new method to translate the established and well-known ConcurTaskTree (CTT) task modeling technique into state machines. For this purpose, we develop the concepts of partial state machines, Connectables and a connect operator, which form the theoretical framework for a new algorithm. For the translation, we develop and present a recursive, bottom-up algorithm, which exploits the inherent structure of CTTs and produces valid, partial state machines. This allows new development processes in the model-driven application and system development domain.

References

  1. Brüning, J., Dittmar, A., Forbrig, P., and Reichart, D. (2008). Getting SW engineers on board: Task modelling with activity diagrams. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4940 LNCS:175-192.
  2. Brüning, J., Kunert, M., and Lantow, B. (2012). Modeling and executing concurtasktrees using a uml and soilbased metamodel. In Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 7812, pages 43-48, New York, NY, USA. ACM.
  3. Eshuis, R. (2009). Reconciling statechart semantics. Science of Computer Programming, 74(3):65-99.
  4. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274.
  5. Luyten, K. and Clerckx, T. (2003). Derivation of a dialog model from a task model by activity chain extraction. Interactive Systems. Design . . . , pages 203-217.
  6. Omg (2004). UML 2.4.1 Superstructure Specification. October, 02(August):1-786.
  7. Paternò, F. (2000). Model-Based Design and Evaluation of Interactive Applications. Springer-Verlag London.
  8. Paternò, F. (2001). Task models in interactive software systems. Handbook of software engineering & knowledge engineering, pages 817-836.
  9. Paternò, F., Santoro, C., and Spano, L. D. (2012). Concur Task Trees (CTT).
  10. Pnueli, A. and Shalev, M. (1991). What is in a step: On the semantics of statecharts. 937:244-264.
  11. Sinnig, D., Chalin, P., and Khendek, F. (2013). Use case and task models: an integrated development methodology and its formal foundation. ACM Transactions on Software Engineering and Methodology (TOSEM), 22(3):27.
  12. Van Den Bergh, J. and Coninx, K. (2007). From Task to Dialog Model in the UML. In Task Models and Diagrams for User Interface Design, pages 98 - 111.
  13. Wagner, A. (2015). Multi-Device Extensions for CTT Diagrams and their Use in a Model-based Tool Chain for the Internet of Things. Master's thesis, TU München, Germany.
  14. Zhu, B., Zhang, S., and Wang, A. (2012). Towards a formal integrated model for function and user interface. Proceedings - 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, SNPD 2012, pages 275-280.
Download


Paper Citation


in Harvard Style

Wagner A. and Prehofer C. (2016). Translating Task Models to State Machines . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 201-208. DOI: 10.5220/0005681702010208


in Bibtex Style

@conference{modelsward16,
author={Andreas Wagner and Christian Prehofer},
title={Translating Task Models to State Machines},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={201-208},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005681702010208},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Translating Task Models to State Machines
SN - 978-989-758-168-7
AU - Wagner A.
AU - Prehofer C.
PY - 2016
SP - 201
EP - 208
DO - 10.5220/0005681702010208