A formal approach for the specification and verification of a Trustworthy Human Resource Discovery mechanism in the Expert Cloud

作者：

Highlights：

• Proposing a method for Trustworthy Human Resource Discovery (THRD) in Expert Cloud.

• Verifying the compositions of THRD by behavioral models and state diagrams.

• Defining a Kripke structure of the compositions of THRD.

• Defining the properties of the compositions of THRD by temporal logic languages.

• Implementing the proposed model by NuSMV model checker.

摘要

•Proposing a method for Trustworthy Human Resource Discovery (THRD) in Expert Cloud.•Verifying the compositions of THRD by behavioral models and state diagrams.•Defining a Kripke structure of the compositions of THRD.•Defining the properties of the compositions of THRD by temporal logic languages.•Implementing the proposed model by NuSMV model checker.

论文关键词：Expert Cloud,Cloud computing,Formal verification,Trust,Resource discovery and model checking

论文评审过程：Available online 9 April 2015.

论文官网地址：https://doi.org/10.1016/j.eswa.2015.03.035