A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Formal Verification of Control and Operational Behaviors in Industrial Internet of Things Services Composition
2021
International Journal of Advanced Trends in Computer Science and Engineering
Industrial Internet of Things (IIoT) services composition rely on composing existing IoT services in industrial context in order to obtain an overall service with added value. The composite service's behavior is extremely influenced by the time, availability, and accuracy of the unitary services. Thus, it is extremely important to guarantee a provision of IIoT services as expected during the modeling phase. For this, we lie on formal verification to check all the possible scenarios before to
doi:10.30534/ijatcse/2021/381022021
fatcat:utjwigkhzjgyfp6qdfpew2fe74