Publication detail

A Case Study on Behavioural Modelling of Service-Oriented Architectures

RYCHLÝ, M.

Original Title

A Case Study on Behavioural Modelling of Service-Oriented Architectures

English Title

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Type

journal article - other

Language

en

Original Abstract

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 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.

English abstract

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 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.

Keywords

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

RIV year

2010

Released

01.06.2010

Publisher

NEUVEDEN

Location

NEUVEDEN

ISBN

1897-7979

Periodical

e-Informatica Software Engineering Journal

Year of study

4

Number

1

State

PL

Pages from

71

Pages to

87

Pages count

17

URL

Documents

BibTex


@article{BUT50543,
  author="Marek {Rychlý}",
  title="A Case Study on Behavioural Modelling of Service-Oriented Architectures",
  annote="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 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.",
  address="NEUVEDEN",
  chapter="50543",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  journal="e-Informatica Software Engineering Journal",
  number="1",
  volume="4",
  year="2010",
  month="june",
  pages="71--87",
  publisher="NEUVEDEN",
  type="journal article - other"
}