Detail výsledku

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.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Abstrakt

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 specifictasks, composition, etc. In this article, 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.

Klíčová slova

Service-oriented architecture, Behavioural modelling, Formal description, pi-calculus

URL
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
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Nahoru