%0 Conference Proceedings
%T Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability
%+ Chonbuk National University
%A Song, Junsup
%A Lee, Moonkun
%Z Part 4: Methods for Architectures and Models
%< avec comité de lecture
%( Lecture Notes in Business Information Processing
%B 12th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM)
%C Luxembourg, Luxembourg
%Y Jaap Gordijn
%Y Wided Guédria
%Y Henderik A. Proper
%I Springer International Publishing
%3 The Practice of Enterprise Modeling
%V LNBIP-369
%P 184-196
%8 2019-11-27
%D 2019
%R 10.1007/978-3-030-35151-9_12
%K dTP-Calculus
%K Formal method
%K Probability
%K Fault-tolerance
%K Smart IoT systems
%K SAVE
%K ADOxx Meta-Modeling Platform
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 8
%Z WG 8.1
%2 https://inria.hal.science/hal-03231349/document
%2 https://inria.hal.science/hal-03231349/file/491976_1_En_12_Chapter.pdf
%L hal-03231349
%U https://inria.hal.science/hal-03231349
%~ SHS
%~ IFIP
%~ IFIP-TC
%~ IFIP-LNBIP
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-WG8-1
%~ IFIP-POEM
%~ IFIP-LNBIP-369