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

Abstract

Mass Flow Controllers are complex mechatronic devices the design of which involves many techniques and skills in various scientific domains. Due to the slow response time of the sensors embedded in such devices, it is critically important to control gas flow variations in processes used in semiconductor industry. This paper shows how a digital controller for MFCs can be mathematically computed once the dynamic characteristics of the open-loop system have been identified. The proposed control method goes beyond prior art control methods as it explicitly takes into account the dynamics of the sensor, computes the digital controller appropriate to the order of the open-loop model and imposes a desired closed-loop transient response. The simulations performed and experimental results obtained with this new type of digital controller were very promising.

Automated architectural component classification using concept lattices

“…This paper proposes an indexing mechanism for components that relies on type-theory and uses Formal Concept Analysis (FCA) [2] to build various specialization lattices that both offer human-readable views and computerbrowsable indexes to search for suitable components to assemble or substitute to given ones. This indexing mechanism extends our previous proposal [3] with richer substitution semantics. Additionally, this paper describes the implementation of this indexing mechanism in the CoCoLa 1 tool, that could serve as the basis of an automatically built and search-oriented yellow-page component directory.…”

“…Similarly, we can produce classifications for all functionality names from the example 2 . The case of required functionality signatures is dealt with reverse encoding (as detailed in [3]).…”

Knowledge reduction in formal decision contexts based on an order-preserving mapping

“…A basic notion in this theory is formal concept and the set of all the formal concepts of a formal context forms a complete lattice, called a concept lattice (Wille 1982), to reflect the relationship between generalization and specialization among the formal concepts. FCA has been applied extensively in information retrieval (Cole et al 2003, Carpineto andRomano 2004), machine learning Romano 1993, 1996), knowledge discovery (Stumme et al 1998, Bastide et al 2000, Valtchev et al 2004, Zaki 2004, and many other aspects (Godin et al 1995, Ho 1995, Nguyen and Corbett 2006, Wang and Zhang 2008a, 2008b, Arévalo et al 2009, Bȇlohlávek et al 2009). …”

A Dynamic Classification Pattern of Spatial Statistical Services Using Formal Concept Analysis

“…To date, the aforementioned formal concept analysis has been used to study the identification of taxa in paleobiological data (Belohlavek, Kostak, and Osicka ), to state the theoretical basis for the on‐the‐fly construction of component directories (Arévalo et al ), to identify components for interoperable process models (Bian and Hu ) and to extract the common equations concealed in different concepts in order to reorganize these concepts into a single framework for the purpose of interoperability (Hu and Bian ). There is no doubt that FCA is good at revealing the relationships between the objects and can help to organize the objects clearly.…”