No abstract

Interoperability is a prerequisite for partners involved in performing collaboration. As a consequence, the lack of interoperability is now considered a major obstacle. The research work presented in this paper aims to develop an approach that allows specifying and verifying a set of interoperability requirements to be satisfied by each partner in the collaborative process prior to process implementation. To enable the verification of these interoperability requirements, it is necessary first and foremost to generate a model of the targeted collaborative process; for this research effort, the standardised language BPMN 2.0 is used. Afterwards, a verification technique must be introduced, and model checking is the preferred option herein. This paper focuses on application of the model checker UPPAAL in order to verify interoperability requirements for the given collaborative process model. At first, this step entails translating the collaborative process model from BPMN into a UPPAAL modelling language called 'Network of Timed Automata'. Second, it becomes necessary to formalise interoperability requirements into properties with the dedicated UPPAAL language, i.e. the temporal logic TCTL.

The main objective of this communication is to discuss and present a framework for interoperability requirements. M ore precisely, the here presented research focuses on the dimensions to consider in order to capture and structure interoperability requirements in a precise way for parnters that want, further, to verify the truthfulness of these requirements. First, the concept of interoperability is presented according its main characteristics and the need to express it as a requirement. Then, the dimensions of the framework are highlighted and related in order to be suitable and usable. Finally, some interoperability requirements and their positionning in the framework for interoperability requirements are introduced to show the interest of such approach.

Enterprises that aim to work together want, prior to any effective collaboration, to know if they are able to interoperate. On the one hand, this induces to be able to define the particular needs having to be taken into account in order to demonstrate if an enterprise can be or must be interoperable. On the other hand, it requires techniques and approaches allowing to formalise these needs as a set of unambiguous and, as formal as possible, requirements called here interoperability requirements. Finally, verification techniques can be used to detect how and where some of these requirements cannot be satisfied. This allows to highlight interoperability problems. This paper focuses on the two first phases and describes an approach to define and to formalise interoperability needs into interoperability requirements. These requirements are decomposed on three classes named compatibility, interoperation and reversibility requirements.

Emergency operations are on the rise today due to the different types of emergencies encountered, which include crises, accidents, natural disasters, and suicides. This increase can lead to problems in coordination and communication between those involved in an emergency operation. In addition, emergency services have independent medical devices, which are sometimes redundant; however, there is a lack of devices for taking suitable actions in heterogeneous environments (urban, rural, mountains). Therefore, it would be interesting to redesign ambulance services to take account of these issues. These improvements concern two objectives. First, to provide an optimal response to the victim during an emergency operation. Second, to facilitate the exchanges between all people involved from the initial order to the arrival at the hospital. This paper focuses on and illustrates a solution to simplify exchanges between first-aid workers in the field and medical practitioners in the hospital during emergency operations. In particular, it analyzes interoperability at the outset of the conception of a system that helps to exchange quickly and efficiently information for a medical emergency.