Towards a Framework for Behavioral Specifications of OSGi Components 英文论文文献.docVIP

TowardsaFrameworkforBehavioralSpeci?cationsofOSGi Components JanOlafBlech fortissGmbH,Munich,Germany Wepresentworkonbehavioralspeci?cationsofOSGicomponents. Ourbehavioralspeci?cations arebasedon?niteautomatalikeformalisms. Behavioralspeci?cationscanbeusedto?ndappro- priate components to interact with, detect incompatibilities between communication protocols of components and potential problems resulting from the interplay of non-deterministic component speci?cations. Theseoperationscanbecarriedoutduringdevelopmentandatruntimeofasystem. Furthermore,wedescribeworkcarriedoutusingtheEclip