%0 Journal Article
%T Towards a Mathematical Foundation for Service-Oriented Applications Design
%A Aliaksei Yanchuk
%A Alexander Ivanyukovich
%A Maurizio Marchese
%J Journal of Software
%D 2006
%I Academy Publisher
%R 10.4304/jsw.1.1.32-39
%X Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design methodology should be grounded on proper mathematical foundations, specific service-oriented principles, concepts and patterns. This paper contributes to the above goal proposing a lightweight, but complete, mathematical framework capable of capturing the essential components of service-oriented programming paradigm. To this end, we propose mathematical definitions for individual service, service-oriented environment and service-oriented application. Analysis of the properties and the functionalities of these components with respect to data processing mechanisms enables us to introduce a service-oriented application classification schema. For each application class we first identify specific properties and then discuss their use in a service-oriented design methodology.
%K Service Oriented Architecture
%K Service Oriented Applications
%K Service Oriented Design
%U http://ojs.academypublisher.com/index.php/jsw/article/view/1310