Abstract
Als konzeptuelle Modellierung bezeichnet man üblicherweise das formale Beschreiben von Anforderungen für Informationssysteme, die unter Verwendung von Datenbanksystemen realisiert werden. Dieser Schritt ist im Life Cycle des Informationssystementwurfs zwischen der informalen bzw. semiformalen Spezifikation von Anforderungen und dem eigentlichen Systementwurf als Basis der Implementation angesiedelt. Das dabei erstellte konzeptuelle Schema sollte sowohl statische als auch dynamische Aspekte des zu entwickelnden Systems beschreiben. Es werden die Grundlagen des rechnergestützten Arbeitsplatzes INCOME skizziert, der eine konstruktive Methode zur konzeptuellen Modellierung mit Petri-Netzen unterstützt.
Um auch dem Endbenutzer eines zu entwickelnden Systems dieses formale Beschreibungsverfahren zugänglich zu machen, enthält INCOME eine Prototyping-Komponente, die die Ausführung der Spezifikation in jeder Phase des konzeptuellen Entwurfsprozesses ermöglicht. Es werden dabei alle Aspekte der konzeptuellen Modellierung berücksichtigt. Die Architektur und die Arbeitsweise dieser Komponente sowie die Auswirkungen des Prototyping auf die Qualität des konzeptuellen Entwurfs werden beschrieben. Eine Besonderheit der Komponente ist die Trennung in ein Interpretationsund ein Transformationssystem sowie die Möglichkeit zur Kombination des Tools mit Applikationsgeneratoren und Very High Level Languages verschiedener Zielumgebungen des zu entwickelnden Systems.
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.
Similar content being viewed by others
Literaturverzeichnis
Antone11is, De V., und Leva, Di A. DATAID-1: A database design methodology. Inform. Systems 10, 2 (1985), 181–195.
Bancilhon, F., und Khoshafian, S. A calculus for complex objects. In Proc. Fi fth ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (Cambridge, Mass., March 24–26). ACM, 1986, 53–59.
Barbie, F., und Pernici, B. Time modeling in office information systems, ACM SIGMOD RECORD 14, 4 (1985), 51–62.
Belkhouche, B., und Urban J.E. Direct implementation of abstract data types from abstract specifications. IEEE Trans. Softw. Eng. SE-12, 5 (May 1986), 649–661.
Budde, R., Kuhlenkamp, K., Mathiassen, L., und Züllighoven, H., Eds. Approaches to Prototyping. Springer-Verlag, Berlin, Heidelberg, 1984.
Blum, B.I., und Houghton R.C. Rapid prototyping of information management systems. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 35–38.
Bruno, G., and Marchetto, G. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. Softw. Eng. SE-12, 2(Febr. 1986), 346–357.
Brodie, M.L., und Ridjanovic, D. On the design und specification of database transactions. In On Conceptual Modelling. Perspectives from Artificial Intelligence, Databases, and Programming Languages, M.L. Brodie, J. Mylopoulos, und J.W. Schmidt, Eds. Springer-Verlag, New York, 1984.
Cohen, D., Swartout, W., und Balzer R. Using symbolic execution to characterize behavior. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 25–32.
De Marco, T. Structured Analysis and System Specification. Yourdon Press, New York, 1978.
Feather, M.S. Mappings for rapid prototyping. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 17–24.
Floyd, C. A systematic look at prototyping. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, und H. Züllighoven, Eds. Springer-Verlag, Berlin, Heidelberg, 1984.
Furtado, A.L., und Neuhold, E.J. Formal Techniques for Data Base Design. Springer-Verlag, Berlin, Heidelberg, 1986.
Gane, C., und Sarson, T. Structured Systems Analysis: Tools and Techniques. Prentice-Hall, Englewood Cliffs, NJ, 1979.
Gehani, N.H. A study in prototyping. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 71–74.
Genrich, H.J., und Lautenbach, K. System modelling with high-level pétri nets. Theoretical Computer Science, 13 (1981), 109–136.
Gibbs, S.J. Conceptual modelling and office information systems. In Office Automation — Concepts and Tools, D.C. Tsichritzis, Ed. Springer-Verlag, New York, 1985.
Griethuysen, J.J. Ed. Concepts and Terminology for the Conceptual Schema and the Information Base, Report of the ISO/TC97/SC5/WG3, Publication No. ISO/TC97/SC5 — N 695, March 1982.
Hammer, M., Howe, W.G., Kruskal, V.J., und Wladowsky, I. A very high level programming language for data processing applications. Communications of the ACM 20, 11 (Nov. 1977), 832–840.
IBM. Dvelopment Management System/Customer Information Control System/ Virtual Storage: General Information Manual. IBM Manual No. GH20-2195-2, IBM, White Plains, NY, 1980.
IBM. IMS Application Development Facility, General Information Manual, IBM Manual No. GB21-9869-1, IBM, White Plains, NY, 1980.
Jörgensen, A.H. On the psychology of prototyping. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, und H. Züllighoven, Eds. Springer-Verlag, Berlin, Heidelberg, 1984.
Karszt, J. DATENBANK-PASCAL: Ein ausbaubares Datenbanksystem nach einem ER-Modell für Personal-Computer-Anwendungen. Dissertation, Univ. Karlsruhe, 1984.
Kensing, F. Property determination by prototyping. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, und H. Züllighoven, Eds. Springer-Verlag, Berlin, Heidelberg, 1984.
Kerner, H., Pitrik, R., Motschnig, H., und Trattnig W. EDDA-S, eine graphische, strukturierte Datenflußsprache für den Software-Entwurf. In GI/OCG/ÖGI-Jahres tagung Wien 1985, Informatik Fachbericht 108, H.R. Hansen, Ed. Springer-Verlag, Berlin, Heidelberg, 1985.
Krämer, B., und Schmidt H.W. Interaktive Softwareentwicklung durch schrittweise Formal is ierung. In Software-Engineering — Entwurf und Spezifikation, C. Floyd, und H. Kopetz, Eds. B.G. Teubner, Stuttgart, 1981
Lange, J. INCOME — Rapid Prototyping zur Überprüfung und Weiterentwicklung von funktionalen Anforderungsspezifikationen. Diplomarbeit Univ. Karlsruhe, 1985.
Lausen, G., und Schek, J.: Semantic Specification of Complex Objects. In Proceedings of IEEE-CS Symposium on Office Automation, Gaithersburg, USA 1987.
Lausen, G., Müller, H., Németh, T., Oberweis, A., Schönthaler, F., und Stucky, W. Integritätssicherung für die datenbankgestützte Software-Produkt ionsumgebung INCOME, In Proceedings BTW87 Darmstadt, Springer-Verlag Berlin, Heidelberg 1987.
Lausen, G., Oberweis, A., und Schönthaler, F. Formale Beschreibung von Anforderungen: Eine netzorientierte Vorgehensweise zur konzeptuellen Modellierung von Informationssystemen. In GI/OCG/ÖGI-Jahres tagung Wien 1985, Informatik Fachbericht 108, H.R. Hansen, Ed. Springer-Verlag, Berlin, Heidelberg, 1985.
Lundeberg, M. The ISAC approach to specification of information systems. In Information Systems Design Methodologies: A Comparative Review, T.W. Olle, H.G. Sol, und A.A. Verrijn-Stuart, Eds. North-Holland Pubi. Comp., 1982
Mason, R.E.A., und Carey, T.T. Prototyping interactive information systems. Communications of the ACM 26, 5, (May 1983), 347–354.
McCoyd, G.C., und Mitchell, J.R.. System sketching: the generation of rapid prototypes for transaction based systems. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 127–132.
Mönckemeyer, M., und Spitta, T. Concept and experiences of prototyping in a software-engineering-environment with NATURAL. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, und H. Züllighoven, Eds. Springer-Verlag, Berlin, Heidelberg, 1984
Nemeth, T., Schönthaler, F., Müller, H., und Stucky, W. INCOME: Von der funktionalen Anforderungsspezifikation zur Prototypdatenbank — Ein methodischer Ansatz. In Proceedings der Gl-Fachtagung Requirements Engineering RE ’87 (St. August in, Germany, May 20–22). 1987, to appear.
Oberweis, A., und Lausen, G. Temporal aspects in office information systems. In Proc. IFIP TC-8 Working Conference — Office Systems: Methods and Tools (Pisa, Italy, Oct. 22–24). IFIP, 1986.
Oberweis, A., Schönthaler, F., Lausen, G., und Stucky, W. Net based conceptual modelling and rapid prototyping with INCOME. In Proc. of the 3rd Conference on Software Engineering (Versailles, France, May 27–30). A.F.C.E.T., Paris, France, 1986, pp. 165–176.
Olle, T.W., und Tully, C.J., Eds. Information Systems Design Methodologies: a Feature Analysis. North-Holland Publ. Comp., 1983.
Olle, T.W., Sol, H.G., und Verrijn-Stuart, A.A., Eds. Information Systems Design Methodologies: a Comparative Review. North-Holland Publ., 1982.
Reisig, W. Systementwurf mit Netzen, Springer-Verlag, Berlin, Heidelberg, 1985.
Richter, G. Clocks and their use for time modeling. In Information Systems: Theoretical and Formal Aspects, A. Sernadas, J. Bubenko jr., und A. Olive, Eds. IFIP, 1985.
Richter, G., und Durchholz, R. IML-inscribed high-level petri nets. In Information Systems Design Methodologies: A Comparative Review, T.W. Olle, H.G. Sol, und A.A. Verrijn-Stuart, Eds. North-Holland Publ. Comp., 1982.
Riddle, W.E. Advancing the state of the art in software system prototyping. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, und H. Züllighoven, Eds. Springer-Verlag, Berlin, Heidelberg, 1984.
Ross, D.T. Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3, 1 (Jan. 1977), 16–34.
Schönthaler, F. Problemanalyse und konzeptueller Datenbankentwurf der Schroff S.A.R.L., Betschdorf. Studien- und Diplomarbeit, Univ. Karlsruhe, 1984.
Smith, J.M., und Smith, D.C.P. Database abstractions: aggregation and generalization. ACM Trans. Database Syst.2, 2 (1977), 105–133.
Solvberg, A., und Kung, C.H. On structural and behavioural modelling of reality. In Database Semantics (DS-l), T.B. Steel, und R. Meersman, Eds. North-Holland Publ. Comp., 1985.
Studer, R., und Horndasch, A. Modeling static and dynamic aspects of information systems. In Database Semantics (DS-l), T.B. Steel, und R. Meersman, Eds. North-Holland Publ. Comp., 1985.
Tingley, G.A. Comments on [Jör84]. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, und H. Züllighoven, Eds. Springer-Verlag, Berlin, Heidelberg, 1984.
Urban, S.D., Urban, J.E., und Dominick, W.D. Utilizing an executable specification language for an information system. IEEE Trans. Softw. Eng. SE-11, 7 (July 1985), 598–605.
Ward, P.T. The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE Trans. Softw. Eng. SE-12, 2 (Febr. 1986), 198–210.
Wassermann, A.I., Pircher, P.A., und Shewmake, D.T. Building reliable interactive information systems. IEEE Trans. Softw. Eng. SE-12, 1 (Jan. 1986), 147–156.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schönthaler, F., Oberweis, A., Lausen, G., Stucky, W. (1987). Prototyping Zur Unterstützung des Konzeptuellen Entwurfs Interaktiver Informationssysteme. In: Wagner, R.R., Traunmüller, R., Mayr, H.C. (eds) Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen. Informatik-Fachberichte, vol 143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72821-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-72821-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18052-4
Online ISBN: 978-3-642-72821-1
eBook Packages: Springer Book Archive