Sabri Mtibaa

Sabri Mtibaa, Moncef Tagina

The worldwide healthcare industry is facing a number of daunting challenges which are forcing healthcare systems worldwide to adapt and transform, and will ultimately completely redefine the way they do business and deliver care for patients. In this paper, we present a distributed telemedicine environement reaping from both the benefits of Service Oriented Approach (SOA) and the strong telecoms capabilities. We propose an automated approach to handle changes in a distributed telemedicine environement. A combined Petri nets model to handle changes and Reconfigurable Petri nets model to react to these changes are used to fulfill telemedicine functional and non functional requirements.

Sabri Mtibaa, Moncef Tagina

The healthcare organizations are facing a number of daunting challenges pushing systems to deal with requirements changes and benefit from modern technologies and telecom capabilities. Systems evolution through extension of the existing information technology infrastructure becomes one of the most challenging aspects of healthcare and the adaptation to changes is a must. The paper presents a change management framework for a citizen-centric healthcare service platform. A combination between Petri nets model to handle changes and reconfigurable Petri nets model to react to these changes are introduced to fulfill healthcare goals. Thanks to this management framework model, consistency and correctness of a healthcare processes in the presence of frequent changes can be checked and guaranteed.

Sabri Mtibaa, Moncef Tagina

Web services are widely used thanks to their features of universal interoperability between software assets, platform independent and loose-coupled. Web services composition is one of the most challenging topics in service computing area. In this paper, an approach based on High Level Petri-Net model as dynamic configuration schema of web services composition is proposed to achieve self adaptation to run-time environment and self management of composite web services. For composite service based applications, in addition to functional requirements, quality of service properties should be considered. This paper presents and proves some quality of service formulas in context of web service composition. Based on this model and the quality of service properties, a suitable configuration with optimal quality of service can be selected in dynamic way to reach the goal of automatic service composition. The correctness of the approach is proved by a simulation results and corresponding analysis.

Sabri Mtibaa, Moncef Tagina

The worldwide healthcare organizations are facing a number of daunting challenges forcing systems to benefit from modern technologies and telecom capabilities. Hence, systems evolution through extension of the existing information technology infrastructure becomes one of the most challenging aspects of healthcare. In this paper, we present a newly architecture for evolving healthcare systems towards a service-oriented architecture. Since healthcare process exists in temporal context, timing constraints satisfiability verification techniques are growing to enable designers to test and repair design errors. Thanks to Hierarchical Timed Predicate Petri-Net based conceptual framework, desirable properties such as deadlock free and safe as well as timing constraints satisfiability can be easily checked by designer.