@article{ART002397846},
author={wan-sik an},
title={A Study of Timed Automata for Self-Adaptive System},
journal={Journal of Knowledge Information Technology and Systems},
issn={1975-7700},
year={2018},
volume={13},
number={5},
pages={639-644},
doi={10.34163/jkits.2018.13.5.015}
TY - JOUR
AU - wan-sik an
TI - A Study of Timed Automata for Self-Adaptive System
JO - Journal of Knowledge Information Technology and Systems
PY - 2018
VL - 13
IS - 5
PB - Korea Knowledge Information Technology Society
SP - 639
EP - 644
SN - 1975-7700
AB - Many phenomenons and systems in real world can be adapted their behavior in reaction to a given usage situation, and using the possibilities of sensors. We are surrounded with a hugh number of communicating and interacting things. Such a system is characterized by being distributed with a smart device or component from a large class. In addition, many cellular phone applications are able to provide a context-aware behavior, in which expose more flexible service and conventional software APP. However, by changing conditions on the dynamic environment act in an undesire behavior on their system. And also, by the undesirable behavior, web services such as power cells and embedded systems can be rely on their resources. Moreover, It can also be caused by the failure of certain resources or nodes in their system that provide to the quality of service and accuracy. After all, Adaptive systems typically use information about their system environment to adapt themselves to certain usage situations. Accordingly, this paper is required newly design methodology for Self-Adaptive with enable to a various systems. For this reason, we design formal description exploration model-based architecture. Especially, we present to optimization with synthesizing and optimizing system level for self-adaptive system, as well as propose Formal specification method for designing self-adaptive system. Futhermore, we show a classification of big data with methodological approach, and provide useful implications with their formation and evolution method.
KW - Context-aware behavior;Self-Adaptive;Formal Description Exploration Model;Reconfiguration Architecture;Self-Adaptive System
DO - 10.34163/jkits.2018.13.5.015
ER -
wan-sik an. (2018). A Study of Timed Automata for Self-Adaptive System. Journal of Knowledge Information Technology and Systems, 13(5), 639-644.
wan-sik an. 2018, "A Study of Timed Automata for Self-Adaptive System", Journal of Knowledge Information Technology and Systems, vol.13, no.5 pp.639-644. Available from: doi:10.34163/jkits.2018.13.5.015
wan-sik an "A Study of Timed Automata for Self-Adaptive System" Journal of Knowledge Information Technology and Systems 13.5 pp.639-644 (2018) : 639.
wan-sik an. A Study of Timed Automata for Self-Adaptive System. 2018; 13(5), 639-644. Available from: doi:10.34163/jkits.2018.13.5.015
wan-sik an. "A Study of Timed Automata for Self-Adaptive System" Journal of Knowledge Information Technology and Systems 13, no.5 (2018) : 639-644.doi: 10.34163/jkits.2018.13.5.015
wan-sik an. A Study of Timed Automata for Self-Adaptive System. Journal of Knowledge Information Technology and Systems, 13(5), 639-644. doi: 10.34163/jkits.2018.13.5.015
wan-sik an. A Study of Timed Automata for Self-Adaptive System. Journal of Knowledge Information Technology and Systems. 2018; 13(5) 639-644. doi: 10.34163/jkits.2018.13.5.015
wan-sik an. A Study of Timed Automata for Self-Adaptive System. 2018; 13(5), 639-644. Available from: doi:10.34163/jkits.2018.13.5.015
wan-sik an. "A Study of Timed Automata for Self-Adaptive System" Journal of Knowledge Information Technology and Systems 13, no.5 (2018) : 639-644.doi: 10.34163/jkits.2018.13.5.015
