This paperoperationalizes correctness for Web service compositions. It also proposes a requirementsframework for service-oriented modeling techniques so that correctness can beshown by verification and Web service compositions can be modeled intuitively.