Currently, formal methods is a precise mathematic way to model the specifications and verify the correctness of the properties. To solve the issues, first, we ...
Abstract—The implementation of Web services specifications is the key issue of Web services container which is the infrastructure of SOC.
Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li: Towards a Formal Verification Approach for Implementation of Web Services Specifications.
Apr 15, 2024 · In this paper, we present a proof and refinement based approach for the formal representation, verification and validation of Web Services ...
This formal specification is used to formally validate the consistency of the transactional behavior of the composite service model at design time, according to ...
Towards a Formal Verification Approach for Implementation of Web Services Specifications. Yang Q., Ma D., Zhao Y., Li Z. Expand. Publication type: Proceedings ...
In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition ...
Nov 30, 2019 · In this paper, we present a new approach for behavioral verification of SCA software architectures. More precisely , we propose a translation of ...
People also ask
What is formal verification specification?
What is formal verification in hardware design?
This paper presented a formal method of web service composition verification based on Petri net. Focus is given on BPEL4WS specification, of which both behavior ...
This paper proposes an approach for specifying, verifying and implementing composite services according to the Model-Driven Architecture principles.