Detail publikace

Modelling of Component-Based Systems with Mobile Architecture

Originální název

Modelling of Component-Based Systems with Mobile Architecture

Anglický název

Modelling of Component-Based Systems with Mobile Architecture

Jazyk

en

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.

Anglický 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.

BibTex


@book{BUT62012,
  author="Marek {Rychlý} and Jaroslav {Zendulka}",
  title="Modelling of Component-Based Systems with Mobile Architecture",
  annote="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.",
  address="Faculty of Information Technology BUT",
  chapter="62012",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Faculty of Information Technology BUT",
  year="2010",
  month="december",
  pages="0--0",
  publisher="Faculty of Information Technology BUT",
  type="book"
}