Publication Details

Modelling of Component-Based Systems with Mobile Architecture

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.
Czech title
Modelování komponentových systémů s mobilní architekturou
Type
monograph
Language
english
Authors
Keywords
Software architecture, Component-based development, Service-oriented architecture, Component-based system, Component model, Formal specification
Abstract
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.
Published
2010
Pages
139
ISBN
978-80-214-4211-5
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
BibTeX
@BOOK{FITPUB9466,
   author = "Marek Rychl\'{y} and Jaroslav Zendulka",
   title = "Modelling of Component-Based Systems with Mobile Architecture",
   pages = 139,
   year = 2010,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-4211-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9466"
}
Back to top