Detail publikace

Formal-based Component Model with Support of Mobile Architecture

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

Jazyk

en

Originální abstrakt

In this article, an approach to modelling of component-based systems and formal description of their behaviour is proposed. It 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. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling of service-oriented architectures is proposed to pass smoothly from service to component level and to describe behaviour of a whole system as a single pi-calculus process. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of the approach.

Anglický abstrakt

In this article, an approach to modelling of component-based systems and formal description of their behaviour is proposed. It 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. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling of service-oriented architectures is proposed to pass smoothly from service to component level and to describe behaviour of a whole system as a single pi-calculus process. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of the approach.

BibTex


@article{BUT50544,
  author="Marek {Rychlý}",
  title="Formal-based Component Model with Support of Mobile Architecture",
  annote="In this article, an approach to modelling of component-based systems and formal
description of their behaviour is proposed. It 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. The model addresses dynamic aspects of software
architectures including component mobility. Furthermore, a method of behavioural
modelling of service-oriented architectures is proposed to pass smoothly from
service to component level and to describe behaviour of a whole system as
a single pi-calculus process. The support of dynamic architecture and the
integration with service-oriented architecture compromise the main advantages of
the approach.",
  address="NEUVEDEN",
  chapter="50544",
  edition="NEUVEDEN",
  howpublished="online",
  institution="NEUVEDEN",
  number="1",
  volume="2",
  year="2010",
  month="june",
  pages="13--25",
  publisher="NEUVEDEN",
  type="journal article - other"
}