In the literature, the proposed frameworks for the services compatibility checking rely on the supported sequences of messages.
We also argue that Linda features some advantages with respect to similar proposals in the context of dynamic compatibility checking.
They support the compatibility check between interface models to ensure a correct interaction between components and they adopt an alternating simulation approach to design refinement.
This ensures that both incoming employee as well as the team have a chance to do a down-to-earth compatibility check.
As all component interactions occur via explicit bindings, compatibility checking need only be performed when discovering and binding to a component.
In addition, these component models provide no support for compatibility checking between interfaces, which increases the burden on the developer and the scope for errors in application composition.
A SysML-based modeling approach is combined with the formal representation of the model in an OWL ontology to conduct the required compatibility check.
If you're not sure if your existing PC will run the Rift, you can check this info page or run this downloadable compatibility check tool.
