Detail publikačního výsledku

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M.

Originální název

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Anglický název

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

RYCHLÝ, M.

Rok RIV

2010

Vydáno

12.10.2009

Nakladatel

AGH University of Science & Technology

Místo

Krakow

ISBN

978-83-7464-259-0

Kniha

Software Engineering Techniques in Progress

Strany od

79

Strany do

92

Strany počet

14

URL

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

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

Dokumenty

Případová studie popisu chování architektury orientované na služby
prezentace na konferenci CEE-SET'09 (slídy)