Title :
Adapting Component Behaviours Using Interface Automata
Author :
Chouali, Samir ; Mouelhi, Sebti ; Mountassir, Hassan
Author_Institution :
Lab. of Comput. Sci., Univ. of Franche Comte, Besançon, France
Abstract :
One of the principal goal of Component-Based Software Engineering (CBSE) is to allow the reuse of components in diverse situations without affecting their codes. To reach this goal, it is necessary to propose approaches to adapt a component with its environment when behavioural mismatches occur during their interactions. In this paper, we present a formal approach based on interface automata to adapt components in order to eliminate possible behavioural mismatches, and then insure more flexible interoperability between components.
Keywords :
formal specification; object-oriented programming; open systems; component-based software engineering; formal approach; interface automata; interoperability; Adaptation model; Automata; Protocols; Semantics; Servers; Software; Synchronization;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2010 36th EUROMICRO Conference on
Conference_Location :
Lille
Print_ISBN :
978-1-4244-7901-6
DOI :
10.1109/SEAA.2010.34