Abstract :
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 n-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.
