Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method.
Guillaume BabinYamine Aït AmeurMarc PantelPublished in: IEEE Trans. Serv. Comput. (2017)
Keyphrases
- pairwise
- neural network
- similarity measure
- detection algorithm
- computational cost
- high precision
- synthetic data
- classification accuracy
- experimental evaluation
- significant improvement
- computational complexity
- objective function
- data sets
- input data
- computationally efficient
- web services
- formal specification
- formal methods