A Software Engineering Approach to Design and Development of Semantic Web Service Applications