Developing interoperability is a major issue in collaborative processes. For instance, interoperability is crucial for collaborative processes focused on crisis or healthcare-system management. Partners have to interact trustingly and efficiently. They need to share data, knowledge, best practices, resources and skills in terms of confidence, quality of exchanges and response times. They also need to be sure of the relevance and quality of their roles and actions throughout the process to achieve a desired outcome (crisis resolution, appropriate medical surgery, etc.) In this context, it is worthwhile trying to detect and solve interoperability problems prior to the execution of the process. This work focuses on interoperability in healthcare processes for complex patient assistance (diabetes, cardiovascular accidents, etc.), where different actors need to interoperate. The purpose is to show an approach for highlighting potential interoperability problems that can occur in a given process, with the support of formal verification techniques.