Search - Université de Pau et des Pays de l'Adour Access content directly

Filter your results

8 Results
Structure: Internal structure identifier : 206882

ATL Transformation of UML 2.0 for the Generation of SCA Model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Eric Cariou
The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Conference papers hal-00648916v1

A mediation based approach for formal verification of web services composition

Raoudha Maraoui , Eric Cariou
2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩
Conference papers hal-02507291v1

MDE approach for the generation and verification of SCA model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul , et al.
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩
Conference papers hal-00751241v1

Formalisation des contrats structurels et de QdS d’une composition de services Web

Raoudha Maraoui , Amina Ben Belgacem , Mohamed Graiet , Eric Cariou
Conférence francophone sur l'Architecture Logicielle (CAL 2014), Jun 2014, Paris, France
Conference papers hal-01094205v1

Profile UML2.0 for specification of the SCA architectures

Wided Ben Abid , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul , et al.
SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩
Conference papers hal-01354605v1

Towards a transformation of composite web service with QoS extension into ACME\Armani

Raoudha Maraoui , Amel Mhamdi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , et al.
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩
Conference papers hal-00751243v1

ATL transformation for the generation of SCA model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul , et al.
SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
Conference papers hal-00751248v1

Towards an approach of formal verification of mediation protocol based on Web services

Mohamed Graiet , Raoudha Maraoui , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul
iiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩
Conference papers hal-01308596v1