doi: 10.4304/jsw.3.2.1-14
Formalising Service-Oriented Design
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.
Index Terms—Service-Oriented Computing (SOC), formal model of software design, metrics, design methodology
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.
General Information
ISSN: 1796-217X (Online)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Mar 01, 2024 News!
Vol 19, No 1 has been published with online version [Click]