Publication Details

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M. A Case Study on Behavioural Modelling of Service-Oriented Architectures. Software Engineering Techniques in Progress. Krakow: AGH University of Science & Technology, 2009. p. 79-92. ISBN: 978-83-7464-259-0.
Czech title
Případová studie popisu chování architektury orientované na služby
Type
conference paper
Language
English
Authors
Rychlý Marek, RNDr., Ph.D. (DIFS)
Keywords

Service-oriented architecture, Behavioural modelling, Formal description,
pi-calculus

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 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.

Published
2009
Pages
79–92
Proceedings
Software Engineering Techniques in Progress
Conference
4th IFIP TC2 Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2009, Krakow, Hotel Qubus, PL
ISBN
978-83-7464-259-0
Publisher
AGH University of Science & Technology
Place
Krakow
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/"
}
Files
Back to top