Článek v časopise

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, roč. 2, č. 1, s. 13-25. ISSN 1338-1237.
Jazyk publikace:angličtina
Název publikace:Formal-based Component Model with Support of Mobile Architecture
Název (cs):Formální komponentový model pro mobilní architektury
Strany:13-25
Místo vydání:SK
Rok:2010
Časopis:Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 1, Bratislava, SK
ISSN:1338-1237
URL:http://acmbulletin.fiit.stuba.sk/vol2num1.html [HTML]
Soubory: 
+Typ Jméno Název Vel. Změněn
iconformal-based-cm-with-support-mobarch.pdfFormální komponentový model pro mobilní architektury408 KB2010-09-17 12:08:22
^ Vybrat vše
S vybranými:
Klíčová slova
vývoj systémů založený na komponentách, architektura orientovaná na služby, komponentový model, formální specifikace
Anotace
V článku je představen přístup k modelování komponentových systémů a formálnímu popisu jejich chování. Řešení je založeno na vlastním komponentovém modelu, který je popsán meta-modelem, z logického pohledu, a popisem v pi-kalkulu, z procesního pohledu. Komponentový model pokrývá dynamické aspekty softwarových architektur včetně mobility jejich komponent. Dále je popsán způsob modelování chování v architekturách orientovaných na služby, přechod ke komponentovým systémům a popis chování celého systému jediným procesem v pi-kalkulu. Přínosem prezentovaného přístupu je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.
BibTeX:
@ARTICLE{
   author = {Marek Rychlý},
   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.cs?id=9330}
}

Vaše IPv4 adresa: 54.92.236.20
Přepnout na IPv6 spojení

DNSSEC [dnssec]