On the verification and validation of UML structural and behavioral diagrams

  • Authors:

  • Lu'ay Alawneh;Mourad Debbabi;Fawzi Hassaïne;Andrei Soeanu

  • Affiliations:

  • Computer Security Laboratory, Concordia University, Montreal, Canada;Computer Security Laboratory, Concordia University, Montreal, Canada;Future Forces Synthetic Environments Section, Defence Research and Development Canada, Ottawa, Ontario, Canada;Computer Security Laboratory, Concordia University, Montreal, Canada

  • Venue:
  • ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The primary intent of this paper is to present an innovative verification and validation paradigm for both software and systems engineering design models. We consider here two mainstream languages that are UML and SysML. The proposed paradigm relies mainly on formal methods providing a better assessment when used as complementary to ubiquitous techniques such as simulation. Moreover, we advocate the use of software engineering and program analysis techniques in order to augment the results of the aforementioned formal methods. To validate the proposed approach, we designed and implemented an integrated and automated environment capable of assessing software and systems engineering design models. We illustrate our methodology when applied to the assessment of class and package diagrams and the verication of work ow systems modeled using activity diagrams.