Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
RYCHLÝ, M.
Originální název
Formal-based Component Model with Support of Mobile Architecture
Typ
článek v časopise - ostatní, Jost
Jazyk
angličtina
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.
Klíčová slova
Component-based development, Service-oriented architecture, Component model, Formal specification
Autoři
Rok RIV
2010
Vydáno
1. 6. 2010
ISSN
1338-1237
Periodikum
Information Sciences and Technologies Bulletin of the ACM Slovakia
Ročník
2
Číslo
1
Stát
Slovenská republika
Strany od
13
Strany do
25
Strany počet
URL
https://www.fit.vut.cz/research/publication/9330/
BibTex
@article{BUT50544, author="Marek {Rychlý}", title="Formal-based Component Model with Support of Mobile Architecture", journal="Information Sciences and Technologies Bulletin of the ACM Slovakia", year="2010", volume="2", number="1", pages="13--25", issn="1338-1237", url="https://www.fit.vut.cz/research/publication/9330/" }