Journal article

RYCHLÝ Marek. Formal-based Component Model with Support of Mobile Architecture. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2010, vol. 2, no. 1, pp. 13-25. ISSN 1338-1237.
Publication language:english
Original title:Formal-based Component Model with Support of Mobile Architecture
Title (cs):Formální komponentový model pro mobilní architektury
Pages:13-25
Place:SK
Year:2010
Journal:Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 2, No. 1, Bratislava, SK
ISSN:1338-1237
URL:http://acmbulletin.fiit.stuba.sk/vol2num1.html [HTML]
Files: 
+Type Name Title Size Last modified
iconformal-based-cm-with-support-mobarch.pdfFormal-based Component Model with Support of Mobile Architecture408 KB2010-09-17 12:08:22
^ Select all
With selected:
Keywords
Component-based development, Service-oriented architecture, Component model, Formal specification
Annotation
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{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9330}
}

Your IPv4 address: 54.196.107.247
Switch to IPv6 connection

DNSSEC [dnssec]