A Concept-Oriented Logical Framework for Domain Knowledge Modeling and Analysis in Computer-based Systems Engineering

  • Authors:
  • Ernesto Compatangelo

  • Affiliations:
  • -

  • Venue:
  • ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper outlines the main features of the DD framework, an extensible ontological and methodological approach to the description of real-world application domains.It promotes automatic reasoning and a concept-oriented domain knowledge representation in computer-based systems engineering. The DD framework is centered around EDDL_dp, a formal but user-friendly language allowing automatic consistency check and property deduction. EDDL_dp deals with the external outlook of real-world structural and behavioral domain concepts.It offers an expressively adequate set of data, process and object-like concept constructors for a flexible description of the essential domain model of a computer-based system.The DD framework has been explicitly conceived for the development of a new generation of computer-based systems engineering tools endowed with deductive capabilities.