Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:A Case Study on Behavioural Modelling of Service-Oriented Architectures
Název (cs):Případová studie popisu chování architektury orientované na služby
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
Místo vydání:Krakow, PL
Rok:2009
ISBN:978-83-7464-259-0
Vydavatel:AGH University of Science & Technology
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconcase-study-on-behavioural-modelling-of-soa.pdfPřípadová studie popisu chování architektury orientované na služby192 KB2009-09-19 12:47:10
iconceeset09-rychly.print.pdfprezentace na konferenci CEE-SET'09 (slídy)148 KB2009-10-13 17:34:52
^ Vybrat vše
S vybranými:
Klíčová slova
architektura orientovaná na služby, popis chování, formální popis, pi-kalkul
Anotace
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ů.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9051}
}

Vaše IPv4 adresa: 18.206.15.215
Přepnout na https