Zusammenfassung
Das formale Beschreiben von Anforderungen für Softwaresysteme, die unter Verwendung von Datenbanksystemen realisiert werden, bezeichnet man als konzeptuelle Modellierung. Es werden die Grundlagen einer Methode für die konzeptuelle Modellierung eingeführt. Als Modellierungsaspekte werden die Verhaltens-, Datenstruktur- und Transaktionsmodeliierung betrachtet. Die Besonderheit der Methode liegt in der konsequenten Verwendung von Konzepten der Netztheorie. Ein rechnergestützter Arbeitsplatz zur konzeptuellen Modellierung und Softwareentwicklung wird skizziert.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturverzeichnis
Abiteboul S.,Hull H.,IFO: A Formal Semantic Database Model,in: Proc.3rd ACM SIGACT-SIGMOD Symp.PODS 84 (1984)
Brodie M.L.Association: A Database Abstraction for Semantic Modelling, in: Proc.2nd Int.ER-Conf.(1981)
Brodie M.L.,Ridjanovic D.: On the Design and Specification of Database Transactions,in: On Conceptual Modelling,Springer Verlag (1984)
Brodie M.L.: On the Development of Data Models,in: On Conceptual Modelling,Springer Verlag (1984)
Genrich H.J.,Lautenbach K.: System Modelling with High-Level Petri-Nets, Theoretical Computer Science 13 (1981)
Genrich H.J., St. ankiewicz Hwiechno E.: A Dictionary of some Basic Notions of Net Theory,in: Net Theory and Application,LNCS 84, Springer Verlag(1980)
Olle T.W. et al. (Ed.): Information Systems Design Methodologies: A Comparative Review Proc. IFIP WG8. 1, North-Holland Publ. Comp. (1982)
Griethuysen van J.J. (Ed.): Concepts and Terminology for the Conceptual Schema and the Information Base, ISO TC97/SC5/WG3 (1982)
KAR84] Karszt J.: DB-Pascal: Ein ausbaubares Datenbanksystem nach einem ER-Datenmodell, Dissertation Universität Karlsruhe(1984)
LA85] Lausen G.: Conceptual Modelling Based on Net Refinements in: Proc. IFIP TC-2 Working Conference on Data Base Semantics (DS-1), North-Holland(1985) to appear
Lausen G.: On Behaviour Modelling of Information Systems, Institut für Angewandte Informatik und Formale Beseheibungsverfahren, Forschungsbericht 156, Universität Karlsruhe, März 1985
Lausen G.,Schönthaier F.: A Constructive Method for Conceptual Data Schema Design, in preparation
Lundeberg M.: The ISAC Approach to Specification of Information Systems in [ISD82]
Neuhold E.:Objects and Abstract Data Types in Information Systems, wie [LA85]
Peterson J.L.: Petri Net Theory and the Modelling of Systems,Prentice Hal1(1981)
Ross D.T.: Structured Analysis (SA): A Language for Communicating Ideas
IEEE TOSE Vol.SE-3, No.1 (1977)
Schönthaler F.: Problemanalyse und konzeptueller DB-Entwurf der Schroff S.A.R.L. Betschdorf; Diplomarbeit Universität Karlsruhe(1984)
Schiel U.: An Abstract Introduction to the Temporal Hierarchic Data Model(THM),in: Proc. 9th Int. Conf.VLDB (1983)
Smith J.M., Smith D.C.P.: Database Abstractions: Aggregation and
Wassermann A.I,: The User Software Engineering Methodology in [ISD82]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lausen, G., Oberweis, A., Schönthaler, F. (1985). Formale Beschreibung von Anforderungen: Eine netzorientierte Vorgehensweise zur konzeptuellen Modellierung von Informationssystemen. In: Hansen, H.R. (eds) GI/OCG/ÖGI-Jahrestagung 1985. Informatik Fachberichte, vol 108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70639-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-70639-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15697-0
Online ISBN: 978-3-642-70639-4
eBook Packages: Springer Book Archive