Publication Details

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M. A Case Study on Behavioural Modelling of Service-Oriented Architectures. e-Informatica Software Engineering Journal, 2010, vol. 4, no. 1, p. 71-87. ISSN: 1897-7979.
Czech title
Případová studie popisu chování architektury orientované na služby
Type
journal article
Language
English
Authors
Rychlý Marek, RNDr., Ph.D. (DIFS)
URL
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 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.

Published
2010
Pages
71–87
Journal
e-Informatica Software Engineering Journal, vol. 4, no. 1, ISSN 1897-7979
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/"
}
Files
Back to top