Unblockable Compositions of Software Components

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	DONG Ruzhen FABER Johannes LIU Zhiming SRBA Jiří ZHAN Naijun ZHU Jiaqi
Year of publication	2012
Type	Article in Proceedings
Conference	Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12)
MU Faculty or unit	Faculty of Informatics
Citation
Web	Web
Doi	http://dx.doi.org/10.1145/2304736.2304754
Field	Informatics
Keywords	component based software development; compositionallity; deadlocks
Description	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.
Related projects:	Czech Republic membership in the European Research Consortium for Informatics and Mathematics