Building abstractions in class models: Formal concept analysis in a model-driven approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 513-527

  Arévalo, Gabriela ^a   Falleri, Jean Rémi ^a   Huchard, Marianne ^a   Nebut, Clémentine ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ITERATIVE METHODS; MATHEMATICAL MODELS;

FORMAL CONCEPT ANALYSIS; METAMODELS; UNIFIED MODELING LANGUAGE (UML);

ABSTRACTING;

EID: 33750353920     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_36     Document Type: Conference Paper

References (19)

1. Ganter, B., Wille, R.: Formal Concept Analysis, Mathematical Foundations. Springer, Berlin (1999)
2. Godin, R., Mili, H.: Building and maintaining analysis-level class hierarchies using Galois lattices. In: Proc. of OOPSLA'93, Washington (DC), USA. (1993) 394-410
3. Dicky, H., Dony, C., Huchard, M., Libourel, T.: On Automatic Class Insertion with Overloading. In: Special issue of Sigplan Notice, Proc. of OOPSLA'96. (1996) 251-267
4. Snelting, G., Tip, F.: Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems 22(3) (2000) 540-582
5. Triskell project (IRISA): The Metamodeling Language Kermeta. http://www.kermeta.org (2006)
6. Dao, M., Huchard, M., Hacène, M.R., Roume, C., Valtchev, P.: Improving Generalization Level in UML Models: Iterative Cross Generalization in Practice. In: ICCS'04. Volume 3127 of Lecture Notes in Computer Science., Springer (2004) 346-360
7. OMG: UML version 2.0. http://www.omg.org/technology/documents/formal/uml. htm (2006)
8. Steel, J., Jézéquel, J.M.: Model typing for improving reuse in model-driven engineering. In: Proceedings of MODELS/UML'2005. (2005) 84-96
9. Tilley, T., Cole, R., Becker, P., Eklund, P.: A survey of formal concept analysis support for software engineering activities. In: Proc. of the First International Conference on Formal Concept Analysis - ICFCA'03, Springer-Verlag (2003) 250-271
10. Arévalo, G.: High-Level Views in Object-Oriented Systems using Formal Concept Analysis. PhD thesis, Software Composition Group, University of Bern (2004)
11. Yahia, A., Lakhal, L., Cicchetti, R., Bordat, J.: iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design. In: Proc. of the 15th International Conf. on Conceptual Modeling ER'96. Volume 1157. (1996) 422-437
12. Andonnoff, E., Sallaberry, C., Zurfluh, G.: Interactive design of object oriented databases. In: Proc. of CAISE'92. Volume 593 of LNCS., Springer-Verlag (1992) 128-146
13. Cook, W.: Interfaces and Specifications for the Smalltalk-80 Collection Classes. In Paepcke, A., ed.: Proceedings of the 10th OOPSLA, ACM Press (1992) 1-15
14. Moore, I.: Automatic Inheritance Hierarchy Restructuring and Method Refactoring. In: Proceedings of OOPSLA'96, San Jose (CA), USA. (1996) 235-250
15. Chen, J.B., Lee, S.C.: Generation and reorganization of subtype hierarchies. Journal of Object Oriented Programming 8(8) (1996) 26-35
16. Si-Said Cherfi, S., Lammari, N.: Towards and Assisted Reorganization of Is-A Hierarchies. In: Proc. of Object-Oriented Information Systems, Springer-Verlag (2002) 536-548
17. Mens, T., Tourwé, T.: A survey of software refactoring. IEEE Transactions on Software Engineering 30(2) (2004) 126-139
18. Sunyé, G., Pollet, D., Le Traon, Y., Jézéquel, J.M.: Refactoring UML models. In: Proc. Unified Modeling Language Conf. (2001) 134-148
19. Tokuda, L., Batory, D.: Automated software evolution via design pattern transformations. In: Proc. of the Int'l Symp. on Applied Corporate Computing. (1995)