|
Summary: XMI-Import und -Export f¨ur Syspect
4. Juli 2007
Dominik Denker
Carl von Ossietzky Universit¨at Oldenburg
Fakult¨at II
Department f¨ur Informatik
Abteilung Entwicklung korrekter Systeme
Inhaltsverzeichnis
1 Einleitung 3
2 Grundlagen 5
2.1 UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.1 UML-Profil . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1.2 Das UML-Profil f¨ur CSP-OZ-DC . . . . . . . . . . . . . . . . 6
2.2 XML und XMI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3 Eclipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3.1 Eclipse Modeling Framework . . . . . . . . . . . . . . . . . . . 7
2.3.2 Das UML2-PlugIn f¨ur Eclipse . . . . . . . . . . . . . . . . . . 8
2.4 Syspect . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3 Das Projekt 9
3.1 Anforderungsanalyse . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
|
