Detail publikačního výsledku

Formal-based Component Model with Support of Mobile Architecture

RYCHLÝ, M.

Originální název

Formal-based Component Model with Support of Mobile Architecture

Anglický název

Formal-based Component Model with Support of Mobile Architecture

Druh

Dizertace

Originální abstrakt

In the thesis, we 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. We show that the component model addresses the dynamic aspects of software architectures including the component mobility. Furthermore, we propose a method of behavioural modelling of service-oriented architectures 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, we illustrate an application of our 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 our approach.

Anglický abstrakt

In the thesis, we 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. We show that the component model addresses the dynamic aspects of software architectures including the component mobility. Furthermore, we propose a method of behavioural modelling of service-oriented architectures 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, we illustrate an application of our 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 our approach.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

RYCHLÝ, M.

Vydáno

19.02.2010

Nakladatel

Department of Information Systems FIT BUT

Místo

Brno

Strany počet

120

URL

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

BibTex

@misc{BUT192704,
  author="Marek {Rychlý}",
  title="Formal-based Component Model with Support of Mobile Architecture",
  year="2010",
  pages="120",
  publisher="Department of Information Systems FIT BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/9174/"
}

Dokumenty

disertační práce
teze disertační práce
prezentace z obhajoby disertace (slídy)