欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为保证基于OWL-S的Web服务组合的正确性和可靠性，验证组合服务的交互协议．采用一种三层体系结构思想，即以OWLS来组合服务，以GA模型为中间模型，以Promela模型为验证模型．设计和实现了服务组合模型到GA模型的转化，并将GA模型转化为Promela模型，最后利用SPIN工具完成验证。由于采用了中间模型．该方法具有极好的灵活性和可扩展性，并且较好地解决了Web服务的特征给模型验证带来挑战的问题。
英文摘要：
In order to ensure the correctness and reliability of Web services composition based on OWL-S, and verify the interaction protocol of Web services, we adopt a three-level architecture idea, use OWL-S to compose Web services, use a GA model as an intermediate representation, and use a Promela model as the verification model. We design and implement the translation from OWL-S Web services composition models to GA models, which are then translated into Promela models. Finally, we use SPIN to complete the verification. This method has good agility and expansibility be- cause of the intermediate representation. It also preferably overcomes the challenges brought by the characters of Web Services.
同期刊论文项目
同项目期刊论文
期刊信息
位置：