Abstraction Hierarchy - Explore the Science & Experts | ideXlab

Scan Science and Technology

Contact Leading Edge Experts & Companies

Abstraction Hierarchy

The Experts below are selected from a list of 6471 Experts worldwide ranked by ideXlab platform

Abstraction Hierarchy – Free Register to Access Experts & Abstracts

Kenji Ohmori – One of the best experts on this subject based on the ideXlab platform.

  • development of functional reactive programming using an incrementally modular Abstraction Hierarchy
    International Conference on IT Convergence and Security ICITCS, 2015
    Co-Authors: Kenji Ohmori
    Abstract:

    The incrementally modular Abstraction Hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functional programming. In this work, this was done by using the Netwire programming library to implement functional reactive programming in the language Haskell, which is based on category theory. We developed the incrementally modular Abstraction Hierarchy (IMAH) to introduce a modern mathematical method for developing computer games in Netwire and demonstrated that IMAH is capable of facilitating the design and implementation of this challenging but difficult application area.

  • ICITCS – Development of Functional Reactive Programming Using an Incrementally Modular Abstraction Hierarchy
    2015 5th International Conference on IT Convergence and Security (ICITCS), 2015
    Co-Authors: Kenji Ohmori
    Abstract:

    The incrementally modular Abstraction Hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functional programming. In this work, this was done by using the Netwire programming library to implement functional reactive programming in the language Haskell, which is based on category theory. We developed the incrementally modular Abstraction Hierarchy (IMAH) to introduce a modern mathematical method for developing computer games in Netwire and demonstrated that IMAH is capable of facilitating the design and implementation of this challenging but difficult application area.

  • Incrementally Modular Abstraction Hierarchy Using Algebraic Topology
    Transactions on Computational Science XXIII, 2014
    Co-Authors: Kenji Ohmori, Tosiyasu L. Kunii
    Abstract:

    We have introduced a new design method called incrementally modular Abstraction Hierarchy (IMAH). IMAH is based on algebraic topology and it provides seven levels of Abstraction Hierarchy. Using IMAH, designers can begin their development at any level of the Abstraction Hierarchy. By ascending the Hierarchy, they can generalize their design. By descending it, they can specialize their development. When complete, they are able to consider the entire conceptual and physical view of what they have achieved through their work. Though IMAH is a powerful tool, it requires only a simple explanation to be accepted by most researchers and developers. In this paper, we will use basic mathematical concepts, pushouts and pullbacks, to show how systems can be designed in both bottom-up and top-down fashions.

Tosiyasu L. Kunii – One of the best experts on this subject based on the ideXlab platform.

  • Incrementally Modular Abstraction Hierarchy Using Algebraic Topology
    Transactions on Computational Science XXIII, 2014
    Co-Authors: Kenji Ohmori, Tosiyasu L. Kunii
    Abstract:

    We have introduced a new design method called incrementally modular Abstraction Hierarchy (IMAH). IMAH is based on algebraic topology and it provides seven levels of Abstraction Hierarchy. Using IMAH, designers can begin their development at any level of the Abstraction Hierarchy. By ascending the Hierarchy, they can generalize their design. By descending it, they can specialize their development. When complete, they are able to consider the entire conceptual and physical view of what they have achieved through their work. Though IMAH is a powerful tool, it requires only a simple explanation to be accepted by most researchers and developers. In this paper, we will use basic mathematical concepts, pushouts and pullbacks, to show how systems can be designed in both bottom-up and top-down fashions.

  • Visualization of Joinery Using Homotopy Theory and Attaching Maps
    Transactions on Computational Science XVI, 2012
    Co-Authors: Kenji Ohmori, Tosiyasu L. Kunii
    Abstract:

    Visualization plays an important role to understand complicated phenomena. Joinery is complicated combination of woods. The mechanism of joinery, in particular the difference between the tenon-mortise and lap joints, is analyzed using homotopy theory. Then, designing a simple house is visually described using the incrementally modular Abstraction Hierarchy that starts from the homotopy level and ends at the physical level. At the cellular structured level that plays an important role in design, the frame represented by a fundamental group of homotopy theory is transformed into CW-complex consisting of cells, where the concept model is transferred to the physical model. Visualization of designing joinery is realized at each level of the Abstraction Hierarchy to help a designer understand joinery intuitively.

  • Designing and modeling cyberworlds using the incrementally modular Abstraction Hierarchy based on homotopy theory
    The Visual Computer, 2010
    Co-Authors: Kenji Ohmori, Tosiyasu L. Kunii
    Abstract:

    For designing and modeling complicated and sophisticated systems such as cyberworlds, their mathematical foundation is critical. To realize it, two important properties called the homotopy lifting property (HLP) and homotopy extension property (HEP) are applied for designing and modeling a system in a bottom-up way and a top-down way, respectively. In this paper, an enterprise system and a real-time embedded system are considered as important socially emerging cases of cyberworlds, where the π –calculus processes for describing these behaviors formally, a Petri net for explaining process interactions, and XMOS XC programs are modeled and designed by our approach. The spaces in both properties are specified by the incrementally modular Abstraction Hierarchy by climbing down the Abstraction Hierarchy from the most abstract homotopy level to the most specific view level, while keeping invariants such as homotopy equivalence and topological equivalence.

