TY - GEN
T1 - Process algebra to control nondeterministic behavior of enterprise smart iot systems with probability
AU - Song, Junsup
AU - Lee, Moonkun
N1 - Publisher Copyright:
© IFIP International Federation for Information Processing 2019.
PY - 2019
Y1 - 2019
N2 - Process algebra is one of the best suitable formal methods to model enterprise Smart IoT Systems with some uncertainty of risks. However, because of choice operations in process algebra, it is necessary to control nondeterministic behaviors of the systems. The process algebra, i.e., PAROMA, PACSR, tried to control the degree of selection in the choice operations with probability, but they didn’t have any notion of controlling nondeterminism in the systems, since they were based on static probability models only. In order to overcome the limitation, the paper presents a new formal method, called dTP-Calculus, extended from the existing dT-Calculus with dynamic properties on probability. Consequently, it will provide all the necessary probable features to determine the safe and secure range of the system behaviors. For implementation, the SAVE tool suite has been developed on the ADOxx Meta-Modeling Platform, including Specifier, Analyzer and Verifier.
AB - Process algebra is one of the best suitable formal methods to model enterprise Smart IoT Systems with some uncertainty of risks. However, because of choice operations in process algebra, it is necessary to control nondeterministic behaviors of the systems. The process algebra, i.e., PAROMA, PACSR, tried to control the degree of selection in the choice operations with probability, but they didn’t have any notion of controlling nondeterminism in the systems, since they were based on static probability models only. In order to overcome the limitation, the paper presents a new formal method, called dTP-Calculus, extended from the existing dT-Calculus with dynamic properties on probability. Consequently, it will provide all the necessary probable features to determine the safe and secure range of the system behaviors. For implementation, the SAVE tool suite has been developed on the ADOxx Meta-Modeling Platform, including Specifier, Analyzer and Verifier.
KW - ADOxx Meta-Modeling Platform
KW - dTP-Calculus
KW - Fault-tolerance
KW - Formal method
KW - Probability
KW - SAVE
KW - Smart IoT systems
UR - https://www.scopus.com/pages/publications/85076709060
U2 - 10.1007/978-3-030-35151-9_12
DO - 10.1007/978-3-030-35151-9_12
M3 - Conference paper
AN - SCOPUS:85076709060
SN - 9783030351502
T3 - Lecture Notes in Business Information Processing
SP - 184
EP - 196
BT - The Practice of Enterprise Modeling - 12th IFIP Working Conference, PoEM 2019, Proceedings
A2 - Gordijn, Jaap
A2 - Guédria, Wided
A2 - Proper, Henderik A.
PB - Springer
T2 - 12th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling, PoEM 2019
Y2 - 27 November 2019 through 29 November 2019
ER -