Using formal concept analysis to establish model dependencies

International Conference on Information Technology: Coding and Computing, ITCC

Volumn 2, Issue , 2005, Pages 365-372

  Ivkovic, Igor ^a   Kontogiannis, Kostas ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Formal concept analysis; Model dependencies; Model synchronization; Software evolution; Software modelling

Indexed keywords

ABSTRACTING; AUTOMATION; CODES (SYMBOLS); MATHEMATICAL MODELS; SUSTAINABLE DEVELOPMENT;

FORMAL CONCEPT ANALYSIS; MODEL DEPENDENCIES; MODEL SYNCHRONIZATION; SOFTWARE EVOLUTION; SOFTWARE MODELING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 24744442134     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/itcc.2005.286     Document Type: Conference Paper

References (19)

1. G. Engels, R. Huecking, S. Sauer, and A. Wagner. Uml collaboration diagrams and their transformation to java. In Proceedings of the Second International Conference on The Unified Modeling Language (UML), Fort Collins, CO, Oct 1999.
2. M. Faid, R. Missaoui, and R. Godin. Knowledge discovery in complex objects. Computational Intelligence, 15(1), Jan 1999.
3. B. Ganter and R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer-Verlag, 1999.
4. IBM. Rational unified process (rup). Online by IBM Corporation, 2004. http://www.ibm.com/software/awdtools/rup/.
5. I. Ivkovic and K. Kontogiannis. Model synchronization as a problem of maximizing model dependencies. In Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004), Vancouver, BC, Oct 2004.
6. I. Ivkovic and K. Kontogiannis. Tracing evolution changes through model synchronization. In Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago, IL, Sep 2004.
7. L. Kean. Feature-oriented domain analysis. Software technology review, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1997.
8. A. Kleppe, J. Warmer, and W. Bast. The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003.
9. OMG. Model driven architecture - a technical perspective. Object Management Group's (OMG's) Architecture Board ORMSC Document ORMSC/01-07-01, Object Management Group, Jul 2001.
10. OMG. Meta object facility (mof) specification version 1.4. Technical report, Object Management Group (OMG), Apr 2002. http://www.omg.org/docs/formal/ 02-04-03.pdf.
11. OMG. Unified modelling language (uml) specification. Technical report, Object Management Group, Mar 2003. http://www.omg.org/docs/formal/03-03-01.pdf.
12. C. Rich and L. M. Willis. Recognizing a program's design: A graph-parsing approach. IEEE Software, Jan 1990.
13. P. Rodriguez-Gianolli and J. Mylopoulos. A semantic approach to xml-based data integration. In Proceedings of the 20th International Conference on Conceptual Modeling, 2001.
14. G. Spanoudakis and P. Constantopoulos. Measuring similarity between software artifacts. In Proceedings of 6th International Conference on Software Engineering and Knowledge Engineering (SEKE 94), Jurmala, Latvia, Jun 1994.
15. T. Tong, R. McKegney, T. Lau, K. Kontogiannis, I. Ivkovic, P. Liew, Y. Zou, Q. Zhang, and M. Hung. Model synchronization for efficient software application maintenance. In Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), Bari, Italy, Jun 2004.
16. W3C. Extensible markup language (xml) specification. Technical report, W3C XML Core Working Group, Oct 2000.
17. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
18. Y. Zou, T. Lau, K. Kontogiannis, T. Tong, and R. McKegney. Model driven business process recovery. In Proceedings of the 11th IEEE Working Conference on Reverse Engineering (WCRE2004), Amsterdam, The Netherlands, Nov 2004.
19. Sun microsystems. Online by Sun Microsystems Inc. Nov 2003. http://java.sun.com/products/ejb/docs.html.