Qiming Chen – One of the best experts on this subject based on the ideXlab platform.

  • a structured approach for cooperative query answering
    IEEE Transactions on Knowledge and Data Engineering, 1994
    Co-Authors: Wesley W Chu, Qiming Chen
    Abstract:

    This paper proposes the use of a type Abstraction Hierarchy as a framework for deriving cooperative query answers. The type Abstraction Hierarchy integrates the Abstraction view with the subsumption (is-a) and composition (part-of) views of a type Hierarchy. Such a framework provides multilevel object representation, which is an important aspect of cooperative query answering. The concept of pattern that specifies one or more conditions on an object is also proposed. Patterns have smaller granularity than types, and thus provide more specific semantic information. Cooperative query answering consists of query relaxation, generalization, specialization, and association on patterns. Query relaxation can be explicitly specified by the user or implicitly performed by the system. The implicit and explicit relaxations can also be combined and performed interactively by both the system and the user. CSQL, an extension of SQL for cooperative query answering, is also proposed. Preliminary experimental results reveal that the proposed type Abstraction Hierarchy provides an organized structure representing concepts at different knowledge levels in various domains, and provides a systematic and efficient method for cooperative query answering. >

  • cooperative query answering via type Abstraction Hierarchy
    , 1991
    Co-Authors: Wesley W Chu, Qiming Chen, Reichi Lee
    Abstract:

    Cooperative query answering consists of analyzing the intent of the query and providing generalized, neighborhood or associated information relevant to the query. The key issues to accomplish cooperative query answering consist of supporting different knowledge representations at different abstract levels and providing inference between these levels. In this paper the Type Abstraction Hierarchy is proposed which is characterized by dealing with subtyping from subsumption, composition, and also Abstraction views. Based on the type Abstraction feature provided by this model, an inference technique for cooperative query answering is developed. Such an inference is performed by abstracting and refining the goal to generalize and specialize the query scope and to derive relevant answers with different generality, coverage, and approximation, or to link related subjects at certain levels by using different representations of knowledge given at different levels. A prototype system has been implemented at UCLA that demonstrates the use of this approach for such decision making and problem solving applications as conceptual query processing, neighborhood inference, and subject association.

