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

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