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

Naoyasu Ubayashi; Yasutaka Kamei

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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

Topics: Domain-Specific Modeling and Domain-Specific Languages; Model-Based Testing and Validation

In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 89-94, 2013 , Barcelona, Spain

Authors: Naoyasu Ubayashi and Yasutaka Kamei

Affiliation: Kyushu University, Japan

Keyword(s): Context-aware System, Context-Oriented Programming, Trace Analysis, SMT.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Domain-Specific Modeling and Domain-Specific Languages ; Languages, Tools and Architectures ; Model-Based Testing and Validation ; Model-Driven Software Development ; Software Engineering

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 52.14.8.34

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 - MODELSWARD; ISBN 978-989-8565-42-6; ISSN 2184-4348, SciTePress, pages 89-94. DOI: 10.5220/0004310600890094

@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 - MODELSWARD},
year={2013},
pages={89-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004310600890094},
isbn={978-989-8565-42-6},
issn={2184-4348},
}

TY - CONF

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