A case study on behavioural modelling of service-oriented architectures

• Autorzy: Rychly M.
• Języki publikacji: EN

Abstrakty

EN

Service-oriented architecture (SOA) is an architectural style for software systems' design, which merges well-established software engineering practices. There are several approaches to describe systems and services in SOA, the services' derivation, mutual cooperation to perform specific tasks, composition, etc. In this article, we introduce a new approach to describe behaviour of services in SOA, including behaviour of underlying systems of components, which form the services' implementation. The behavioural description uses the process algebra _-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.

Słowa kluczowe

EN

behavioural modelling; service-oriented architecture (SOA)

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: e-Informatica Software Engineering Journal
• Rocznik: 2010
• Tom: Vol. 4, nr 1
• Strony: 71--87
• Opis fizyczny: Bibliogr. 22 poz.

Twórcy

autor

Rychly M.

• Department of Information Systems, Faculty of Information Technology, Brno University of Technology, 612 66 Brno, Czech Republic

Bibliografia

• [1] J. Amsden. Modeling SOA, parts I–V. IBM developerWorks, October 2007.
• [2] T. Andrews, F. Curbera, H. Dholakia,Y. Goland, J. Klein, F. Leymann, K. Liu,D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for Web Services, v1.1. Technical report, IBM, 2003.
• [3] J. P. Bowen and V. Stavridou. Safety-critical systems, formal methods and standards.IEE/BCS Software Engineering Journal,8(4):189–209, July 1993.
• [4] S. Briais. The ABC User’s Guide, May 2005.
• [5] E. Bruneton, T. Coupaye, and J.-B. Stefani.The Fractal component model. Draft of specification, version 2.0-3, The ObjectWeb Consortium, February 2004.
• [6] T. Bureˇs, P. Hnˇetynka, and F. Pl´aˇsil. SOFA 2.0: Balancing advanced features in a hierarchical component model. In Proceedings of SERA 2006, pages 40–48, Seattle, USA, August 2006. IEEE Computer Society.
• [7] M. Dam. Model checking mobile processes (full version). SICS Research Report R94:01,Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden, 1994.
• [8] N. K. Diakov and F. Arbab. Compositional construction of Web Services using Reo. In S. Bevinakoppa and J. Hu, editors, Proc. of International Workshop on Web Services: Modeling,Architecture and Infrastructure (WSMAI 2004),pages 49–58. INSTICC Press, April 2004.
• [9] R. Donini, S. Marrone, N. Mazzocca, A. Orazzo, D. Papa, and S. Venticinque. Testing complex safety-critical systems in SOA context. In CISIS, pages 87–93, Los Alamitos, CA, USA, December 2008. IEEE Computer Society.
• [10] T. Erl. Service-Oriented Architecture: Concepts,Technology, and Design. Prentice Hall PTR, Upper Saddle River, NJ, USA, August 2005.
• [11] D. Giannakopoulou. Model Checking for Concurrent Software Architectures. PhD thesis, Imperial College of Science, Technology andm Medicine University of London, Department of Computing, January 1999.
• [12] S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri nets.
• [13] P. Hnˇetynka and F. Pl´aˇsil. Dynamic reconfiguration and access to services in hierarchical component models. In Proceedings of CBSE 2006,volume 4063 of Lecture Notes in Computer Science, pages 352–359. Springer, 2006.
• [14] K.-K. Lau and Z. Wang. A survey of software component models (second edition). Pre-print CSPP-38, School of Computer Science, The University of Manchester, Manchester M13 9PL, UK, May 2006.
• [15] R. Lucchi and M. Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 70(1):96–118, January 2007.
• [16] R. Milner, J. Parrow, and D.Walker. A calculus of mobile processes, part I/II. Journal of Information and Computation, 100:41–77, September 1992.
• [17] M. Rychl´y. A component model with support of mobile architectures and formal description.e-Informatica Software Engineering Journal,3(1):9–25, October 2009.
• [18] M. Rychl´y. Formal-based Component Model with Support of Mobile Architecture. PhD thesis,Department of Information Systems, Faculty of Information Technology, Brno University of Technology, February 2010.
• [19] M. Rychl´y and P. Weiss. Modeling of service oriented architecture: From business process to service realisation. In ENASE 2008 Third International Conference on Evaluation of Novel Approaches to Software Engineering Proceedings. A Case Study on Behavioural Modelling of Service-Oriented Architectures 87 Institute for Systems and Technologies of Information, Control and Communication, 2008.
• [20] D. Sangiorgi and D. Walker. The _-Calculus: A Theory of Mobile Processes. Cambridge University Press, New edition, October 2003.
• [21] B. Victor. The Mobility Workbench User’s Guide, polyadic version 3.122 edition, October 1995.
• [22] M. Weidlich, G. Decker, and M. Weske. Efficient analysis of BPEL 2.0 processes using-calculus. In APSCC ’07: Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference, pages 266–274, Washington, DC,USA, 2007. IEEE Computer Society.