Detail publikace

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M. A Case Study on Behavioural Modelling of Service-Oriented Architectures. Software Engineering Techniques in Progress. Krakow: AGH University of Science & Technology, 2009. p. 79-92. ISBN: 978-83-7464-259-0.
Název česky
Případová studie popisu chování architektury orientované na služby
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychlý Marek, RNDr., Ph.D. (UIFS)
Klíčová slova

architektura orientovaná na služby, popis chování, formální popis, pi-kalkul

Abstrakt

Architektura orientovaná na služby (SOA) uplatňuje zkušenosti a doporučení oboru softwarového inženýrství při návrhu informačních systémů. Existuje několik způsobů popisu systémů a služeb v SOA, odvození služeb, jejich vzájemná spolupráce na specifických úlohách, skládání služeb, atd. V tomto článku představíme nový přístup k popisu chování služeb v SOA, včetně popisu chování systémů komponent implementujících dané služby. Popis chování využívá procesní algebru pi-kalkul a je demonstrován na případové studii SOA pro testování bezpečnostně-kritických systémů.

Rok
2009
Strany
79–92
Sborník
Software Engineering Techniques in Progress
ISBN
978-83-7464-259-0
Vydavatel
AGH University of Science & Technology
Místo
Krakow
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/"
}
Nahoru