Formal concept analysis-based service classification to dynamically build efficient software component directories

International Journal of General Systems

Volumn 38, Issue 4, 2009, Pages 427-453

  Arévalo, Gabriela ^a   Desnos, Nicolas ^b   Huchard, Marianne ^c   Urtado, Christelle ^b   Vauttier, Sylvain ^b  

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^b ECOLE DES MINES D ALÈS   (France)

^c UNIV MONTPELLIER   (France)

Author keywords

Component classification; Component directories; Component based software engineering; Formal concept analysis

Indexed keywords

COMPONENT ASSEMBLY; COMPONENT SUBSTITUTION; COMPONENT-BASED SOFTWARE ENGINEERING; DYNAMIC COMPONENT; FORMAL CONCEPT ANALYSIS; ON-THE-FLY; REUSABLE COMPONENTS; SEMI-AUTOMATICS; SOFTWARE COMPONENT; THEORETICAL BASIS;

COMPUTER SOFTWARE;

EID: 74349109474     PISSN: 03081079     EISSN: 15635104     Source Type: Journal    
DOI: 10.1080/03081070902857522     Document Type: Conference Paper

References (28)

1. Birkhoff, G., 1940. Lattice theory. Vol.XXV. Providence, RI: AMS Colloquium Publication.
2. Bruno, M., Canfora, G., Penta, M.D. and Scognamiglio, R., 2005. An approach to support web service classification and annotation. In: W.K. Cheung and J. Hsu, eds. Proceedings of the IEEE international conference on e-technology, e-commerce and e-service (EEE'05). Washington, DC: IEEE Computer Society, 138-143.
3. Cardelli, L., 1984. A semantics of multiple inheritance. In: G. Kahn, D.B. MacQueen and G.D. Plotkin, eds. Semantics of data types. LNCS 173. Berlin: Springer, 51-67.
4. Corella, M.Á . and Castells, P., 2006. Semi-automatic semantic-based web service classification. In: J. Eder and S. Dustdar, eds. Business process management workshops. LNCS 4103. Berlin: Springer, 459-470.
5. Davey, B.A. and Priestley, H.A., 1991. Introduction to lattices and orders. Cambridge University Press.
6. Desnos, N., Vauttier, S., Urtado, C. and Huchard, M., 2006. Automating the building of software component architectures. LNCS 4333. Vienna: Springer, 228-235.
7. Desnos, N., Huchard, M., Urtado, C., Vauttier, S. and Tremblay, G., 2007. Automated and unanticipated flexible component substitution. LNCS 4608. Boston, MA: Springer, 33-48.
8. Desnos, N., Huchard, M., Tremblay, G., Urtado, C. and Vauttier, S., 2008. Search-based many-toone component substitution. Journal of Software and Maintenance Evolution and Research Practice, Special Issue on Search-Based Software Engineering, 20 (5), 321-344.
9. Ferré, S., Ridoux, O., and Sigonneau, B., 2005. Arbitrary relations in formal concept analysis and logical information systems. In: F. Dau, M.L. Mugnier and G. Stumme, eds. ICCS 2005, LNCS 3596 Berlin: Springer, 166-180.
10. Fischer, B., 1998. Specification-based browsing of software component libraries. In: D.F. Redmiles and B. Nuseibeh, eds. Proceedings of the 13th IEEE international conference on automated software engineering (ASE'98), 13-16 October, Honolulu, HA: IEEE Computer Society, 74-83.
11. GaLicia, 2002. Galois lattice interactive constructor, Université de Montréal. Available from: http://www.iro.umontreal.ca/,galicia [accessed 22 September 2008].
12. Huchard, M., Hacene, M.R., Roume, C. and Valtchev, P., 2007. Relational concept discovery in structured datasets. Annals of Mathematics of Artificial Intellegence, 49 (1-4), 39-76.
13. Information Technology Open Distributed Processing, 1998. International Organization for Standardization and International Telecommunication Union, Available from: http://webstore. iec.ch/preview/info-isoiec13235-1%7Bed1.0%7Den. pdf [accessed 22 September 2008].
14. Iribarne, L., Troya, J.M. and Vallecillo, A., 2004. A trading service for COTS components. The Computer Journal, 47 (3), 342-357.
15. Klusch, M., 2008. Semantic service coordination. chap. 4 In: M. Schumacher, H. Helin and H. Schuldt, eds. CASCOM - intelligent service coordination in the semantic web. Birkhaeuser Verlag/Springer.
16. Kuznetsov, S.O. and Obiedkov, S.A., 2002. Comparing performance of algorithms for generating concept lattices. Journal of Experimental and Theoretical Artificial Intelligence, 14 (2-3), 189-216.
17. Lindig, C., 1995. Concept-based component retrieval. In: J. Köhler, et al., eds. Working notes of the IJCAI-95 workshop: formal approaches to the reuse of plans, proofs, and programs, 21-25.
18. Marvie, R., Merle, P., Geib, J.M. and Leblanc, S., 2001. Type-safe trading proxies using TORBA. Fifth international symposium on autonomous decentralized systems, ISADS. 26-28 March Dallas, TX: IEEE Computer Society, 303-310.
19. Meyer, B., 1991. Design by contract. In: D. Mandrioli and B. Meyer, eds. Advances in objectoriented software engineering. Englewood Cliffs, NJ: Prentice Hall, 1-50.
20. OMG, Trading object service specification (TOSS) v1.0. 2000. Object Managment Group, Available from: http://www.omg.org/cgi-bin/doc?formal/2000-06- 27 [accessed 22 September 2008].
21. Sigonneau, B. and Ridoux, O., 2004. Indexation multiple et automatisée de composants logiciels orientés objet. In: J. Julliand, ed. AFADL - Approches Formelles dans l'Assistance au Développement de Logiciels, Juin. Besançon: RTSI/Lavoisier.
22. Szypersky, C., Gruntz, D. and Murer, S., 2002. Component software - beyond object-oriented programming. 2nd ed. Reading, MA/New York: Second Addison-Wesley/ACM Press.
23. Valtchev, P., Grosser, D., Roume, C. and Hacene, M.R., 2003. GaLicia: an open platform for lattices. In: A. de Moor, W. Lex and B. Ganter, eds. Using conceptual structures: contributions to the 11th intl. conference on conceptual structures (ICCS'03). 21-25 July, Available from: http:// www.iro.umontreal.ca/, galicia Dresden: Shaker Verlag, 241-254.
24. Vogt, F. and Wille, R., 1994. TOSCANA - a graphical tool for analyzing and exploring data. In: R. Tamassia and I.G. Tollis, eds. Graph drawing. LNCS 894. New York: Springer, 226-233.
25. Wille, R., 1982. Restructuring lattice theory: an approach based on hierarchies of concepts. Ordered Sets, 83, 445-470.
26. Yevtushenko, S.A., 2000. ConExp. Available from: http://conexp. sourceforge.net/index.html, SourceForge.
27. Zaremski, A.M. and Wing, J.M., 1995. Specification matching of software components. In: G.E. Kaiser, ed. SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on foundations of software engineering, Washington, DC, United States. New York: ACM Press, 6-17.
28. Zaremski, A.M. and Wing, J.M., 1997. Specification matching of software components. ACM Transactions on Software Engineering Methodology, 6 (4), 333-369.