SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties

Imen Graja, Imen Loulou, Ahmed Hadj Kacem

2014

Abstract

As a piece of software continues to evolve, it inevitably becomes more complicated and harder to understand, maintain, reuse, evolve and improve. Software architecture has emerged as a solution to these issues particularly for complex systems. Having a correct software architecture is critical to the success of the design and the development of a system. In order to design a correct software architecture the concept of architectural styles is used. In this paper, we propose SOA-CoM, a formal approach for the correct modeling of service oriented architectural styles. We specify a set of communication schemas that define SOA structural and interaction properties. These schemas are modeled as UML graphs. In order to reuse them and to build the style, we define composition rules that can be applied to them. A software architect can then extend the designed style with non-functional properties (NFP) using extension rules. To ensure design correctness, we specify these communication schemas using the formal language ASL (ArchWare Style Language). All specifications are implemented and checked using the ASL Toolkit.

References

  1. Amir, R. and Zeid, A. (2004). A uml profile for service oriented architectures. In OOPSLA Companion, pages 192-193. ACM.
  2. Baresi, L., Heckel, R., Th”one, S., and Varr'o, D. (2006). Style-based modeling and refinement of serviceoriented architectures. Software and System Modeling, 5(2):187-207.
  3. Baresi, L. and Miraz, M. (2006). A distributed approach for the federation of heterogeneous registries. In ICSOC, pages 240-251.
  4. Cugola, G. and Nitto, E. D. (2008). On adopting contentbased routing in service-oriented architectures. Information & Software Technology, 50:22-35.
  5. Dillon, T. S., Wu, C., and Chang, E. (2007). Reference architectural styles for service-oriented computing. In Proceedings of the 2007 IFIP international conference on Network and parallel computing, NPC'07, pages 543-555, Berlin, Heidelberg. Springer-Verlag.
  6. Endrei, M., Ang, J., Arsanjani, A., Chua, S., Comte, P., Krogdahl, P., Luo, M., and Newling, T. (2004). Patterns: service-oriented architecture and web services. IBM Corp. Riverton, NJ, USA.
  7. IBM (2005). Ibm's soa foundation an architectural introduction and overview. Version 1.0.
  8. Krichen, I., Loulou, I., Dhouib, H., and Kacem, A. H. (2012). P/s-com+: A formal approach to design correct publish/subscribe architectural styles. In Perseil, I., Breitman, K., and Pouzet, M., editors, ICECCS, pages 179-188. IEEE Computer Society.
  9. Leymonerie, F. (December 2004). ASL language and tools for architectural styles. PhD thesis, University of Savoie.
  10. Loulou, I., Jmail, M., Drira, K., and Hadj Kacem, A. (March 2010). P/s-com : Building correct by design publish/subscribe architectural styles with safe reconfiguration. Journal of Systems and Software, 83(3):412-428.
  11. Mateescu, R. and Oquendo, F. (2006). Pi-aal: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. SIGSOFT Softw. Eng. Notes, 31(2):1-19.
  12. Monroe, R. T., Kompanek, A., Melton, R., and Garlan, D. (1997). Architectural styles, design patterns, and objects. Software, IEEE, 14(1):43-52.
  13. Sanz, M. L., Acun˜a, C. J., Cuesta, C. E., and Marcos, E. (2008). Defining service-oriented software architecture models for a mda-based development process at the pim level. In WICSA, pages 309-312.
  14. Sanz, M. L. and Marcos, E. (2012). Archimedes: A modeldriven framework for the specification of serviceoriented architectures. Inf. Syst., 37(3):257-268.
  15. Shaw, M. and Garlan, D. (1996). Software architecture. Perspectives on an emerging discipline. Prentice Hall Publishing.
  16. Tang, L., Dong, J., Peng, T., and Tsai, W.-T. (2010). Modeling enterprise service-oriented architectural styles. Service Oriented Computing and Applications, 4(2):81-107.
  17. Verma, K., Sivashanmugam, K., Sheth, A., Patil, A., Oundhakar, S., and Miller, J. (2005). Meteor-s wsdi: A scalable p2p infrastructure of registries for semantic publication and discovery of web services. Information Technology and Management, 6(1):17-39.
  18. Wada, H., Suzuki, J., and Oba, K. (2006). Modeling nonfunctional aspects in service oriented architecture. In Proceedings of the 2006 IEEE International Conference on Service Computing, pages 222-229, Chicago, IL.
  19. Wada, H., Suzuki, J., and Oba, K. (2011). Leveraging early aspects in end-to-end model driven development for non-functional properties in service oriented architecture. J. Database Manag., 22(2):93-123.
  20. Yulin, N., Huayou, S., Weiping, L., and Zhong, C. (2010). Pdus: P2p-based distributed uddi service discovery approach. Service Sciences, International Conference on, 0:3-8.
  21. Zhao, Y., Zhao, B., Liu, M., Hu, C., and Ma, D. (2010). Towards a graph grammar based verification approach for runtime constrained evolution of service-oriented architectures. In SOSE, pages 159-164. IEEE.
  22. Zisman, A., Dooley, J., and Spanoudakis, G. (2008). Proactive runtime service discovery. IEEE International Conference on Services Computing (July 2008), pages 237-245.
Download


Paper Citation


in Harvard Style

Graja I., Loulou I. and Hadj Kacem A. (2014). SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties . In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-030-7, pages 172-179. DOI: 10.5220/0004889001720179


in Bibtex Style

@conference{enase14,
author={Imen Graja and Imen Loulou and Ahmed Hadj Kacem},
title={SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties},
booktitle={Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2014},
pages={172-179},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004889001720179},
isbn={978-989-758-030-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties
SN - 978-989-758-030-7
AU - Graja I.
AU - Loulou I.
AU - Hadj Kacem A.
PY - 2014
SP - 172
EP - 179
DO - 10.5220/0004889001720179