Leveraging Eclipse for integrated model-based engineering of web service compositions