\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Atkinson \bgroup et al.\egroup
  }{91}]{atkinson91}
M.~Atkinson, R.~Morrison, und D.~Stemple.
\newblock \glqq Type-safe Linguistic Reflection\grqq .
\newblock In: {\em Proceedings of the Third International Workshop on Database
  Programming Languages, Nafplion, Griechenland. Morgan Kaufmann, San Mateo
  u.a.}, Seite 357--362, 1991.

\bibitem[\protect\citeauthoryear{Balzert}{93}]{balzert93}
H.~Balzert.
\newblock {\em CASE --- Systeme und Werkzeuge}.
\newblock Bibliographisches Institut, Mannheim, 1993.

\bibitem[\protect\citeauthoryear{Boehm}{79}]{boehm79}
B.W. Boehm.
\newblock \glqq Software Engineering: R \& D Trends and Defense Needs\grqq .
\newblock In: {\em P. Wegner (Hrsg.). Research Directions in Software
  Technology. MIT Press}, 1979.

\bibitem[\protect\citeauthoryear{Chen}{76}]{chen76}
P.P.S. Chen.
\newblock \glqq The Entity-Relationship Model --- Toward a Unified View of
  Data\grqq .
\newblock In: {\em ACM Transactions on Database Systems, Jahrg. 1, Nr.1, New
  York}, Seite 9--36, 1976.

\bibitem[\protect\citeauthoryear{Day}{93}]{day93}
N.~Day.
\newblock \glqq A Model Checker for Statecharts\grqq .
\newblock Technical Report 93-35, Department of Computer Science, University of
  British Columbia, Vancouver, Kanada, 1993.

\bibitem[\protect\citeauthoryear{Fricke}{95}]{fricke95}
O.~Fricke.
\newblock \glqq Die Strukturierte Analyse auf der Basis h\"oherer
  Petrinetze\grqq .
\newblock Diplomarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1995.

\bibitem[\protect\citeauthoryear{Geisler}{95}]{geis95}
A.~Geisler.
\newblock \glqq Basisdienste zur Gestaltung einer reflektiven grafischen
  Entwicklungsumgebung f\"ur eine persistente Programmiersprache\grqq .
\newblock Diplomarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1995.

