 | 2011 |
|---|
| 6 |       | Yousra Bendaly Hlaoui,
Leila Jemni Ben Ayed:
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows.
COMPSAC Workshops 2011: 243-248 |
| 2010 |
|---|
| 5 |  | Leila Jemni Ben Ayed,
Najet Hamdi,
Yousra Bendaly Hlaoui:
An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B.
ICSOFT (2) 2010: 329-332 |
| 4 | | Yousra Bendaly Hlaoui,
Leila Jemni Ben Ayed:
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.
NOTERE 2010: 255-260 |
| 2009 |
|---|
| 3 | | Yousra Bendaly Hlaoui,
Leila Jemni Ben Ayed:
Patterns for Modeling and Composing Workflows from Grid Services.
ICEIS 2009: 615-626 |
| 2 | | Yousra Bendaly Hlaoui,
Leila Jemni Ben Ayed:
An MDA approach for composing grid services workflows.
ICTA 2009: 337-344 |
| 2008 |
|---|
| 1 | | Yousra Bendaly Hlaoui,
Leila Jemni Ben Ayed:
Extended UML activity diagram for composing Grid services workflows.
CRiSIS 2008: 207-212 |
Data released under the ODC-BY 1.0 license — See also our legal information page