doi: 10.4304/jsw.3.2.1-14
Formalising Service-Oriented Design
- RMIT University, School of Computer Science and Information Technology, Melbourne, Australia
Abstract
Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of service discovery and orchestration, business process modelling, and the semantic web. While these are all important aspects for moving towards the pervasive adoption of SOC, most existing work assumes the existence of black box services, with little attention given to how such services might be developed in a systematic manner. Furthermore, a precise description of what constitutes a service-oriented system is yet to be formally defined, and the overall impact of service-orientation on the software design process is not well understood. Therefore, this work presents a formal model covering design artefacts in service-oriented systems and their structural and behavioural properties. The model promotes a better understanding of service-oriented design concepts, and in particular, enables the definition of software metrics in an unambiguous, formal manner. Defining such a model and metrics is an initial step towards deriving a comprehensive service-oriented software design methodology.
Keywords
- Service-Oriented Computing (SOC)
- formal
How to Cite
Mikhail Perepletchikov, Caspar Ryan, Keith Frampton, and Heinz Schmidt, "Formalising Service-Oriented Design," Journal of Software, vol. 3, no. 2, pp. 1-14, 2008. https://doi.org/ 10.4304/jsw.3.2.1-14
Copyright & License
Copyright © 2008 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).