Home > Research > Publications & Outputs > An integrated formal model for context-Aware sy...

Research

Links

Text available via DOI:

Keywords

View graph of relations

An integrated formal model for context-Aware systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

An integrated formal model for context-Aware systems. / Cho, E.-S.; Yoon, T.-S.; Choi, J.-H. et al.
Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE, 2013. p. 163-168.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Cho, E-S, Yoon, T-S, Choi, J-H, Paik, J-Y & Helal, S 2013, An integrated formal model for context-Aware systems. in Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE, pp. 163-168. https://doi.org/10.1109/COMPSACW.2013.40

APA

Cho, E-S., Yoon, T-S., Choi, J-H., Paik, J-Y., & Helal, S. (2013). An integrated formal model for context-Aware systems. In Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual (pp. 163-168). IEEE. https://doi.org/10.1109/COMPSACW.2013.40

Vancouver

Cho E-S, Yoon T-S, Choi J-H, Paik J-Y, Helal S. An integrated formal model for context-Aware systems. In Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE. 2013. p. 163-168 doi: 10.1109/COMPSACW.2013.40

Author

Cho, E.-S. ; Yoon, T.-S. ; Choi, J.-H. et al. / An integrated formal model for context-Aware systems. Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE, 2013. pp. 163-168

Bibtex

@inproceedings{48dd610f1cb64ae6bf5ade2643a68121,
title = "An integrated formal model for context-Aware systems",
abstract = "Context-Aware applications should consider the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. This makes it not so straightforward to understand applications and to achieve the quality of applications, without well-defined formal model adequate to the intended goals. In this paper, we propose a formal model for context aware system, which provides device behaviors with temporal features, enriched with commonly used categorization of context. Thus this model enables integrated management of the interconnected devices with context information for a context-Aware system, so as to be employed for the critical purposes like safety enhancement. {\textcopyright} 2013 IEEE.",
keywords = "conflict analysis, context-Aware systems, formal semantics, model based programming, programming languages, Conflict analysis, Context aware applications, Context information, Context-aware systems, Formal Semantics, Integrated management, Model-based programming, Safety enhancement, Complex networks, Computer programming languages, Semantics, Information management",
author = "E.-S. Cho and T.-S. Yoon and J.-H. Choi and J.-Y. Paik and Sumi Helal",
year = "2013",
doi = "10.1109/COMPSACW.2013.40",
language = "English",
pages = "163--168",
booktitle = "Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - An integrated formal model for context-Aware systems

AU - Cho, E.-S.

AU - Yoon, T.-S.

AU - Choi, J.-H.

AU - Paik, J.-Y.

AU - Helal, Sumi

PY - 2013

Y1 - 2013

N2 - Context-Aware applications should consider the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. This makes it not so straightforward to understand applications and to achieve the quality of applications, without well-defined formal model adequate to the intended goals. In this paper, we propose a formal model for context aware system, which provides device behaviors with temporal features, enriched with commonly used categorization of context. Thus this model enables integrated management of the interconnected devices with context information for a context-Aware system, so as to be employed for the critical purposes like safety enhancement. © 2013 IEEE.

AB - Context-Aware applications should consider the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. This makes it not so straightforward to understand applications and to achieve the quality of applications, without well-defined formal model adequate to the intended goals. In this paper, we propose a formal model for context aware system, which provides device behaviors with temporal features, enriched with commonly used categorization of context. Thus this model enables integrated management of the interconnected devices with context information for a context-Aware system, so as to be employed for the critical purposes like safety enhancement. © 2013 IEEE.

KW - conflict analysis

KW - context-Aware systems

KW - formal semantics

KW - model based programming

KW - programming languages

KW - Conflict analysis

KW - Context aware applications

KW - Context information

KW - Context-aware systems

KW - Formal Semantics

KW - Integrated management

KW - Model-based programming

KW - Safety enhancement

KW - Complex networks

KW - Computer programming languages

KW - Semantics

KW - Information management

U2 - 10.1109/COMPSACW.2013.40

DO - 10.1109/COMPSACW.2013.40

M3 - Conference contribution/Paper

SP - 163

EP - 168

BT - Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual

PB - IEEE

ER -