Unblockable Compositions of Software Components

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2012
Druh Článek ve sborníku
Konference Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www Web
Doi http://dx.doi.org/10.1145/2304736.2304754
Obor Informatika
Klíčová slova component based software development; compositionallity; deadlocks
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info