Zusammenfassung
Qualitativ hochwertige verteilte Systeme können nur dann effizient entwikkelt werden, wenn die dynamischen Systemaspekte bereits bei der Anforderungsanalyse möglichst vollständig und korrekt erfaßt werden. Dieser Artikel beschreibt Konzepte des Methoden- und Tool-Pakets INCOME, das eine umfassende Modellierung dynamischer Systemaspekte erlaubt. Darüber hinaus unterstützt INCOME die Analyse und Simulation der erstellten Modelle. Um dem Entwickler eine möglichst umfassende Unterstützung anbieten zu können, sind die INCOME-Tools in die CASE* Umgebung von ORACLE integriert. Ein typisches Einsatzgebiet für eine derartige Unterstützung ist die Produktionsautomatisierung, in der für die Systementwicklung sowohl dynamische Aspekte als auch Datenbankaspekte von Bedeutung sind.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
HJ. Genrich: Predicate/transition nets. In Petri Nets: Central Models and their Properties, LNCS 254, W. Brauer, W. Reisig und G. Rozenberg, Eds. Springer-Verlag, Berlin, Heidelberg, 1987.
CA. Heuser und G. Richter: On the relationship between conceptual schemata and integrity constraints on databases. In Database Semantics (DS-1), T.B. Steel, Jr. und R. Meersman, Eds. Elsevier Science Publ. B.V., Amsterdam, 1986.
P. Huber, K. Jensen und R.M. Shapiro: Hierarchies in Coloured Petri Nets. In Proc. of the 10 th Int. Conf. on Application and Theory of Petri Nets, (Bonn, June 28–30). GMD, St. Augustin, 1989, pp. 192–209.
Itter, F. Verwendung von NET-Modellen bei der Entwicklung einer flexiblen Fertigungssteuerung. In Proc. der GI-Fachtagung Requirements Engineering RE’87 (St. Augustin, 20.–22. Mai), GMD-Studien Nr. 121. Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, 1987, pp. 191–215.
G. Lausen, T. Németh, A. Oberweis, F. Schönthaler and W. Stucky: The INCOME Approach for Conceptual Modelling and Prototyping of Information Systems. In Proc. of the 1 st Nordic Conference on Advanced Systems Engineering CASE ’89 (Stockholm, Sweden, May 9–11), 1989.
T. Németh, F. Schönthaler, H. Müller und W. Stucky: INCOME: Von der funktionalen Anforderungsspezifikation zur Prototypdatenbank — Ein methodischer Ansatz. In Proc. der GI-Fachtagung Requirements Engineering RE’87 (St. Augustin, 20–22. Mai), GMD-Studien Nr. 121. Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, 1987, pp. 143–159.
T. Németh, F. Schönthaler und W. Stucky: Das experimentelle Entwicklungssystem INCOME. In Anleitung zu einer praxisorientierten Software-Entwicklungsumgebung, Band 2, T. Gutzwiller und H. Österle, Hrsg. AIT-Verlag, Hallbergmoos, 1988.
A. Oberweis: Integritätsbewahrendes Prototyping von verteilten Systemen. In Informatik-Fachbericht 222, M. Paul, Hrsg. Springer-Verlag, Berlin, Heidelberg, 1989.
A. Oberweis und G. Lausen: On the representation of temporal knowledge in office systems. In Proc. of the IFIP TC8/WG 8.1 Working Conference Temporal Aspects in Information Systems (TAIS’87) (Sophia-Antipolis, France), C. Rolland, M. Leonard und F. Bodard, Eds. North-Holland, 1988.
A. Oberweis, F. Schönthaler, G. Lausen und W. Stucky: Net based conceptual modelling and rapid prototyping with INCOME. In Proc. of the 3 rd Conference on Software Engineering, (Versailles, France, May 27–30). A.F.C.E.T., Paris 1986, pp 165–176.
A. Oberweis, F. Schönthaler, J. Seib und G. Lausen: Database supported analysis tool for predicate/transition nets. Petri Net Newsletter 28, (Dec. 1987), 21–23.
G. Richter: Clocks and their use for time modeling. In Proc. of the IFIP TC8.1 Working Conference on Theoretical and Formal Aspects in Information Systems (TFAIS’87). North-Holland, Amsterdam, 1988.
F. Schönthaler: Rapid Prototyping zur Unterstützung des konzeptuellen Entwurfs von Informationssystemen. Dissertation, Univ. Karlsruhe, 1989.
W. Stucky, T. Németh und F. Schönthaler: INCOME — Methoden und Werkzeuge zur betrieblichen Anwendungsentwicklung. In Interaktive betriebswirtschaftliche Informations- und Steuerungssysteme, K. Kurbel, P. Mertens, A.-W. Scheer, Hrsg. Walter de Grutyer, Berlin, New York, 1989.
F. Schönthaler, A. Oberweis, G. Lausen und W. Stucky: Prototyping zur Unterstützung des konzeptuellen Entwurfs interaktiver Informationssysteme. In Informatik-Fachbericht 143, R.R. Wagner, R. Traunmüller und H.C. Mayr, Hrsg. Springer-Verlag, Berlin, Heidelberg, 1987.
SPECS-Project: A graphical Petri net tool for the design and prototyping of distributed systems. Petri Net Newsletter 27, (Aug. 1987), 55–57.
K. Voss: Nets in data bases. In Petri-Nets: Applications and Relationships to Other Models of Concurrency, Vol. 2, W. Brauer, W. Reisig und G. Rozenberg, Hrsg. Springer-Verlag, Berlin, Heidelberg, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stucky, W., Németh, T., Schönthaler, F. (1990). Modellierung und Simulation verteilter Systeme mit INCOME. In: Reuter, A. (eds) GI — 20. Jahrestagung II. Informatik-Fachberichte, vol 258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76119-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-76119-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53213-2
Online ISBN: 978-3-642-76119-5
eBook Packages: Springer Book Archive