A UML model consistency verification approach based on meta-modeling formalization

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1804-1809

  Malgouyres, H ^a   Motet, G ^a  

^a INSA   (France)

Author keywords

Consistency rules; Constraint logic programming; Meta modeling; UML verification

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE; LOGIC PROGRAMMING;

CONSISTENCY RULES; CONSTRAINT LOGIC PROGRAMMING; META-MODELING; UML VERIFICATION;

FORMAL LANGUAGES;

EID: 33751059514     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141703     Document Type: Conference Paper

References (24)

1. L. Apvrille, J.-P. Courtiat, C. Lohr, and P. de Saqui-Sannes. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. Transactions on Software Engineering, IEEE Computer Society, pages 473-487, 2004.
2. P. Bhaduri and R. Venkatesh. Formal Consistency of Models in Multi-View Modelling. In Kuzniarz et al. [16], pages 149-159.
3. J.-P. Bodeveix, T. Millan, C. Percebois, C. L. Camus, P. Bazex, and L. Feraud. Extending OCL for verifying UML models consistency. In Kuzniarz et al. [16], pages 75-90.
4. A. W. Bogumila Hnatkowska. Consistency Checking of USDP Models, pages 59-70, Lisbon, Portugal, October 11, 2004.
5. E. Cerny and F. Jin. Verification of real time controllers against timing diagram specifications using constraint logic programming. In EUROMICRO, pages 10229-10236. IEEE Computer Society, 1998.
6. W. Chen and D.S. Warren. Tabled evaluation with delaying for general logic programs. Journal of the ACM, 43(1):20-74, 1996.
7. B. Cui, Y. Dong, X. Du, K. N. Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, A. Roychoudhury, S. A. Smolka, and D. S. Warren. Logic Programming and Model Checking. In C. Palamidessi, H. Glaser, and K. Meinke, editors, PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, pages 1-20. Springer, 1998.
8. R. Eshuis and R. Wieringua. Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, Vol.3, n7, IEEE Computing Society, 2004.
9. A. Evans, R. France, K. Lano, and B. Rumpe. Developing the UML as a Formal Modelling Notation. In UML'98 Beyond the notation. International Workshop Mulhouse France. Ecole Superieure Mulhouse, Universite de Haute-Alsace, 1998.
10. F. Pages. Constraint logic programming (in French). Cours de l'Ecole Polytechnique. Ellipses, Paris, 1996.
11. S. Flake and W. Müller. Specification of real-time properties for UML models. In Hawai'i International Conference on System Sciences (HICSS-35). IEEE Computer Society, 2002.
12. J. M. K. Gregor Engels, Reiko Heckel. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In Lecture Notes in Computer Science, Volume 2185, Springer, 2001.
13. C. Gryce, A. Finkelstein, and C. Nentwich. Lightweight Checking for UML Based Software Development. In Kuzniarz et al. [16], pages 124-132.
14. J. Jaffar, A. E. Santosa, and R. Voicu. A CLP Proof Method for Timed Automata. In Real-Time Systems Symposium (RTSS 2004), pages 175-186. IEEE Computer Society, 2004.
15. S.-K. Kim and D. Carrington. A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. In Software Engineering Conference. Australian. IEEE Computing Society, 2004.
16. L. Kuzniarz, G. Reggio, J.-L. Sourrouille, and Z. Huzar, editors. Proceedings of the Workshop on Consistency Problems in UML-based Software Development. Department of Software Engineering and Computer Science of Blekinge Institute of Technology, 2002.
17. C. Lange, M. R. V. Chaudron, J. Muskens, L. J. Somers, and H. Dortmans. An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs. In 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, pages 26-34. IEEE and Department of Software Engineering and Computer Science of Blekinge Institute of Technology, 2003.
18. H. Malgouyres, J.-P. Seuma Vidai, and G. Motet. UML 2.0 Consistency Rules, March 2005. URL : http://www.lesia.insa-toulouse.fr/UML.
19. Object Management Group. Meta Object Facility (MOF), 2003. URL : http://www.omg.org/technology/documents/formal/mof.h
20. Object Management Group. UML 2.0 Infrastructure Final Adopted Specifcation, 2003. URL : http://www.omg.org/cgi-bin/doc?ptc/2003-09-15.
21. Object Management Group. Unified Modeling Language 2.0 Superstructure Specification, Aug. 2004. URL : http://www.omg.org/uml/.
22. N. P. Olivier Defour, Jean-Marc Jzquel. Extra-Functional Contract Support in Components. In Lecture Notes in Computer Science, Volume 3054, pages 217-232. Springer, May 2004.
23. J. Seuma Vidal, H. Malgouyres, and G. Motet. UML 2.0 consistency rules identification. SERP'05 - The International Conference on Software Engineering Research and Practice, CSREA Press, 2005.
24. J.-L. Sourrouille and G. Caplat. Checking UML Model Consistency. In Kuzniarz et al. [16], pages 1-15.