Faculty of Information Technology, BUT

Publication Details

Formal-based Component Model with Support of Mobile Architecture

RYCHLÝ Marek. Formal-based Component Model with Support of Mobile Architecture. Information Sciences and Technologies Bulletin of the ACM Slovakia, vol. 2, no. 1, pp. 13-25. ISSN 1338-1237.
Czech title
Formální komponentový model pro mobilní architektury
Type
journal article
Language
english
Authors
URL
Keywords
Component-based development, Service-oriented architecture, Component model, Formal specification
Abstract
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.
Published
2010
Pages
13-25
Journal
Information Sciences and Technologies Bulletin of the ACM Slovakia, vol. 2, no. 1, ISSN 1338-1237
Publisher
Vydavateľstvo STU
BibTeX
@ARTICLE{FITPUB9330,
   author = "Marek Rychl\'{y}",
   title = "Formal-based Component Model with Support of Mobile Architecture",
   pages = "13--25",
   journal = "Information Sciences and Technologies Bulletin of the ACM Slovakia",
   volume = 2,
   number = 1,
   year = 2010,
   ISSN = "1338-1237",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9330"
}
Files
Back to top