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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 ECSC — EEC — EAEC, Brussels — Luxembourg
About this chapter
Cite this chapter
Haidan, R., Meyer, R. (1993). Requirements Modelling and System Specification in a Logic Based Knowledge Representation Framework. In: Jarke, M. (eds) Database Application Engineering with DAIDA. Research Reports ESPRIT, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84875-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-84875-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56291-7
Online ISBN: 978-3-642-84875-9
eBook Packages: Springer Book Archive