Detail publikace
A Case Study on Behavioural Modelling of Service-Oriented Architectures
RYCHLÝ, M.
Originální název
A Case Study on Behavioural Modelling of Service-Oriented Architectures
Anglický název
A Case Study on Behavioural Modelling of Service-Oriented Architectures
Jazyk
en
Originální 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 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.
Anglický 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 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.
Dokumenty
BibTex
@inproceedings{BUT33730,
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 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.",
address="AGH University of Science & Technology",
booktitle="Software Engineering Techniques in Progress",
chapter="33730",
edition="NEUVEDEN",
howpublished="print",
institution="AGH University of Science & Technology",
year="2009",
month="october",
pages="79--92",
publisher="AGH University of Science & Technology",
type="conference paper"
}