Requirements Modelling and System Specification in a Logic Based Knowledge Representation Framework
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
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.
KeywordsKnowledge 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.
© ECSC — EEC — EAEC, Brussels — Luxembourg 1993