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

Component directories index components by the services they offer thus enabling us to rapidly access them. Component directories are also the cornerstone of dynamic component assembly evolution when components fail or when new functionalities have to be added to meet new requirements. This work targets semi-automatic evolution processes. It states the theoretical basis of on-the-fly construction of component directories using formal concept analysis based on the syntactic description of the services that components require or provide. In these directories, components are more clearly organised and new abstract and highly reusable component external descriptions suggested. Moreover, this organisation speeds up both automatic component assembly and automatic component substitution.

[1]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[2]  Petko Valtchev,et al.  Galicia : an open platform for lattices , 2003 .

[3]  Christian Lindig Concept-Based Component Retrieval , 1995 .

[4]  Frank Vogt,et al.  TOSCANA - a Graphical Tool for Analyzing and Exploring Data , 1994, GD.

[5]  Olivier Ridoux,et al.  Indexation multiple et automatisée de composants logiciels , 2006, Tech. Sci. Informatiques.

[6]  Gerardo Canfora,et al.  An approach to support Web service classification and annotation , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[7]  Pablo Castells,et al.  Semi-automatic Semantic-Based Web Service Classification , 2006, Business Process Management Workshops.

[8]  Antonio Vallecillo,et al.  A Trading Service for COTS Components , 2004, Comput. J..

[9]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[10]  Sergei O. Kuznetsov,et al.  Comparing performance of algorithms for generating concept lattices , 2002, J. Exp. Theor. Artif. Intell..

[11]  Marianne Huchard,et al.  Automated and Unanticipated Flexible Component Substitution , 2007, CBSE.

[12]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[13]  Marianne Huchard,et al.  Search-based many-to-one component substitution , 2008 .

[14]  Marianne Huchard,et al.  Relational concept discovery in structured datasets , 2007, Annals of Mathematics and Artificial Intelligence.

[15]  MeyerBertrand,et al.  Design by Contract , 1997 .

[16]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[17]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[18]  Bernd Fischer Specification-Based Browsing of Software Component Libraries , 2004, Automated Software Engineering.

[19]  Marianne Huchard,et al.  Journal of Software Maintenance and Evolution: Research and Practice Search-based Many-to-one Component Substitution , 2022 .

[20]  Marianne Huchard,et al.  Automating the Building of Software Component Architectures , 2006, EWSA.

[21]  dizayn İç dekor Design by Contract , 2010 .

[22]  Heiko Schuldt,et al.  CASCOM: Intelligent Service Coordination in the Semantic Web , 2008 .

[23]  Jean-Marc Geib,et al.  Type-safe trading proxies using TORBA , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[24]  Olivier Ridoux,et al.  Arbitrary Relations in Formal Concept Analysis and Logical Information Systems , 2005, ICCS.