UML 2.0 Consistency Rules Identification

Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05

Volumn 1, Issue , 2005, Pages 175-181

  Vidal, Jean Pierre Seuma ^a   Malgouyres, Hugues ^a   Motet, Gilles ^a  

^a INSA   (France)

Author keywords

Checking; Consistency rules; UML; Verification

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE ENGINEERING;

CHECKING; CONSISTENCY RULES; MULTIPLE VIEWS; SOFTWARE APPLICATIONS; UML; UML 2.0;

ENGINEERING RESEARCH;

EID: 51849083606     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Jean Louis Sourrouille and Guy Capiat. A Pragmatic View on Consistency Checking of UML Models. In KUZNIARZ et al.[11], pages 43-50.
2. J. DERRICK, D. AKEHURST, and E. BORTEN. A framework for UML consistency. In KUZNIARZ et al.[12], pages 30-45.
3. M. ELAASAR and L. BRIAND. An Overview of UML Consistency Management. Technical report, Departement Of Systems And Computer Engineering, Carleton University, August 2004.
4. thInternational Conference on the Unified Modeling Language, Lectures Notes in Computer Sciences no 2185. Springer, 2001.
5. R. ESHUIS and R. WIERINGUA. Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, Vol. 3, no 7, 2004.
6. th International Conference on Engineering of Complex Computer Systems. IEEE, 2001.
7. B. HNATKOWSKA, Z. HUZAR, L. KUZNIARZ, and L. TUZINKIEWICZ. A Systematic Approach to Consistency within UML Based Software Development Process. In KUZNIARZ et al.[12], pages 16-29.
8. S.-K. KIM and D. CARRINGTON. A formal object-oriented approach to defining consistency constraints for UML models. In Proceedings of the Australian Software Engineering Conference. IEEE, 2004.
9. A. KOZLENKOV and A. ZISMAN. Are their design specification consistent with our requirements? In IEEE Joint International Conference on Requirements Engineering, Essen. Germany, September 2002. IEEE.
10. th Asia-Pacific Software Engineering Conference, Singapore, Singapore, December 2002. IEEE.
11. L. KUZNIARZ, Z. HUZAR, G. REGGIO, J.-L. SOURROUILLE, and M. STARON, editors. Proceedings of the IEEE Workshop on Consistency Problems in UML-Based Software Development II. IEEE and Department of Software Engineering and Computer Science of Blekinge Institute of Technology, 2003.
12. L. KUZNIARZ, G. REGGIO, J.-L. SOURROUILLE, and Z. HUZAR, editors. Proceedings of the IEEE Workshop on Consistency Problems in UML-based Software Development. Department of Software Engineering and Computer Science of Blekinge Institute of Technology, 2002.
13. C. LANGE, M. CHAUDRON, J. MUSKENS, L. SOMERS, and E. DORTMANS. An Empirical Investigation in Quantifying Inconsistency and Incompletness in UML Designs. In KUZNIARZ et al.[11], pages 26-34.
14. X. LI, Z. LIU, and H. JIFENG. A formal semantics of UML sequence diagram. In Proceedings of the Australian Software Engineering Conference. IEEE, 2004.
15. J. LILIUS and I. P. PALTA. Formalizing UML state machines for model checking. Lectures Notes in Computer Sciences no 1723, 1999.
16. st International Conference on Software Engineering and Formal Methods, Brisbane, Australia, September 2003. IEEE.
17. OBJECT MANAGEMENT GROUP. MetaObjectFacility (MOF) Specification, version 1.4, April 2002. Available on Internet. URL : .
18. OBJECT MANAGEMENT GROUP. Unified Modeling Language 2.0 Superstructure Specification, August 2003. Available on Internet. URL : .
19. OBJECT MANAGEMENT GROUP. Unified Modeling Language Specification, version 2.0, September 2003. Available on Internet. URL : .
20. A. SCHMIDT and D. VARIO. CheckUML : A tool for model checking visual modeling languages. Lectures Notes in Computer Sciences no 2863, 2003.
21. J.-P. SEUMA VIDAL, H. MALGOUYRES, and G. MOTET. UML 2.0 Consistency Rules, March 2005. Available on Internet. URL : .
22. J.-L. SOURROUILLE and G. CAPLAT. Checking UML Model Consistencv. In KUZNIARZ et al.[12], pages 1-15.
23. R. V. D. STRAETEN, T. MENS, J. SIMMONDS, and V. JONCKERS. Using description logic to maintain consistency between UML models. Lectures Notes in Computer Sciences no 2863, 2003.
24. Y. ZHAO, Y. FAN, X. BAI, Y. VANG, H. CAI, and W. DING. Towards formal verification of UML diagrams based on graph transformation. In Proceedings of the International Conference on E- Commerce Technology for Dynamic E-Business. IEEE, 2004.