A Case Study on Behavioural Modelling of Service-Oriented Architectures

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82631" target="_blank" >RIV/00216305:26230/09:PU82631 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Popis výsledku v původním jazyce

Service-oriented architecture (SOA) is an architectural style for software systems' design, which merges well-established software engineering practices. There are several approaches to describe systems and services in SOA, the services' derivation, mutual cooperation to perform specific tasks, composition, etc. In this paper, we introduce a new approach to describe behaviour of services in SOA, including behaviour of underlying systems of components, which form the services' implementation. The behavioural description uses the process algebra pi-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.

Název v anglickém jazyce

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Popis výsledku anglicky

Service-oriented architecture (SOA) is an architectural style for software systems' design, which merges well-established software engineering practices. There are several approaches to describe systems and services in SOA, the services' derivation, mutual cooperation to perform specific tasks, composition, etc. In this paper, we introduce a new approach to describe behaviour of services in SOA, including behaviour of underlying systems of components, which form the services' implementation. The behavioural description uses the process algebra pi-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Software Engineering Techniques in Progress

ISBN

978-83-7464-259-0

ISSN

—

e-ISSN

—

Počet stran výsledku

14

Strana od-do

—

Název nakladatele

AGH University of Science & Technology

Místo vydání

Krakow

Místo konání akce

Krakow, Hotel Qubus

Datum konání akce

12. 10. 2009

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—