![]()
AMBIENTUM BIOETHICA BIOLOGIA CHEMIA DIGITALIA DRAMATICA EDUCATIO ARTIS GYMNAST. ENGINEERING EPHEMERIDES EUROPAEA GEOGRAPHIA GEOLOGIA HISTORIA HISTORIA ARTIUM INFORMATICA IURISPRUDENTIA MATHEMATICA MUSICA NEGOTIA OECONOMICA PHILOLOGIA PHILOSOPHIA PHYSICA POLITICA PSYCHOLOGIA-PAEDAGOGIA SOCIOLOGIA THEOLOGIA CATHOLICA THEOLOGIA CATHOLICA LATIN THEOLOGIA GR.-CATH. VARAD THEOLOGIA ORTHODOXA THEOLOGIA REF. TRANSYLVAN
|
|||||||
Rezumat articol ediţie STUDIA UNIVERSITATIS BABEÅž-BOLYAI În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului. |
|||||||
STUDIA INFORMATICA - Ediţia nr.1 din 2002 | |||||||
Articol: |
UML MODEL CHECKING. Autori: DAN CHIOREAN, ADRIAN CARCU, MIHAI PASCA, CRISTIAN BOTIZA, HORIA CHIOREAN, SORIN MOLDOVAN. |
||||||
Rezumat: 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 WFR1. 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 OCL evaluator2. 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, MR3 and BCR4, are among the main features of our tool. | |||||||
![]() |
|||||||