Detail publikace

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M. A Case Study on Behavioural Modelling of Service-Oriented Architectures. e-Informatica Software Engineering Journal, 2010, vol. 4, no. 1, p. 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
anglicky
Autoři
Rychlý Marek, RNDr., Ph.D. (UIFS)
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
BibTeX 
@article{BUT50543,
  author="Marek {Rychlý}",
  title="A Case Study on Behavioural Modelling of Service-Oriented Architectures",
  journal="e-Informatica Software Engineering Journal",
  year="2010",
  volume="4",
  number="1",
  pages="71--87",
  issn="1897-7979",
  url="https://www.fit.vut.cz/research/publication/9228/"
}
Soubory
Nahoru