Isbn 978-80-7378-023-4 © matfyzpress extensions to behavior protocols... Behavior protocols turned out to be very suitable platform for component behavior specification if one is interested in behavioral compatibility of communicating software components....
Service discovery using communication fingerprints... An apparent approach to establishing behavioral compatibility would be to apply the well-known technology of model checking to a composition of the provided service and the requesting service....
Research article fitness benefits of mate choice for compatibility in a socially monogamous species... However, in some species, mating preferences seem largely individual-specific, suggesting that they might target genetic or behavioral compatibility....
Behavioral compatibility of simulink models for product line maintenance and evolution... This paper presents a model checking approach to de-termine behavioral compatibility of Simulink models, ob-tained from different component variants or during evolu-tion....
