Search Results - "Bhiri, M. T."

UML/OCL and Refinement by Bhiri, M. T., Mourad, K., Graiet, M., Aniorte, P.

“…Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description…”
Get full text

Verifying Composite Service Transactional Behavior with EVENT-B by Hamel, L., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W.

“…A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to…”
Get full text

ATL Transformation for the Generation of SCA Model by Louhichi, S., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W., Cariou, E.

“…Service Component Architecture specification (SCA) is an emerging and promising technology for the development, deployment and integration of Internet…”
Get full text

Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service by Mhamdi, A., Maraoui, R., Graiet, M., Kmimech, M., Bhiri, M. T., Cariou, E.

“…In this paper, the work developed aims at contributing to the research related to the Quality of Service (QoS) for Web services. We started this research by…”
Get full text

Profile UML2.0 for Specification of the SCA Architectures by Abid, W. B., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W., Cariou, E.

“…Service Component Architecture (SCA) aims to simplify the construction of service oriented architecture (SOA) to encourage better the reuse and to be…”
Get full text