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.

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