( en | de | ru )

 

Disambiguation of "Younes, Ahlem Ben"

Author of the publication

copydeleteadd this publication to your clipboard
A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.

, , , and . COMPSAC Workshops, page 224-229. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ahlem Assila

Ahlem Baccouche

Ahlem Reggani

Ahlem Ferchichi

Heinrich Ahlemeyer

 

Other publications of authors with the same name

Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B., and . ICSOFT (2), page 312-316. SciTePress, (2010)Using UML Activity Diagrams and Event B for Distributed and Parallel Applications., and . COMPSAC (1), page 163-170. IEEE Computer Society, (2007)A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application., , , and . COMPSAC Workshops, page 224-229. IEEE Computer Society, (2012)From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation., , , and . COMPSAC (2), page 187-192. IEEE Computer Society, (2017)978-1-5386-0367-3.A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , and . iiWAS, page 479-483. ACM, (2014)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., and . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., and . MSVVEIS, page 149-155. INSTICC PRESS, (2009)Towards to Compose Cloud Service Flexible Workflow Applications., , , and . COMPSAC Workshops, page 404-409. IEEE Computer Society, (2015)An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications., and . iiWAS, page 523-526. ACM, (2011)Using AToM3 for the Verification of Workflow Applications., , and . ICSOFT (2), page 32-39. SciTePress, (2010)