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
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT)
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