Result Details
A Case Study on Behavioural Modelling of Service-Oriented Architectures
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 specifictasks, 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.
Service-oriented architecture, Behavioural modelling, Formal description, pi-calculus
@article{BUT50543,
author="Marek {Rychlý}",
title="A Case Study on Behavioural Modelling of Service-Oriented Architectures",
journal="e-Informatica Software Engineering Journal",
year="2010",
volume="4",
number="1",
pages="71--87",
issn="1897-7979",
url="https://www.fit.vut.cz/research/publication/9228/"
}