Přístupnostní navigace
E-application
Search Search Close
Publication detail
RYCHLÝ, M.
Original Title
A Case Study on Behavioural Modelling of Service-Oriented Architectures
Type
journal article - other
Language
English
Original 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 pi-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.
Keywords
Service-oriented architecture, Behavioural modelling, Formal description, pi-calculus
Authors
RIV year
2010
Released
1. 6. 2010
ISBN
1897-7979
Periodical
e-Informatica Software Engineering Journal
Year of study
4
Number
1
State
Republic of Poland
Pages from
71
Pages to
87
Pages count
17
URL
https://www.fit.vut.cz/research/publication/9228/
BibTex
@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/" }