Notice of Violation of IEEE Publication Principles: Applying Formal Methods to Compositionality Description of Web Service - Retraction Notice | RetractBase