Interface between logical analysis of data and formal concept. This work presents a methodology how to use formal concept analysis to detect. It provides tools for understanding the data by representing it as a hierarchy of concepts or, more exactly, a concept lattice. Since its early years, formal concept analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis mining and knowledge management and discovery. Formal concept analysis bibliographies and conferences introductions to formal concept analysis i davey, b. Commonly used to unambiguously represent the hundreds or even thousands of natural language requirements that are typically used to express the stakeholder needs for a largescale software integrated system. Formal context is a triple k, gm i, where g is a set of objects, m set of their attributes, i gm binary relation which represents facts of belonging attributes to objects. Pdf citation analysis using formal concept analysis.
Formal concept analysis fca has shown its benefits in many application areas including the field of software. The toscanaj suite for implementing conceptual information systems. Formal concept analysis foundations and applications. Design patterns are used in software engineering for guiding code design. 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. Fcase 20 contents 1 the role of concepts in software development 2. Recent methodologies suggest to combine jacobsons use case analysis with modelling techniques for. This paper presents a way to acquire the initial models of a domain when building a knowledge based system. Modelbased testing is a software testing technique that derives a suite of test cases from a model which represents the behavior of a software system. The formal concept analysis can be used as a qualitative method for data analysis. Formal concept analysis is a method of conceptual knowledge representation and data analysis. Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy.
Formal concept analysis used for objectoriented software. Foundations formal concept analysis as mathematical. Using formal concept analysis for discovering knowledge patterns. Each concept in the hierarchy represents the objects. The galois connections between the formal concepts of a formal context can be visualized in a concept lattice figure 14. Formal concept analysis fca is a principled way of deriving a concept hierarchy or formal. Manytomany relations can be represented as concept lattices where the values from one domain are used as the formal objects and the values of the other domain as formal at. Since its early years, formal concept analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and.
Formal concept analysis is a method used for investigating and processing explicitly given information, in order to allow for meaningful and comprehensive interpretation an analysis of. Feature model composition assisted by formal concept analysis. For a formal concept ha,bi in hx,y,ii, a and b are called the. Software evolution is an iterative and incremental process that encompasses the modification and alteration of software models at different levels of abstraction. By using fsdm we demonstrate that the is model can be recr eated with formal concept analysis. Oct 25, 2016 a concept model is used to organise the business vocabulary needed to consistently and thoroughly communicate the knowledge of a domain.
Ifw financial services data model fsdm has been used for the present research. The development process starts with the analysis phase. Formal concept analysis can be used to record and analyze such features. The formal concept analysis approach has been proven successful in a wide range of application fields. Given some data on the attributes of some objects, you want to be able to make deductions, or indeed, to decide exactly what deductions can be, erm, deduced from the data. This first step in the knowledge acquisition process has not been well investigated in the past. Lessons learned in applying formal concept analysis to. Formal concept analysis and information systems modeling. Using formal concept analysis for the verification of process. Each concept in the hierarchy represents the objects sharing some set of properties. In this section we present formal concept analysis as the formal technique to analyze is. Cgfca is a program that converts conceptual graph files in the. A model of the software is constructed from the source code. Proceedings of the 18th international workshop on database and expert systems.
We propose to support the initial modelling by a technique called formal concept analysis for data analysis. A concept model is used to organise the business vocabulary needed to consistently and thoroughly communicate the knowledge of a domain. In this paper, we investigate how formal concept analysis can be used to formally underpin the. Detecting software patterns using formal concept analysis. Formal concept analysis used for objectoriented software modelling author. 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. Formal concept analysis based class hierarchy design in objectoriented software. In general, fca can successfully be used in almost all phases of the. In this paper, we investigate how formal concept analysis can be used to formally underpin the construction of a conceptual domain model. Manytomany relations can be represented as concept lattices where the values from one domain are used as the formal objects and the values of the other domain as formal attributes. The approach we propose falls into the latter category, applying formal concept analysis to rdf graphs. Formal concept analysis to learn from the sisyphusiii. Formal concept analysis formal concept analysis is a method used for investigating and processing explicitely given information, in order to allow for meaningful and comprehensive interpretation an analysis of data structures of formal abstractions of concepts of human thought.
Formal context is a triple k, gm i, where g is a set of objects, m set of. Formal concept analysis formal concept analysis is a method used for investigating and processing explicitely given information, in order to allow for meaningful and comprehensive interpretation an. This first step in the knowledge acquisition process has not been well investigated in. In general, fca can successfully be used in almost all phases of the software life cycle. Rdf dataset are based on clustering 1, latent topic analysis 7, association rule mining 2, nary relations 31, prototypes, formal concept analysis 6, 16, 22, and more besides.
The notion of a formal concept is fundamental in fca. Formal concept analysis fca has typically been applied in the field of software engineering to support software maintenance and objectoriented class identification tasks. Using formal concept analysis for the verification of. In mde context, the model transformation is primordial phase because it defines the automation that is used in the software development process. Many fca software applications are available today. Formal concept analysis provides a formal framework for recognizing groups. Formal concept analysis fca objectoriented software modelling created date. A survey of formal concept analysis support for software engineering activities. This phase results in a specification document that shows what the software will do without specifying how it will be done. The line diagrams of concept lattices can be used for communication among linguists about such features see section 2. Conceptual modeling with formal concept analysis on natural. Citeseerx document details isaac councill, lee giles, pradeep teregowda. Formal concept analysis based class hierarchy design in objectoriented software development. In this hybrid method, latent semantic analysis is used to find the concepts and their correlation value and mapping is done for different words with the help of fuzzy formal concept analysis.
Bridging the gap between use case analysis and class. This tutorial provides the background knowledgerequired by such applications. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. 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. Formal concept analysis used for software analysis and modelling springerlink. Foundations formal concept analysis as mathematical theory of. Commonly used to unambiguously represent the hundreds or even thousands of natural. Formal concept analysis fca is a principled way of deriving a concept hierarchy or formal ontology from a collection of objects and their properties. In particular, we demonstrate that intuitive verification rules for processdata matrices can be formally grounded in fca theory. It is used to describe objects in terms of attributes they have.
Interface between logical analysis of data and formal. 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 first part of the book is devoted to foundational and methodological topics. Formal concept analysis fca and hierarchical classes analysis hca are regarded as two approaches or frameworks to describe, characterize and summarize data for data analysis. Application of formal concept analysis in modelbased testing. Next we present ibms ifw solution and the models fr om it which we used in our experiments. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. Information systems engineering, formal concept analysis. We show that the two methodologies utilize the same basic building blocks.
Concept analysis wasrecently applied to several software engineering problems,such as. Formal concept analysis fca has shown its benefits in many application areas including the field of software engineering. Conceptual modeling with formal concept analysis on. Apr 28, 2014 formal concept analysis is a method used for investigating and processing explicitly given information, in order to allow for meaningful and comprehensive interpretation an analysis of data structures of formal abstractions of concepts of human thought formal emphasizes that the concepts are mathematical objects, rather than. Thenand later in model theorya concept as unary predicate had been reduced to its. Tutorial formal concept analysis formal concept analysis arose around 1980 in darmstadt as a mathematical theory, which formalizes the concept of concept. Formal concept analysis for specification of model transformations. Formal concept analysisbased class hierarchy design in objectoriented software development. Cgfca also reports various graph features such as cycles and carries out joins of coreferent concepts and relations. That enables us to develop an interface between the two methodologies. Define analysis modelling and the analysis principles 3 marks each 1. Logical analysis of data and formal concept analysis are separately developed methodologies based on different mathematical foundations. One of the first steps in a software engineering process is the elaboration of the conceptual domain model.
Introduction software engineers and business analysts spend hours in defining information. Jul 11, 2005 the first part of the book is devoted to foundational and methodological topics. Derivation operators in a formal context link together object and attribute subsets. Relations in lexical databases often form trees, imperfect trees or polyhierarchies which can be embedded into concept lattices. The simplest data structure in formal concept analysis is the formal context. Formal concept analysis used for software analysis and modelling.
Tutorial formal concept analysis conceptual knowledge. The increasing demand for quality in educational software makes it necessary to use tools and methodologies that support both. Modelling dynamics in semantic web knowledge graphs with. Modelling lexical databases with formal concept analysis. Formal concept analysis to learn from the sisyphusiii material. Business analysts of every stripe need concept models. Each of them provides a type of visual representation of information and knowledge derived from a simple binary information table, which is called a formal context. In the domain of software product lines, feature models fm play a central role in variability modeling, com. Formal concept analysis used for software analysis and. Pdf in this paper formal concept analysis fca is used as a means to analyse afield of research using. Sep 02, 20 so that would be one way of applying formal concept analysis to mathematics. Another aspect of formal concept analysis concerns logical systems in the following sense. Formal concept analysis and hierarchical classes analysis. Concept modeling provides clarity and structure for business analysis and business communication in a way that data modeling and other techniques.
877 174 98 1430 573 1156 400 149 639 1007 652 289 120 1342 593 566 1512 721 1529 864 1054 724 944 331 1413 1318 874 1493 842 737 1337