Detail publikace

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ Marek. A Case Study on Behavioural Modelling of Service-Oriented Architectures. e-Informatica Software Engineering Journal, roč. 4, č. 1, 2010, s. 71-87. ISSN 1897-7979.
Název česky
Případová studie popisu chování architektury orientované na služby
Typ
článek v časopise
Jazyk
angličtina
Autoři
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT)
URL
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
2010
Strany
71-87
Časopis
e-Informatica Software Engineering Journal, roč. 4, č. 1, ISSN 1897-7979
Vydavatel
Wroclaw University of Technology
BibTeX 
@ARTICLE{FITPUB9228,
   author = "Marek Rychl\'{y}",
   title = "A Case Study on Behavioural Modelling of Service-Oriented Architectures",
   pages = "71--87",
   journal = "e-Informatica Software Engineering Journal",
   volume = 4,
   number = 1,
   year = 2010,
   ISSN = "1897-7979",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9228"
}
Soubory
Nahoru