Advertisement

Prototyping Zur Unterstützung des Konzeptuellen Entwurfs Interaktiver Informationssysteme

  • Frank Schönthaler
  • Andreas Oberweis
  • Georg Lausen
  • Wolffried Stucky
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 143)

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.

Schlüsselworte

Rapid Prototyping Ausführbare Spezifikation Software-Entwicklungsumgebung Konzeptuelles Schema Petri-Netze Datenstrukturschema Verhaltensschema Zeitrestriktionen 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. [AnL85]
    Antone11is, De V., und Leva, Di A. DATAID-1: A database design methodology. Inform. Systems 10, 2 (1985), 181–195.CrossRefGoogle Scholar
  2. [BaK86]
    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.Google Scholar
  3. [BaP85]
    Barbie, F., und Pernici, B. Time modeling in office information systems, ACM SIGMOD RECORD 14, 4 (1985), 51–62.CrossRefGoogle Scholar
  4. [BeU86]
    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.Google Scholar
  5. [BKM84]
    Budde, R., Kuhlenkamp, K., Mathiassen, L., und Züllighoven, H., Eds. Approaches to Prototyping. Springer-Verlag, Berlin, Heidelberg, 1984.Google Scholar
  6. [B1H82]
    Blum, B.I., und Houghton R.C. Rapid prototyping of information management systems. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 35–38.CrossRefGoogle Scholar
  7. [BrM86]
    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.Google Scholar
  8. [BrR84]
    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.Google Scholar
  9. [CSB82]
    Cohen, D., Swartout, W., und Balzer R. Using symbolic execution to characterize behavior. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 25–32.CrossRefGoogle Scholar
  10. [DeM78]
    De Marco, T. Structured Analysis and System Specification. Yourdon Press, New York, 1978.Google Scholar
  11. [Fea82]
    Feather, M.S. Mappings for rapid prototyping. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 17–24.CrossRefGoogle Scholar
  12. [Flo84]
    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.Google Scholar
  13. [FuN86]
    Furtado, A.L., und Neuhold, E.J. Formal Techniques for Data Base Design. Springer-Verlag, Berlin, Heidelberg, 1986.Google Scholar
  14. [GaS79]
    Gane, C., und Sarson, T. Structured Systems Analysis: Tools and Techniques. Prentice-Hall, Englewood Cliffs, NJ, 1979.Google Scholar
  15. [Geh82]
    Gehani, N.H. A study in prototyping. ACM Softw. Eng. Notes 7, 5 (Dec. 1982), 71–74.CrossRefGoogle Scholar
  16. [GeL81]
    Genrich, H.J., und Lautenbach, K. System modelling with high-level pétri nets. Theoretical Computer Science, 13 (1981), 109–136.CrossRefzbMATHMathSciNetGoogle Scholar
  17. [Gib85]
    Gibbs, S.J. Conceptual modelling and office information systems. In Office Automation — Concepts and Tools, D.C. Tsichritzis, Ed. Springer-Verlag, New York, 1985.Google Scholar
  18. [Gri82]
    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.Google Scholar
  19. [HHK77]
    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.CrossRefzbMATHGoogle Scholar
  20. [IBM80a]
    IBM. Dvelopment Management System/Customer Information Control System/ Virtual Storage: General Information Manual. IBM Manual No. GH20-2195-2, IBM, White Plains, NY, 1980.Google Scholar
  21. [IBM80b]
    IBM. IMS Application Development Facility, General Information Manual, IBM Manual No. GB21-9869-1, IBM, White Plains, NY, 1980.Google Scholar
  22. [Jör84]
    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.Google Scholar
  23. [Kar84]
    Karszt, J. DATENBANK-PASCAL: Ein ausbaubares Datenbanksystem nach einem ER-Modell für Personal-Computer-Anwendungen. Dissertation, Univ. Karlsruhe, 1984.Google Scholar
  24. [Ken84]
    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.Google Scholar
  25. [KPM85]
    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.Google Scholar
  26. [KrS81]
    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, 1981Google Scholar
  27. [Lan85]
    Lange, J. INCOME — Rapid Prototyping zur Überprüfung und Weiterentwicklung von funktionalen Anforderungsspezifikationen. Diplomarbeit Univ. Karlsruhe, 1985.Google Scholar
  28. [LaS87]
    Lausen, G., und Schek, J.: Semantic Specification of Complex Objects. In Proceedings of IEEE-CS Symposium on Office Automation, Gaithersburg, USA 1987.Google Scholar
  29. [LMN87]
    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.Google Scholar
  30. [L0S85]
    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.Google Scholar
  31. [Lun82]
    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., 1982Google Scholar
  32. [MaC83]
    Mason, R.E.A., und Carey, T.T. Prototyping interactive information systems. Communications of the ACM 26, 5, (May 1983), 347–354.CrossRefGoogle Scholar
  33. [McM82]
    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.Google Scholar
  34. [MÖS84]
    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, 1984Google Scholar
  35. [NSM87]
    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.Google Scholar
  36. [ObL86]
    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.Google Scholar
  37. [OSL86]
    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.Google Scholar
  38. [OST83]
    Olle, T.W., und Tully, C.J., Eds. Information Systems Design Methodologies: a Feature Analysis. North-Holland Publ. Comp., 1983.Google Scholar
  39. [OSV82]
    Olle, T.W., Sol, H.G., und Verrijn-Stuart, A.A., Eds. Information Systems Design Methodologies: a Comparative Review. North-Holland Publ., 1982.Google Scholar
  40. [Rei85]
    Reisig, W. Systementwurf mit Netzen, Springer-Verlag, Berlin, Heidelberg, 1985.zbMATHGoogle Scholar
  41. [Ric85]
    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.Google Scholar
  42. [RiD82]
    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.Google Scholar
  43. [Rid84]
    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.Google Scholar
  44. [Ros77]
    Ross, D.T. Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3, 1 (Jan. 1977), 16–34.CrossRefGoogle Scholar
  45. [Sch84]
    Schönthaler, F. Problemanalyse und konzeptueller Datenbankentwurf der Schroff S.A.R.L., Betschdorf. Studien- und Diplomarbeit, Univ. Karlsruhe, 1984.Google Scholar
  46. [SmS77]
    Smith, J.M., und Smith, D.C.P. Database abstractions: aggregation and generalization. ACM Trans. Database Syst.2, 2 (1977), 105–133.CrossRefGoogle Scholar
  47. [SoK85]
    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.Google Scholar
  48. [StH85]
    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.Google Scholar
  49. [Tin84]
    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.Google Scholar
  50. [UUD85]
    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.CrossRefGoogle Scholar
  51. [War86]
    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.Google Scholar
  52. [WPS86]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Frank Schönthaler
    • 1
  • Andreas Oberweis
    • 2
  • Georg Lausen
    • 2
  • Wolffried Stucky
    • 1
  1. 1.Institut Für Angewandte Informatik und Formale BeschreibungsverfahrenUniversität Karlsruhe (TH)KarlsruheDeutschland
  2. 2.Fachbereich InformatikTechnische Hochschule DarmstadtDarmstadtDeutschland

Personalised recommendations