Traceability of requirements and consistency verification of UML use case, activity and Class diagram: A Formal approach Published in: 2009 Proceeding of International Conference on Methods and Models ...

This paper focuses on how to model and compose workflow applications of Grid services without considering lower level description of the Grid environment. To reach this objective, we propose a ...