UML-based Design and Verification Method for Developing Dependable Context-aware Systems

Naoyasu Ubayashi, Yasutaka Kamei

2013

Abstract

This paper proposes a verification mechanism for designing dependable context-aware systems. In our approach, a UML-based design model and actual execution trace data are translated into a logical formula. The validity of a design model, the correspondence between the design and the execution, and the non-functional properties can be verified automatically. For this checking, we use an SMT solver.

References

  1. A. Biere, M. Heule, H. V. M. and Walsh, T. (2009). Handbook of Satisfiability. Ios Pr Inc.
  2. ContextJ* (2011). http://soft.vub.ac.be/~pcostanz/ contextj.html.
  3. E. Clarke, O. G. and Peled, D. (1999). Model Checking. The MIT Press.
  4. Kramer, J. and Magee, J. (2007). Self-managed systems: an architectural challenge. In Future of Software Engineering (FOSE 2007), pp.259-268. IEEE.
  5. R. Hirschfeld, P. C. and Nierstrasz, O. (2008). Contextoriented programming. In Journal of Object Technology (JOT), vol. 7, no. 3, pp.125-151.
  6. S. Uchio, N. U. and Kamei, Y. (2011). Cjadviser: Smtbased debugging support for contextj*. In 3rd Workshop on Context-Oriented Programming (COP 2011). ACM.
  7. Ubayashi, N. and Kamei, Y. (2012). Uml4cop: Uml-based dsml for context-aware systems. In 12th Workshop on Domain-Specific Modeling (DSM 2012). ACM.
  8. Yices (2012). http://yices.csl.sri.com/.
Download


Paper Citation


in Harvard Style

Ubayashi N. and Kamei Y. (2013). UML-based Design and Verification Method for Developing Dependable Context-aware Systems . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 89-94. DOI: 10.5220/0004310600890094


in Bibtex Style

@conference{modelsward13,
author={Naoyasu Ubayashi and Yasutaka Kamei},
title={UML-based Design and Verification Method for Developing Dependable Context-aware Systems},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={89-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004310600890094},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - UML-based Design and Verification Method for Developing Dependable Context-aware Systems
SN - 978-989-8565-42-6
AU - Ubayashi N.
AU - Kamei Y.
PY - 2013
SP - 89
EP - 94
DO - 10.5220/0004310600890094