RGPS框架相关硕士博士期刊学术论文 - 信丰网

RGPS框架相关论文

RGPS过程层元模型正确性验证

利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-f......

期刊

RGPS框架 Promela建模 Spin模型检测工具过程层元模型线性时序逻辑 Role Goal Process Service（RGPS） framew

看过本文同时还关注