\bibitem[\protect\citeauthoryear{Glinz}{93}]{glinz93}
M.~Glinz.
\newblock \glqq Hierarchische Verhaltensbeschreibung in objektorientierten
  Systemmodellen --- eine Grundlage f{\"u}r modellbasiertes Prototyping\grqq .
\newblock In: {\em H. Z{\"u}llighoven, W. Altmann und E.E. Doberkat (Hrsg.).
  Requirements Engineering '93: Prototyping. Berichte des German Chapter of the
  ACM, Band 41. Teubner, Stuttgart}, Seite 175--192, 1993.

\bibitem[\protect\citeauthoryear{Glinz}{95}]{glinz95}
M.~Glinz.
\newblock \glqq An Integrated Formal Model of Scenarios Based on
  Statecharts\grqq .
\newblock In: {\em W. Sch{\"a}fer und P. Botella (Hrsg.). Software Engineering
  - ESEC '95. Springer, Berlin u.a.}, Seite 231--271, 1995.

\bibitem[\protect\citeauthoryear{Guttenberg}{91}]{gut91}
V.~Guttenberg.
\newblock \glqq Entwicklung eines graphischen Monitors zur Validierung
  zeitdiskreter Simulationsmodelle\grqq .
\newblock Diplomarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1991.

\bibitem[\protect\citeauthoryear{Hachmann}{96}]{hachmann96}
I.~Hachmann.
\newblock \glqq Generische Visualisierungsdienste am Beispiel von StarView und
  Tycoon\grqq .
\newblock Studienarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1996.

\bibitem[\protect\citeauthoryear{Harel \bgroup et al.\egroup }{90}]{harel90}
D.~Harel, H.~Lachover, A.~Naamad, A.~Pnueli, M.~Politi, R.~Sherman,
  A.~Shtull-Trauring, und M.~Trakhtenbrot.
\newblock \glqq STATEMATE: A Working Environment for the Development of Complex
  Reactive Systems\grqq .
\newblock In: {\em IEEE Transactions on Software Engineering, Jahrg. 16, Nr.4,
  New York}, Seite 401--413, 1990.

\bibitem[\protect\citeauthoryear{Harel, Pnueli}{85}]{harel85}
D.~Harel und A.~Pnueli.
\newblock \glqq On the Development of Reactive Systems\grqq .
\newblock In: {\em K.R. Apt (Hrsg.). Logics and Models of Concurrent Systems,
  Springer, Berlin u.a}, Seite 477--498, 1985.

\bibitem[\protect\citeauthoryear{Harel}{87}]{harel87}
D.~Harel.
\newblock \glqq Statecharts: A Visual Formalism for Complex Systems\grqq .
\newblock In: {\em Science of Computer Programming, Nr. 8, Amsterdam}, Seite
  231--274, 1987.

\bibitem[\protect\citeauthoryear{Henize}{84}]{heni84}
J.~Henize.
\newblock \glqq Critical Issue in evaluating socio-economic Models\grqq .
\newblock In: {\em T.I. {\"O}ren et al. (Hrsg.). Simulation and Model-based
  Methodologies: An Integrative View. Springer, Berlin u.a.}, 1984.

\bibitem[\protect\citeauthoryear{Hopcroft, Ullman}{90}]{hopcroft90}
J.E. Hopcroft und J.D. Ullman.
\newblock {\em Einf"uhrung in die Automatentheorie}.
\newblock Addison-Wesley, Bonn u.a., 1990.

\bibitem[\protect\citeauthoryear{Huizing \bgroup et al.\egroup
  }{88}]{huizing88}
C.~Huizing, R.~Gerth, und W.P. de~Roever.
\newblock \glqq Modelling Statecharts Behaviour in a fully abstract Way\grqq .
\newblock In: {\em M. Dauchet, M. Nivat (Hrsg.). Lecture Notes in Computer
  Science 299, Springer, Berlin u.a.}, Seite 271--294, 1988.

\bibitem[\protect\citeauthoryear{Huizing, de Roever}{91}]{huizing91}
C.~Huizing und W.P. de~Roever.
\newblock \glqq Introduction to design choices in the semantics of
  Statecharts\grqq .
\newblock In: {\em Information Processing Letters, Jahrg. 37, Nr. 2,
  Amsterdam}, Seite 205--213, 1991.

\bibitem[\protect\citeauthoryear{IDEOMTModels}{93}]{StPmod93}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Object Modeling Technique --- Creating OMT Models. San
  Francisco, Kalifornien}, 1993.

\bibitem[\protect\citeauthoryear{IDEStPCust}{94}]{StPcust94}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Software through Pictures Core --- Customizing StP. San
  Francisco, Kalifornien}, 1994.

\bibitem[\protect\citeauthoryear{IDEStPIM}{93}]{StPim93}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Software through Pictures --- Product Summary: Information
  Modeling. San Francisco, Kalifornien}, 1993.

\bibitem[\protect\citeauthoryear{IDEStPOMS}{94}]{StPoms94}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Software through Pictures Core --- Object Management System. San
  Francisco, Kalifornien}, 1994.

\bibitem[\protect\citeauthoryear{IDEStPPC}{93}]{StPpc93}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Software through Pictures --- Product Catalog 1993. San
  Francisco, Kalifornien}, 1993.

\bibitem[\protect\citeauthoryear{IDEStPQRS}{94}]{StPqrs94}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Software through Pictures Core --- Query and Reporting System.
  San Francisco, Kalifornien}, 1994.

\bibitem[\protect\citeauthoryear{IDEStPTWP}{93}]{StPwp93}
Interactive Development Environments Inc. (Hrsg.).
\newblock {\em Software through Pictures Core --- Technical White Paper. San
  Francicsco, Kalifornien}, 1993.

