A Formal Model of Service-Oriented Design Structure

Abstract

Service-Oriented Computing (SOC) is a promising paradigm for developing enterprise software systems. The initial concepts of service-orientation have been described in the research and industry literature and software tools for assisting in the development of Service-Oriented (SO) applications are becoming more widely used. Nonetheless, a precise description of what constitutes a SO system is yet to be formally defined, and the design principles of SOC are not well understood. Therefore, this paper proposes a formal mathematical model covering design artefacts in service-oriented systems and their structural and behavioural properties. This model promotes a better understanding of SO concepts, and in particular, enables the definition of structural software metrics in an unambiguous, formal manner. Finally, although the proposed model is generic, it can be customised to support particular technologies as shown in this paper where the model was tailored for BPEL4WS implementation.

Design Time Validation of Service Orientation Principles Using Design Diagrams

“…In [14] [16] the work concentrates on utilizing the code available for defining the quality metrics of cohesion and coupling respectively. Citation [15] presents a formal method to design Services but is mostly restricted to cohesion and coupling metrics. We focus on detecting design defects at the early stages by utilizing design diagrams as sources of information for defining Service metrics.…”

Research challenges in the tension between features and services

“…A challenge is the integration of a feature-based type system [32,2] into a formal model of services [13,28].…”

A Formal Conceptual Framework for Dynamics Within Context of Component-Based System for Designing Robust Software Systems & Metrics

“…Further, these scholars, along with other scholars including [4], [13], [14], [20] and [22], have made significant contributions to the attempts in this direction.…”