A Formal Model of Service-Oriented Design Structure

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.

[1]  Thomas Erl,et al.  Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services , 2004 .

[2]  Elwood S. Buffa,et al.  Graph Theory with Applications , 1977 .

[3]  Heinz W. Schmidt,et al.  Trustworthy components - compositionality and prediction , 2003, J. Syst. Softw..

[4]  Srinivasa Narayanan,et al.  SOA in the Real World - Experiences , 2005, ICSOC.

[5]  Douglas K. Barry,et al.  Web Services and Service-Oriented Architecture: The Savvy Manager's Guide , 2003 .

[6]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[7]  Mike P. Papazoglou,et al.  Introduction: Service-oriented computing , 2003, CACM.

[8]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[9]  Edward B. Allen.  Measuring graph abstractions of software: an information-theory approach , 2002, Proceedings Eighth IEEE Symposium on Software Metrics.

[10]  George Fernandez,et al.  Definition and validation of design metrics for distributed applications , 2003, Proceedings. 5th International Workshop on Enterprise Networking and Computing in Healthcare Industry (IEEE Cat. No.03EX717).

[11]  Munindar P. Singh,et al.  Service-Oriented Computing: Semantics, Processes, Agents , 2010 .

[12]  Ibm Redbooks,et al.  Patterns: Service Oriented Architecture And Web Services , 2004 .

[13]  James Pasley,et al.  How BPEL and SOA Are Changing Web Services Development , 2005, IEEE Internet Comput..

[14]  Keith Frampton,et al.  Towards the Definition and Validation of Coupling Metrics for Predicting Maintainability in Service-Oriented Designs , 2006, OTM Workshops.

[15]  Ingolf Krüger,et al.  Systematic development and exploration of service-oriented software architectures , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[16]  Zahir Tari,et al.  The Impact of Software Development Strategies on Project and Structural Software Attributes in SOA , 2005, OTM Workshops.

[17]  Keith Frampton,et al.  Comparing the Impact of Service-Oriented and Object-Oriented Paradigms on the Structural Properties of Software , 2005, OTM Workshops.

[18]  Mike P. Papazoglou,et al.  Service-Oriented Computing , 2008 .

[19]  Sea Ling,et al.  Describing Web Service Architectures through Design-by-Contract , 2003, ISCIS.

[20]  Sandro Morasca,et al.  Property-Based Software Engineering Measurement , 1996, IEEE Trans. Software Eng..

[21]  Massimo Mecella,et al.  Finite State Automata as Conceptual Model for E-Services , 2004, Trans. SDPS.

[22]  Sandro Morasca,et al.  Measuring attributes of concurrent software specifications in Petri nets , 1999, Proceedings Sixth International Software Metrics Symposium (Cat. No.PR00403).