Detail publikace

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ Marek. A Case Study on Behavioural Modelling of Service-Oriented Architectures. In: Software Engineering Techniques in Progress. Krakow: AGH University of Science & Technology, 2009, s. 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
angličtina
Autoři
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
Konference
4th IFIP TC2 Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2009, Krakow, Hotel Qubus, PL
ISBN
978-83-7464-259-0
Vydavatel
AGH University of Science & Technology
Místo
Krakow, PL
BibTeX
@INPROCEEDINGS{FITPUB9051,
   author = "Marek Rychl\'{y}",
   title = "A Case Study on Behavioural Modelling of Service-Oriented Architectures",
   pages = "79--92",
   booktitle = "Software Engineering Techniques in Progress",
   year = 2009,
   location = "Krakow, PL",
   publisher = "AGH University of Science  \& Technology",
   ISBN = "978-83-7464-259-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9051"
}
Soubory
Nahoru