The STUDIA UNIVERSITATIS BABEÅ˛-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

 
       
         
    STUDIA INFORMATICA - Issue no. 1 / 2002  
         
  Article:   UML MODEL CHECKING.

Authors:  DAN CHIOREAN, ADRIAN CARCU, MIHAI PASCA, CRISTIAN BOTIZA, HORIA CHIOREAN, SORIN MOLDOVAN.
 
       
         
  Abstract:  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.  
         
     
         
         
      Back to previous page