No abstract

The main objective of this communication is to present and discuss the need, for partners, to suitable interoperability solution according to their expectations. First, the problematic of the selection of a solution is presented and the stakeholders' needs to tackle this statement are highlighted. Then, existing works related to interoperability requirements and interoperability solutions are briefly presented and discussed. Finally, criteria-and associated examples-that guide stakeholders in their selection are presented.

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.

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.