Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
RYCHLÝ, M.
Originální název
A Case Study on Behavioural Modelling of Service-Oriented Architectures
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
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 paper, 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.
Klíčová slova
Service-oriented architecture, Behavioural modelling, Formal description, pi-calculus
Autoři
Rok RIV
2009
Vydáno
12. 10. 2009
Nakladatel
AGH University of Science & Technology
Místo
Krakow
ISBN
978-83-7464-259-0
Kniha
Software Engineering Techniques in Progress
Strany od
79
Strany do
92
Strany počet
14
URL
https://www.fit.vut.cz/research/publication/9051/
BibTex
@inproceedings{BUT33730, author="Marek {Rychlý}", title="A Case Study on Behavioural Modelling of Service-Oriented Architectures", booktitle="Software Engineering Techniques in Progress", year="2009", pages="79--92", publisher="AGH University of Science & Technology", address="Krakow", isbn="978-83-7464-259-0", url="https://www.fit.vut.cz/research/publication/9051/" }