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
Link To Document