Requirements Modelling and System Specification in a Logic Based Knowledge Representation Framework

  • Rainer Haidan
  • Ralph Meyer
Part of the Research Reports ESPRIT book series (ESPRIT, volume 1)


Requirements modeling and specification is a knowledge intensive task, so influence of pioneering work on knowledge representation like the KL-ONE language [BS85] and related approaches using the concepts of semantic networks and frame-based systems [BL85] started relatively early. Especially the concepts of objects, systematized by abstraction principles of
  • classification,

  • specialization and

  • aggregation

turned out to be very suitable for the specification of large Information Systems [Gre84]. This approach was further enhanced by adding logical assertions to express the intended meaning of the objects. This lead to the Conceptual Modelling Language CML [Sta86] and to its enhanced version System Modelling Language SML described in this chapter.


Knowledge Base Integrity Constraint Object Level Requirement Modelling Default Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© ECSC — EEC — EAEC, Brussels — Luxembourg 1993

Authors and Affiliations

  • Rainer Haidan
  • Ralph Meyer

There are no affiliations available

Personalised recommendations