Introduction to formal concept analysis class central. This is conexpclj, a general purpose software tool for formal concept analysis. Fca provides a mathematical model for describing a set of objects e. It provides tools for understanding the data by representing it as a hierarchy of concepts or, more exactly, a concept. Formal concept analysis enhances fault localization in. Formal concept analysis applied on software understanding. Semantifying formal concept analysis using description logics. Wille, is not only a method for data analysis and knowledge representation, but also a formal formulation for concept formation and learning. Video created by national research university higher school of economics for the course introduction to formal concept analysis. Well have a look at software called concept explorer, which is good for basic processing of.
Interactive navigation tool for dyadic and triadic formal concepts asp concept navigation is an interactive tool that allows the user to navigate through the concepts of a dyadic or triadic dataset. Apparently this software does not work with openjdk. In acm international joint conferences on web intelligence and intelligent agent technologies, pages 405408. Formal concept analysis used for software analysis and. Formal concept analysis in software engineering ieee conference. Formal concept analysis applications and demos latviz and rvxplorerfca tools bundle5 examples of contextslattices with downloadable cxt files concept neighbourhoods in rogets thesaurus shows concept latticeslattice drawing software lattices in general, not fcaspecific, java appletdownloadvirtual museum of the pacific uses fca in the background as explained in this youtube videokfca. It can convert existing data sets in flatfile csv or 3column csv to burmeister cxt or fimi dat context files. Ganter and wille, 1996 led to a new possibility for the visualization of data by line diagrams of conceptual hierarchies. The advantage of this approach is that no reference library is. This course is an introduction into formal concept analysis fca, a mathematical theory oriented at applications in knowledge representation, knowledge acquisition, data analysis and.
The formal methods used during the development process provide a mechanism for eliminating problems, which are. Cla end of june 2020 in tallinn, estonia permanent cla website. In 8 fca is used to determine dependencies on program trace. This tutorial provides the background knowledgerequired by such applications. Software peggy cellier, mireille ducass e, s ebastien ferr e, olivier ridoux to cite this version. I am asking about a tool performing formal concept analysis building lattices with.
At the heart of athena is a new data analysis method based on fca to categorize, process, and deliver relevant key information to crisis stakeholders. Fca analyzes data which describe relationship between a particular set of objects and a particular set of attributes. Lnai 3626 a survey of formal concept analysis support. This paper presents concepttheoretical propositions that allow assessing abstraction qualities in a formal sense and gives an extended case study of a concept theoretical interpretation of one the most widely used software libraries, the standard template library. It produces two types of output from the input data. Conexp concept explorer java at sourceforge the source code can be found in the cvs. It allows the generation of formal concepts and association rules as. Formal concept analysis based framework for evaluating. Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy.
Lattice miner allows also the drawing of nested line diagrams. This week we will learn the basic notions of formal concept analysis fca. Peggy cellier, mireille ducass e, s ebastien ferr e, olivier ridoux. Formal concept analysis research toolbox fcart is a software system for information retrieval and knowledge discovery from various data sources based. It allows the generation of formal concepts and association rules as well as the transformation of formal contexts via apposition, subposition, reduction and objectattribute generalization, and the manipulation of concept lattices via approximation, projection and selection.
Formal concept analysis applications and demos latviz and rvxplorerfca tools bundle5 examples of contextslattices with downloadable cxt files concept neighbourhoods in rogets thesaurus shows concept lattices lattice drawing software. Jul 14, 2005 formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. A survey of formal concept analysis support for software. Concept location using formal concept analysis and. Section 5 reports work related to software maintenance before section 6 concludes the paper. Formal concept analysis definition of formal concept. This model lays the foundation for developing a complex system and supporting the program development. This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. Concept explorer implements basic functionality, needed for students and researchers in field of formal concept analysis. Fca is a technique that can be applied to model the linguistic conceptualizations that experts make when describing their expertise domain. Formal concept analysis fca is a principled way of deriving a concept hierarchy or formal ontology from a collection of objects and their properties.
Introduction to formal concept analysis international center for. Practically, fca is a conceptual framework and starts with a formal context containing values of 0 and 1 in an information system. Sep 02, 20 last time i posted about the nucleus of enriched functors. Lattice miner is a formal concept analysis software tool for the construction, visualization and manipulation of concept lattices. An important notion in formal concept analysis is thus a formal concept, which is a pair consisting of a set of objects the extension and a set of attributes the intension such that the intension consists of exactly those attributes that the objects in the extension have in common, and the extension contains exactly those objects that share all attributes in the intension in 22. Analysing behavioral dependencies in a class hierarchy. Formal concept analysis used for software analysis and modelling. Formal concept analysis in software engineering proceedings. For example, in 11 and 6 authors use formal concept analysis for building class hierarchies. Given a binary relationship between objects and attributes, concept analysis is a powerful technique to organizepairs of related sets of objects and attributes into a conceptlattice, where higher level concepts. Formal concept analysis bibliographies and conferences introductions to formal concept analysis i davey, b. The papers are classified using a framework based on the activities defined.
The first is a concept lattice that represents a set of formal concepts. This paper presents a broader overview by describing and classifying academic papers that report the application of fca to software engineering. Given a binary relationship between objects and attributes, concept analysis is a powerful technique. Fcabedrock is a tool for creating context files for formal concept analysis. What is the most comrehensive tool for formal concept analysis for. This paper presents a broader overview by describing and classifying academic papers that report the application of fca to software. Formal concept analysis is a method of conceptual knowledge representation and data analysis. Concept neighbourhoods in rogets thesaurus and wordnet. A survey of formal concept analysis support for software engineering activities. Conexpng, packaged release download, reimplementation of conexp by robert jaschkes students, uses fcalib, fcatools. Formal concept analysis fca has typically been applied in the field of software engineering to support software maintenance and objectoriented class identification tasks. It can convert existing data sets in flatfile csv or 3column. Fca can help in processing a wide class of data types providing a. Formal concept analysis fca is a powerful mathematical tool that allows deriving concept hierarchies from large sets of data in order to analyze data and derive meaningful information from it 3.
Cambridge university press 2002, second edition i ganter, b. It allows the generation of formal concepts and association rules as well as the transformation of formal contexts via apposition, subposition, reduction and objectattribute generalization, and the manipulation of concept lattices via approximation, projection and. Lessons learned in applying formal concept analysis to reverse engineering 4 we must remark that, from our experiences, there are two main participants in the approach. It can convert existing data sets in flatfile csv or 3column csv to burmeister cxt or fimi dat context files file name.
In general, fca can successfully be used in almost all phases of the software life cycle. Request pdf formal concept analysis used for software analysis and modelling formal concept analysis fca has shown its benefits in many application areas including the field of software. Such data commonly appear in many areas of human activities. Formal concept analysis fca essay 1072 words bartleby. Formal concept analysis homepage table of contentssitemap uta priss contents. Second, a weighted concept lattice wcl is applied to reduce the merged concept lattice, based on information entropy and a deviance analysis. Formal concept analysis fca is a mathematical theory based on lattice and order theory used for data analysis and knowledge representation. Formal concept analysis fca is a mathematical theory of data analysis using formal contexts and concept lattices. A survey of formal concept analysis support for software engineering activities 251 development and an application to formal speci. First, formal concept analysis fca is used to formalize different termbased representations in relation to the geographic domain, and to construct a merged formal context. Formal concept analysis of rodent carriers of zoonotic disease. Improve this page add a description, image, and links to the formal concept analysis topic page so that developers can more easily learn about it. This course is an introduction into formal concept analysis fca, a mathematical theory oriented at applications in knowledge representation, knowledge. Highlevel views in objectoriented software using formal concept analysis 1 highlevel views in objectoriented software using formal concept analysis.
The technique of formal concept analysis is applied to a. Lessons learned in applying formal concept analysis to. Feb 21, 2019 this course is an introduction into formal concept analysis fca, a mathematical theory oriented at applications in knowledge representation, knowledge acquisition, data analysis and visualization. Formal concept analysis research toolbox fcart is a software system for information retrieval and knowledge discovery from various data sources based on fca approach. Fca finds practical application in fields including data mining, text mining, machine learning, knowledge management, semantic web.
Formal concept analysis software lexus lfa concept screensaver v. Detecting software patterns using formal concept analysis. Christian lindig, in the art and science of analyzing software. Formal concept analysis fca is a method of data analysis with growing popularity across various domains. Cgfca also reports various graph features such as cycles and carries out joins of coreferent concepts and relations. A survey of formal concept analysis support for software engineering activities thomas tilley 1, richard cole, peter becker, and peter eklund2 1 school of information technology and electrical. Our work shows a method to detect software patterns using formal concept analysis. The project has been started by daniel borchmann under supervision of christian meschke as part of the dfg project ga 216101. This course is an introduction into formal concept analysis fca. The underlying notion of concept evolved early in the philosophical theory of concepts.
Summer schoolachievements and applications of contemporary informatics, mathematics and physics aacimp 2011 august 820, 2011, kiev, ukraine. Formal concept analysis fca has typically been applied in the. Formal concept analysis enhances fault localization in software. Fca analyzes data which describe relationship between a. Although formal concept analysis fca was initially intended as an alternative to the classical lattice theory, the discipline has largely outgrown this narrow frame.
Tockit, score, toscanaj, tupleware at sourceforge, manual, etc conexp concept explorer java at sourceforge the source code can be found in the cvs. Quantum computing explained with a deck of cards dario gil, ibm research duration. The formal methods model is concerned with the application of a mathematical technique to design and implement the software. Formal concept analysis of rodent carriers of zoonotic. Formal concept analysis is a useful tool to represent logical implications in datasets, to analyze the underground knowledge that lies behind large amounts of data. In this paper we propose formal concept analysis fca as the basis for a practical and well founded methodological approach to the design of educational applications. The tool builder builds the fcabased tool to generate the high level views, and the software engineer uses the results provided by. Formal concept analysis finds practical application in fields including data mining, text mining, machine learning, knowledge management, semantic web, software. Video about the cubist software hopefully this software will be released to open source one day. It thereby activates math ematical thinking for conceptual data analysis and knowledge processing. Over the past several years, many of its extensions. Pdf formal concept analysis enhances fault localization. Lnai 3626 a survey of formal concept analysis support for.
Highlevel views in objectoriented software using formal. Each concept in the hierarchy represents the objects sharing some set of properties. This paper presents a broader ov erview by describing and classifying academic papers that report the application of fca to software engineering. Formal concept analysis foundations and applications. This course is an introduction into formal concept analysis fca, a mathematical theory oriented at applications in knowledge representation, knowledge acquisition, data analysis and visualization. An entropybased weighted concept lattice for merging. It provides tools for understanding the data by representing it as a hierarchy of concepts or, more exactly, a concept lattice. Comparison of visualizations in formal concept analysis.
Authors reveal causal dependencies and even are able to nd likely invariants\ of program in special cases. Chapter 7 comparison of visualizations in formal concept analysis and correspondence analysis karl erich wolff and siegfried gabler 1 introduction the development of formal concept analysis wille, 1982. Cgfca is a program that converts conceptual graph files in the. Concept analysis wasrecently applied to several software engineering problems,such as.
1035 426 1036 212 186 1371 1612 610 317 947 258 1571 1051 379 1303 329 1634 400 538 858 117 418 790 394 1285 34 1195 753 225 1327 529 748 976 239 67 323