Publication Details
Behavioural Modeling of Services: from Service-Oriented Architecture to Component-Based System
Service-oriented architecture, Component-based systems, Formal description,
Pi-calculus
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. However, those approaches usually end up at the level of individual services
and do not describe underlying systems of components, which form the services'
implementation. This paper deals with formal description of behaviour of services
in context of SOA and their decomposition into component systems with particular
features such as dynamic reconfiguration and component mobility.
@inproceedings{BUT32118,
author="Marek {Rychlý}",
title="Behavioural Modeling of Services: from Service-Oriented Architecture to Component-Based System",
booktitle="Software Engineering Techniques in Progress",
year="2008",
pages="13--27",
publisher="Wroclaw University of Technology",
address="Wrocław",
isbn="978-83-7493-421-3",
url="https://www.fit.vut.cz/research/publication/8759/"
}