Ahlem Ben Younes

发表

From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Ahlem Ben Younes, 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Ahlem Ben Younes, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops.

Towards to Compose Cloud Service Flexible Workflow Applications

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Imen Ben Fraj, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2009, MSVVEIS.

From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

UML AD Refinement Patterns for Modeling Workflow Applications

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Ahlem Ben Younes, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Ahlem Ben Younes, 2014, iiWAS.

Message from the MVDA Workshop Organizers

Fevzi Belli, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, 2016, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).

An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2011, iiWAS '11.

Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2010, ICSOFT.

Modeling and Verification of Reactive Systems Using STATEMATE and Event B

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2009, Int. J. Comput. Their Appl..

A Meta-model Transformation from UML Activity Diagrams to Event-B Models

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Ahlem Ben Younes, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Using UML Activity Diagrams and Event B for Distributed and Parallel Applications

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification

Leila Jemni Ben Ayed, Ahlem Ben Younes, 2009, 2009 Congress on Services - I.

Message from the MVDA 2015 Workshop Organizers

Fevzi Belli, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, 2015, Annual International Computer Software and Applications Conference.

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications

Yousra Bendaly Hlaoui, Leila Ben Ayed, Ahlem Ben Younes, 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application

Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui, Imen Ben Fraj, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.

Using AToM3 for the Verification of Workflow Applications

Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri, 2010, ICSOFT.