Result Details

Modelling of Component-Based Systems with Mobile Architecture

RYCHLÝ, M.; ZENDULKA, J. Modelling of Component-Based Systems with Mobile Architecture. Brno: Faculty of Information Technology BUT, 2010. 139 p. ISBN: 978-80-214-4211-5.
Type
book
Language
English
Authors
Rychlý Marek, RNDr., Ph.D., DIFS (FIT)
Zendulka Jaroslav, doc. Ing., CSc., DIFS (FIT)
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.

Keywords

Software architecture, Component-based development, Service-oriented architecture, Component-based system, Component model, Formal specification

Published
2010
Pages
139
ISBN
978-80-214-4211-5
Publisher
Faculty of Information Technology BUT
Place
Brno
BibTeX
@book{BUT62012,
  author="Marek {Rychlý} and Jaroslav {Zendulka}",
  title="Modelling of Component-Based Systems with Mobile Architecture",
  year="2010",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  pages="139",
  isbn="978-80-214-4211-5",
  url="https://www.fit.vut.cz/research/publication/9466/"
}
Files
Projects
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments
Back to top