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{FITPUB8759, author = "Marek Rychl\'{y}", title = "Behavioural Modeling of Services: from Service-Oriented Architecture to Component-Based System", pages = "13--27", booktitle = "Software Engineering Techniques in Progress", year = 2008, location = "Wroc\law, PL", publisher = "Wroclaw University of Technology", ISBN = "978-83-7493-421-3", language = "english", url = "https://www.fit.vut.cz/research/publication/8759" }