RYCHLÝ Marek and ZENDULKA Jaroslav. Modelling of Component-Based Systems with Mobile Architecture. Brno: Faculty of Information Technology BUT, 2010. ISBN 978-80-214-4211-5.
Publication language:english
Original title:Modelling of Component-Based Systems with Mobile Architecture
Title (cs):Modelování komponentových systémů s mobilní architekturou
Place:Brno, CZ
Publisher:Faculty of Information Technology BUT
+Type Name Title Size Last modified
iconmodelling-of-cbs-with-mobarch.pdfModelling of Component-Based Systems with Mobile Architecture1,49 MB2011-02-17 14:11:35
^ Select all
With selected:
Software architecture, Component-based development, Service-oriented architecture, Component-based system, Component model, Formal specification
In this book, the authors propose an approach to modelling of component-based systems and formal description of their behaviour. The approach is based on a novel component model defined by a metamodel in a logical view and by description in the pi-calculus in a process view. It is shown that the component model addresses the dynamic aspects of software architectures including the component mobility. Furthermore, a method of behavioural modelling of service-oriented architectures is proposed to pass smoothly from service level to component level and to describe behaviour of a whole system, services and components, as a single pi-calculus process. Finally, the authors illustrate an application of the approach on a case study of an environment for functional testing of complex safety-critical systems. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of the approach.
   author = {Marek Rychl{\'{y}} and Jaroslav Zendulka},
   title = {Modelling of Component-Based Systems with Mobile
   pages = {139},
   year = {2010},
   location = {Brno, CZ},
   publisher = {Faculty of Information Technology BUT},
   ISBN = {978-80-214-4211-5},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]