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)

Abstract

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.

Keywords

Assure Lution Editing ECSC 

Preview

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