Improving design quality by automatic verification of activity diagram syntax

International Conference on Intelligent Systems Design and Applications, ISDA

Volumn , Issue , 2012, Pages 303-308

  George, Renu ^a   Samuel, Philip ^b  

^a College of Engineering ^*  (India)

^b Indian Institute of Technology Roorkee   (India)

Author keywords

activity diagram; design; quality assurance; syntax; verification

Indexed keywords

ACTIVITY DIAGRAM; AUTOMATIC VERIFICATION; CONTROL FLOWS; DEFECT CORRECTION; DESIGN PHASE; HIGH COSTS; IMPROVING DESIGNS; SOFTWARE QUALITY; SYNCHRONIZATION PROBLEM; SYNTAX;

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DEFECTS; DESIGN; ERRORS; INTELLIGENT SYSTEMS; QUALITY ASSURANCE; QUALITY CONTROL; SOFTWARE DESIGN; SYNTACTICS; VERIFICATION;

SYSTEMS ANALYSIS;

EID: 84874375568     PISSN: 21647143     EISSN: 21647151     Source Type: Conference Proceeding    
DOI: 10.1109/ISDA.2012.6416555     Document Type: Conference Paper

References (15)

1. Booch G., Rumbaugh J. and Jacobson I., "The Unified Modeling language User Guide", Addison-Wesley, Reading, MA, 1999.
2. Booch G., Rumbaugh J. and Jacobson I., "The Unified Software Development Process", Addison-Wesley, Reading, MA, 1998.
3. "Modeling the Architecture of a Software System", http://msdn.microsoft.com.
4. Perdita Stevens, Rob Pooley, "Using UML Software Engineering with Objects and Components". Pearson Education, 2003.
5. Pankaj Jalote, "An Integrated Approach to Software Engineering", Narosa Publishing House, 2001.
6. Zhiming Liu, "Object-Oriented Software Development with UML", UNU/IIST Report No. 259, 2002.
7. "Use Case Modelling with Activity and Use Case Diagrams", Leslie Munday University.
8. Rik Eshuis, Roel Wieringa, "A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models".
9. Debasish Kundu, Debasis Samanta, "A Novel Approach to Generate Test Cases from UML Activity Diagrams", Journal of Object Technology, vol. 8, no. 3, May-June 2009, pp 65-83.
10. U. Farooq, C. P. Lam, "Mutation Analysis for the Evaluation of AD Models", Proceedings of International Conference on Computational Intelligence for Modelling, Control and Automation (pp. 296-301). Vienna, Austria.
11. Siamak Rasulzadeh, "Formal Modeling and Verification of Software Models", World Academy of Science, Engineering and Technology 18 2008
12. Dirk Fahland, "Translating UML2 Activity Diagrams to Petri Nets for Analyzing IBM WebSphere Business Modeler Process Models", October 16, 2008
13. Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita, "Efficient Test Case Generation for Validation of UML Activity Diagrams", Springer Science+Business Media, LLC 2010
14. Christian F.J. Lange, "Improving the Quality of UML Models in Practice", ICSE'06, May 20-28, 2006, Shanghai, China.
15. P. Samuel, R. Mall, A.K. Bothra, "Automatic Test Case Generation Using Unified Modeling language (UML) State Diagrams", IET Software 2008, pp 79-93