• DocumentCode
    1122815
  • Title

    Response to Jiau et al.´s comments

  • Author

    Oliveira, Toacy C. ; Alencar, Paulo S C ; Filho, Ivan M. ; De Lucena, Carlos J P ; Cowan, Donald D.

  • Author_Institution
    Dept. de Inf., Pontificia Univ. Catolica do Rio de Janeiro, Brazil
  • Volume
    30
  • Issue
    10
  • fYear
    2004
  • Firstpage
    708
  • Abstract
    The consistency problems in UML models and related software processes can be very complex. First, although UML supports a modeling process that should yield inter and intraconsistent models, the meaning of the UML dependencies and their specializations is not precisely defined and, for this reason, many inconsistencies may appear in their models and processes. Precise definitions would form a basis for methods to detect and analyze consistency problems related to UML dependencies and relationships, as well as problems related to software processes described in UML. In addition, we are using the UML object constraint language (OCL) to describe constraints related to the framework instantiation process. OCL is recognized as a limited language in some aspects for expressing well-formedness rules. We have presented a method (T.C. Oliveira et al., 2004) that works in the case of consistent rules and consistent instantiation processes.
  • Keywords
    formal specification; specification languages; UML dependencies; UML object constraint language; consistency problems; instantiation process; software processes; Aggregates; Documentation; Unified modeling language;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2004.66
  • Filename
    1339281