By Topic

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yousra Bendaly Hlaoui ; Research Unit in Technologies of Information and Communication (UTIC), Institute of Sciences and Techniques of Tunis, Tunisia ; Leila Jemni Benayed

Before being executed, Grid workflow activity diagram models should be analyzed and corrected as early as possible to avoid any costly maintenance delays due to runtime errors. To reach this objective, we define a verification framework which verifies UML activity diagrams against some workflow requirements using NuSMV model checker. For this we propose an homomorphic transformation to realize a correct and complete mapping from UML activity diagrams to NuSMV language.

Published in:

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)

Date of Conference:

May 31 2010-June 2 2010