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 :
بازگشت