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.
KeywordsAssure Lution Editing ECSC
Unable to display preview. Download preview PDF.
© ECSC — EEC — EAEC, Brussels — Luxembourg 1993