Journal article

RYCHLÝ Marek. A Component Model with Support of Mobile Architectures and Formal Description. e-Informatica Software Engineering Journal. Wrocław: Wroclaw University of Technology, 2009, vol. 3, no. 1, pp. 9-25. ISSN 1897-7979.
Publication language:english
Original title:A Component Model with Support of Mobile Architectures and Formal Description
Title (cs):Komponentový model s podporou mobilních architektur a formálním popisem
Pages:9-25
Place:PL
Year:2009
Journal:e-Informatica Software Engineering Journal, Vol. 3, No. 1, Wrocław, PL
ISSN:1897-7979
URL:http://www.e-informatyka.pl/wiki/e-Informatica [HTML]
Files: 
+Type Name Title Size Last modified
iconcm-with-support-of-mobarch-and-formdesc.pdfA Component Model with Support of Mobile Architectures and Formal Description294 KB2009-10-13 17:49:04
^ Select all
With selected:
Keywords
Software Architecture, Component-Based Development, Component Model, Formal Specification
Annotation
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems' parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems' run-time (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component's specification from its implementation. We focus on the formal basis of the component model in detail. We also review the related research on the current theory and practice of formal component-based development of software systems.
BibTeX:
@ARTICLE{
   author = {Marek Rychl{\'{y}}},
   title = {A Component Model with Support of Mobile Architectures and
	Formal Description},
   pages = {9--25},
   journal = {e-Informatica Software Engineering Journal},
   volume = {3},
   number = {1},
   year = {2009},
   ISSN = {1897-7979},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9080}
}

Your IPv4 address: 54.198.31.213
Switch to IPv6 connection

DNSSEC [dnssec]