Unblockable Compositions of Software Components

D 2012

Unblockable Compositions of Software Components

DONG, Ruzhen; Johannes FABER; Zhiming LIU; Jiří SRBA; Naijun ZHAN et al.

Základní údaje

Originální název

Unblockable Compositions of Software Components

Autoři

DONG, Ruzhen; Johannes FABER; Zhiming LIU; Jiří SRBA; Naijun ZHAN a Jiaqi ZHU

Vydání

USA, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12), od s. 103-108, 6 s. 2012

Nakladatel

ACM

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

Web

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00062429

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4503-1345-2

DOI

https://doi.org/10.1145/2304736.2304754

Klíčová slova anglicky

component based software development; compositionallity; deadlocks

Změněno: 23. 4. 2013 09:39, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

We present a new automata-based interface model describing the interaction behavior of software components. Contrary to earlier component- or interface-based approaches, the interface model we propose specifies all the non-blockable interaction behaviors of a component with any environment. To this end, we develop an algorithm to compute the unblockable interaction behavior, called the interface model of a component, from its execution model. Based on this model, we introduce composition operators for the components and prove important compositionality results, showing the conditions under which composition of interface models preserves unblockable sequences of provided services.

Návaznosti

LA09016, projekt VaV

Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics

Citovat

DONG, Ruzhen; Johannes FABER; Zhiming LIU; Jiří SRBA; Naijun ZHAN a Jiaqi ZHU. Unblockable Compositions of Software Components. In Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: ACM, 2012, s. 103-108. ISBN 978-1-4503-1345-2. Dostupné z: https://doi.org/10.1145/2304736.2304754.

@inproceedings{1079128,
   author = {Dong, Ruzhen and Faber, Johannes and Liu, Zhiming and Srba, Jiří and Zhan, Naijun and Zhu, Jiaqi},
   address = {USA},
   booktitle = {Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12)},
   doi = {https://doi.org/10.1145/2304736.2304754},
   keywords = {component based software development; compositionallity; deadlocks},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {USA},
   isbn = {978-1-4503-1345-2},
   pages = {103-108},
   publisher = {ACM},
   title = {Unblockable Compositions of Software Components},
   url = {http://dx.doi.org/10.1145/2304736.2304754},
   year = {2012}
}

TY  - CONF
ID  - 1079128
AU  - Dong, Ruzhen - Faber, Johannes - Liu, Zhiming - Srba, Jiří - Zhan, Naijun - Zhu, Jiaqi
PY  - 2012
TI  - Unblockable Compositions of Software Components
PB  - ACM
CY  - USA
SN  - 9781450313452
KW  - component based software development
KW  - compositionallity
KW  - deadlocks
UR  - http://dx.doi.org/10.1145/2304736.2304754
L2  - http://dx.doi.org/10.1145/2304736.2304754
N2  - We present a new automata-based interface model describing the interaction behavior of software components. Contrary to earlier component- or interface-based approaches, the interface model we propose specifies all the non-blockable interaction behaviors of a component with any environment. To this end, we develop an algorithm to compute the unblockable interaction behavior, called the interface model of a component, from its execution model. Based on this model, we introduce composition operators for the components and prove important compositionality results, showing the conditions under which composition of interface models preserves unblockable sequences of provided services.
ER  -

DONG, Ruzhen; Johannes FABER; Zhiming LIU; Jiří SRBA; Naijun ZHAN a Jiaqi ZHU. Unblockable Compositions of Software Components. In \textit{Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12)}. USA: ACM, 2012, s.~103-108. ISBN~978-1-4503-1345-2. Dostupné z: https://doi.org/10.1145/2304736.2304754.

Přehled o publikaci