Detail publikace

Modelling of Component-Based Systems with Mobile Architecture

RYCHLÝ, M. ZENDULKA, J.

Originální název

Modelling of Component-Based Systems with Mobile Architecture

Typ

kniha odborná

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

RYCHLÝ, M.; ZENDULKA, J.

Rok RIV

2010

Vydáno

31. 12. 2010

Nakladatel

Faculty of Information Technology BUT

Místo

Brno

ISBN

978-80-214-4211-5

Strany počet

139

URL

https://www.fit.vut.cz/research/publication/9466/

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/"
}

Dokumenty

modelling-of-cbs-with-mobarch.pdf