Publication result 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

English Title

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Type

Peer-reviewed article not indexed in WoS or Scopus

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

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

Keywords

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

Key words in English

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

Authors

RYCHLÝ, M.

RIV year

2011

Released

01.06.2010

ISBN

1897-7979

Periodical

e-Informatica Software Engineering Journal

Volume

4

Number

1

State

Republic of Poland

Pages from

71

Pages to

87

Pages count

17

URL

https://www.fit.vut.cz/research/publication/9228/

Full text in the Digital Library

http://hdl.handle.net/

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

Documents

Případová studie popisu chování architektury orientované na služby