×

UML model checking. (English) Zbl 1118.68423

Summary: Correctness against the UML definition has to be a prerequisite for every UML model. In terms of programming languages this requirement is stated: ”the precondition for every application is to be syntactically and semantically correct against the language specification”. The objective of this paper is to go over the state of the art in this domain highlighting some drawbacks in the UML 1.4 AO and \(\text{WFR}^1\). The XMI adoption as a standard format for UML models transfer opened the way to verifying the level at which different UML tools comply with the UML semantics. Taking into account that existing OCL tools do not implement all the functionalities required for efficient UML model checking, we have designed and implemented an \({\text{OCL evaluator}}^2\). The possibility to check every UML Model stored in XMI format, a repository fully compliant with UML 1.4, including all the AO, the possibility to evaluate the WFR, \(\text{MR}^3\) and \(\text{BCR}^4\), are among the main features of our tool.

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
PDFBibTeX XMLCite