Kim J. Vicente – One of the best experts on this subject based on the ideXlab platform.

  • Toward theory-driven, quantitative performance measurement in ergonomics science: The Abstraction Hierarchy as a framework for data analysis
    Theoretical Issues in Ergonomics Science, 2002
    Co-Authors: Elfreda Lau, Kim J. Vicente, Michael W. Carter
    Abstract:

    Measurement in ergonomics science has not kept pace with theorizing. As a result, it is rare to find measures of human performance that are simultaneously objective, quantitative, sensitive, and theoretically grounded. This article proposes a new set of measures, based on the Abstraction Hierarchy (AH) framework, that satisfies all of these criteria. Each level of the AH can be used to define a quantitative state space that can serve as a frame of reference for objective measurement. These state spaces are complementary because they provide different views of the same human-environment behaviour. Collectively, this set of measures can be used to determine if a participant is strongly or weakly coupled to functional or physical distal properties of the work domain. Data from a longitudinal study are used as a case study to test the value of these novel measures. The empirical results show that these AH-based measures provide unique insight into participants’ behaviour that was not revealed by many, more tr…

  • Model-Based Approaches for Analyzing Cognitive Work: A Comparison of Abstraction Hierarchy, Multilevel Flow Modeling, and Decision Ladder Modeling
    International Journal of Cognitive Ergonomics, 2001
    Co-Authors: Catherine M. Burns, Kim J. Vicente
    Abstract:

    Model-based approaches to cognitive task analysis rely on abstracting from the problem domain, rather than a description of task performance. Various classes of work analysis models can be distinguished: task models, work domain structure models, and work domain goal models. In this article, we discuss 3 specific model-based approaches: the Abstraction Hierarchy (AH), Multilevel Flow Modeling (MFM), and the Decision Ladder (DL). The AH creates a model of the work domain structure, MFM of work domain goals, and DL of actor tasks. The 3 approaches are compared in the context of a common example-that of a power plant boiler-to show clearly the differences among the 3 classes of techniques.

  • Wanted: psychologically relevant, device- and event-independent work analysis techniques
    Interacting with Computers, 1999
    Co-Authors: Kim J. Vicente
    Abstract:

    Abstract This article offers a commentary on Richardson, Ormerod, and Shepherd (in press) while building on the previous discussion in this journal of the relative merits of task analysis and systems analysis in human–computer interface design [1] , [2] , [7] . The SGT scheme described by Richardson et al. represents a valuable contribution to the work analyst’s toolkit. However, it is limited in the extent to which it can identify the information requirements associated with unanticipated events. The Abstraction Hierarchy [23] is an event-independent work domain analysis technique that can be used to overcome this limitation while still satisfying the criteria of device-independence and psychological relevance. Future research should integrate the complementary advantages of SGT and the Abstraction Hierarchy into a single, unified framework for work analysis.

Thong Quoc Nguyen – One of the best experts on this subject based on the ideXlab platform.

  • Modeling Abstraction Hierarchy Levels of the Cyber Attacks Using Random Process
    Open Journal of Statistics, 2017
    Co-Authors: Gilles Durrieu, Emmanuel Frénod, Thierry Morineau, Thong Quoc Nguyen
    Abstract:

    Aspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their Abstraction Hierarchy levels on the mental picture levels of human. The study concerns the modeling of the behaviors of mental states of an individual under cyber attacks. The mental state of agents being not observable, we propose a non-stationary hidden Markov chain approach to model the agent mental behaviors. A renewal process based on a nonparametric estimation is also considered to investigate the spending time in a given mental state. In these approaches, the effects of the complexity of the cyber attacks are tak-en into account in the models.

  • Modeling Abstraction Hierarchy Levels of the Cyber Attacks Using Random Process
    Open Journal of Statistics, 2017
    Co-Authors: Gilles Durrieu, Emmanuel Frénod, Thierry Morineau, Thong Quoc Nguyen
    Abstract:

    International audienceAspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their Abstraction Hierarchy levels on the mental picture levels of human. The study concerns the modeling of the behaviors of mental states of an individual under cyber attacks. The mental state of agents being not observable, we propose a non-stationary hidden Markov chain approach to model the agent mental behaviors. A renewal process based on a nonparametric estimation is also considered to investigate the spending time in a given mental state. In these approaches, the effects of the complexity of the cyber attacks are tak-en into account in the models