Journal article

RYCHLÝ Marek. A Case Study on Behavioural Modelling of Service-Oriented Architectures. e-Informatica Software Engineering Journal. Wrocław: Wroclaw University of Technology, 2010, vol. 4, no. 1, pp. 71-87. ISSN 1897-7979.
Publication language:english
Original title:A Case Study on Behavioural Modelling of Service-Oriented Architectures
Title (cs):Případová studie popisu chování architektury orientované na služby
Journal:e-Informatica Software Engineering Journal, Vol. 4, No. 1, Wrocław, PL
+Type Name Title Size Last modified
iconcase-study-on-behavioural-modelling-of-soa.pdfA Case Study on Behavioural Modelling of Service-Oriented Architectures347 KB2010-06-03 02:10:05
^ Select all
With selected:
Service-oriented architecture, Behavioural modelling, Formal description, pi-calculus
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 pi-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.
   author = {Marek Rychl{\'{y}}},
   title = {A Case Study on Behavioural Modelling of Service-Oriented
   pages = {71--87},
   journal = {e-Informatica Software Engineering Journal},
   volume = {4},
   number = {1},
   year = {2010},
   ISSN = {1897-7979},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]