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

Článek recenzovaný 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 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.

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

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

2011

Vydáno

01.06.2010

ISSN

1897-7979

Periodikum

e-Informatica Software Engineering Journal

Svazek

4

Číslo

1

Stát

Polská republika

Strany od

71

Strany do

87

Strany počet

17

URL

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

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

Dokumenty

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