Publication detail

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M.

Original Title

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Type

article in a collection out of WoS and Scopus

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

Keywords

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

Authors

RYCHLÝ, M.

RIV year

2009

Released

12. 10. 2009

Publisher

AGH University of Science & Technology

Location

Krakow

ISBN

978-83-7464-259-0

Book

Software Engineering Techniques in Progress

Pages from

79

Pages to

92

Pages count

14

URL

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/"
}