\bibitem[\protect\citeauthoryear{Jessen, Valk}{87}]{jessen87}
E.~Jessen und R.~Valk.
\newblock {\em Rechensysteme: Grundlagen der Modellbildung}.
\newblock Springer, Berlin u.a., 1987.

\bibitem[\protect\citeauthoryear{Klees, Schmauch}{94}]{klees94}
F.~Klees und C.~Schmauch.
\newblock \glqq Navigator: StP/OMT --- Software-Entwicklung nach Rumbaugh\grqq
  .
\newblock In: {\em iX, Nr. 4, Hannover}, Seite 62ff., 1994.

\bibitem[\protect\citeauthoryear{Kr"uger}{74}]{krueger74}
S.~Kr"uger.
\newblock {\em Simulation. Grundlagen, Techniken, Anwendungen}.
\newblock De Gruyter, Berlin, 1974.

\bibitem[\protect\citeauthoryear{Leveson \bgroup et al.\egroup
  }{94}]{leveson94}
N.G. Leveson, M.P.E. Heimdahl, H.~Hildreth, und J.D. Reese.
\newblock \glqq Requirements Specification for Process-Control Systems\grqq .
\newblock In: {\em IEEE Transactions on Software Engineering, Jahrg. 20, Nr.9,
  New York}, Seite 684--707, 1994.

\bibitem[\protect\citeauthoryear{Losavio \bgroup et al.\egroup
  }{94}]{losavio94}
F.~Losavio, A.~Matteo, und F.~Schlienger.
\newblock \glqq Metamodels for the Object-Oriented Approaches of Booch and
  OMT\grqq .
\newblock Rapport de Recherche 926, Laboratoire de Recherche en Informatique,
  Universit\'e de Paris-Sud, Orsay, Frankreich, 1994.

\bibitem[\protect\citeauthoryear{Mathiske \bgroup et al.\egroup }{93}]{MMM93}
B.~Mathiske, F.~Matthes, und S.~M"u"sig.
\newblock \glqq The Tycoon System and Library Manual\grqq .
\newblock DBIS Tycoon Report 212-93, Universit\"at Hamburg, Fachbereich
  Informatik, 1993.

\bibitem[\protect\citeauthoryear{Matthes, M"u"sig}{93}]{MM93}
F.~Matthes und S.~M"u"sig.
\newblock \glqq The Tycoon Language TL: An Introduction.\grqq .
\newblock DBIS Tycoon Report 112-93, Universit\"at Hamburg, Fachbereich
  Informatik, 1993.

\bibitem[\protect\citeauthoryear{Matthes}{93}]{matthes92}
F.~Matthes.
\newblock {\em Persistente Objektsysteme. Integrierte Datenbankentwicklung und
  Programmerstellung}.
\newblock Springer, Berlin, 1993.

\bibitem[\protect\citeauthoryear{M"u"sig}{94}]{muessig94}
S.~M"u"sig.
\newblock \glqq Beitr"age zur typsicheren generischen Datenvisualisierung\grqq
  .
\newblock Diplomarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1994.

\bibitem[\protect\citeauthoryear{Neufeld}{93}]{neufeld93}
A.~Neufeld.
\newblock \glqq Validierung konzeptueller Schemata\grqq .
\newblock Dissertation, Universit{\"a}t Karlsruhe, Fakult{\"a}t f{\"u}r
  Informatik, 1993.

\bibitem[\protect\citeauthoryear{Nietsch}{96}]{nietsch96}
O.~Nietsch.
\newblock \glqq Die Anbindung des Tycoon-Systems an die CASE-Umgebung StP "uber
  ein Repository\grqq .
\newblock Studienarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1996.

\bibitem[\protect\citeauthoryear{Oberweis}{96}]{oberweis96}
A.~Oberweis.
\newblock {\em Modellierung und Ausf{\"u}hrung von Workflows mit Petri-Netzen}.
\newblock Teubner, Stuttgart, 1996.

\bibitem[\protect\citeauthoryear{Page}{91}]{page91}
B.~Page.
\newblock {\em Diskrete Simulation. Eine Einf"uhrung mit Modula-2}.
\newblock Springer, Berlin u.a., 1991.

\bibitem[\protect\citeauthoryear{Pnueli, Shalev}{91}]{pnueli91}
A.~Pnueli und M.~Shalev.
\newblock \glqq What is in a Step: On the Semantics of Statecharts\grqq .
\newblock In: {\em T. Ito und A.R. Meyer (Hrsg.). Lecture Notes in Computer
  Science 780, Springer, Berlin u.a.}, Seite 244--264, 1991.

\bibitem[\protect\citeauthoryear{Raasch}{91}]{raasch91}
J.~Raasch.
\newblock {\em Systementwicklung mit Strukturierten Methoden}.
\newblock Hanser, M{\"u}nchen u.a., 1991.

\bibitem[\protect\citeauthoryear{Reisig}{82}]{reisig82}
W.~Reisig.
\newblock {\em Petrinetze: Eine Einf"uhrung}.
\newblock Springer, Berlin u.a., 1982.

\bibitem[\protect\citeauthoryear{Rumbaugh \bgroup et al.\egroup }{91}]{rumb91}
J.~Rumbaugh, M.~Blaha, W.~Premerlani, F.~Eddy, und W.~Lorensen.
\newblock {\em Object-Oriented Modeling and Design}.
\newblock Prentice Hall, Englewood Cliffs, New Jersey, 1991.

\bibitem[\protect\citeauthoryear{Schr\"oder}{97}]{schroeder97}
G.~Schr\"oder.
\newblock \glqq Eine Entwicklungsumgebung f\"ur kooperierende persistente
  Objektsysteme (Arbeitstitel)\grqq .
\newblock Dissertation, Universit\"at Hamburg, Fachbereich Informatik, 1997.

\bibitem[\protect\citeauthoryear{Sommerville}{96}]{sommer96}
Ian Sommerville.
\newblock {\em Software Engineering.}
\newblock Addison-Wesley, Reading, Massachusetts, 1996.

\bibitem[\protect\citeauthoryear{Stamer}{97}]{stamer97}
S.~Stamer.
\newblock \glqq Entwicklung einer grafischen Workflow-Notation auf Basis der
  Infrastruktur des StP/OMT-Tools (Arbeitstitel)\grqq .
\newblock Diplomarbeit, Universit\"at Hamburg, Fachbereich Informatik, 1997.

\bibitem[\protect\citeauthoryear{Thomas, Nejmeh}{92}]{thomas92}
I.~Thomas und B.A. Nejmeh.
\newblock \glqq Definitions of Tool Integration for Environments\grqq .
\newblock In: {\em IEEE Software, Nr. 8, New York}, Seite 29--35, 1992.

\bibitem[\protect\citeauthoryear{v.d. Beeck}{94}]{beek94}
M.~v.d. Beeck.
\newblock \glqq A Comparison of Statecharts Variants\grqq .
\newblock In: {\em H. Langmaack, W.P. de Roever und J.Vytopil (Hrsg.). Lecture
  Notes in Computer Science 863, Springer, Berlin u.a.}, Seite 128--148, 1994.

\bibitem[\protect\citeauthoryear{Versteegen}{96}]{versteegen96}
G.~Versteegen.
\newblock \glqq Gute Pflege: Qualit{\"a}tsmanagement durchg{\"a}ngig
  realisieren\grqq .
\newblock In: {\em iX, Nr. 11, Hannover}, Seite 144--150, 1996.

\bibitem[\protect\citeauthoryear{Wassermann}{89}]{wasser89}
A.I. Wassermann.
\newblock \glqq Tool Integration in Software Engineering Environments\grqq .
\newblock In: {\em F. Long (Hrsg.). Lecture Notes in Computer Science 467,
  Springer, Berlin u.a.}, Seite 137--149, 1989.

\end{thebibliography}
