TY - GEN
T1 - SAVE
T2 - 20th IEEE International Enterprise Distributed Object Computing Workshop, EDOCW 2016
AU - Choe, Yeongbok
AU - Lee, Sunghyeon
AU - Lee, Moonkun
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/9/28
Y1 - 2016/9/28
N2 - This paper presents a visual environment, called SAVE, to model IoT systems with dynamic and static properties. Firstly, the dynamic properties, such as operational requirements, of the systems are specified with a process algebra, called -Calculus, and, secondly the static properties, such as safety requirements, of the systems are specified with a first-order logic, called GTS Logic. Once specifications are done, the static properties are verified on the dynamic properties by checking whether or not the static properties are valid for the simulation of the systems based on the dynamic properties. SAVE provides a set of visual tools to specify both dynamic and static properties of the systems, simulate the systems based on the dynamic properties, and to verify the static properties on the dynamic properties from the simulation. SAVE is developed on the ADOxx meta-modeling platform. It can be considered one of the most innovative visual tools to model IoT systems for both dynamic and static properties of the systems and to verify the validity of the static properties on the dynamic properties.
AB - This paper presents a visual environment, called SAVE, to model IoT systems with dynamic and static properties. Firstly, the dynamic properties, such as operational requirements, of the systems are specified with a process algebra, called -Calculus, and, secondly the static properties, such as safety requirements, of the systems are specified with a first-order logic, called GTS Logic. Once specifications are done, the static properties are verified on the dynamic properties by checking whether or not the static properties are valid for the simulation of the systems based on the dynamic properties. SAVE provides a set of visual tools to specify both dynamic and static properties of the systems, simulate the systems based on the dynamic properties, and to verify the static properties on the dynamic properties from the simulation. SAVE is developed on the ADOxx meta-modeling platform. It can be considered one of the most innovative visual tools to model IoT systems for both dynamic and static properties of the systems and to verify the validity of the static properties on the dynamic properties.
KW - ADOxx
KW - GTS Logic
KW - SAVE
KW - Specification
KW - Verification
KW - Visualization
KW - δ-Calculus
UR - https://www.scopus.com/pages/publications/84992562123
U2 - 10.1109/EDOCW.2016.7584384
DO - 10.1109/EDOCW.2016.7584384
M3 - Conference paper
AN - SCOPUS:84992562123
T3 - Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOCW
SP - 269
EP - 276
BT - Proceedings - 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop, EDOCW 2016
A2 - Rinderle-Ma, Stefanie
A2 - Pires, Luis Ferreira
A2 - Dijkman, Remco
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 5 September 2016 through 9 September 2016
ER -