Component-based Development is a challenging paradigm, though Pervasive Computing Environments, as a special case of such systems, carry even more complications.
Applications must be kept available for users anytime, anywhere no matter the user location. This implies transparency on interconnection of components at run-time.
Since components may not be previously evaluated when a user’s context change happen, integration of new components might blur the actual requirements of that system.
This implies to consider Interoperability at different levels. This paper reports on those challenges, also discussing the possibility to improve the description of an approach under a formal basis. Thus solution strategies can be better defined and applied.