Modellierung 2004: Marburg, Germany

@proceedings{DBLP:conf/modellierung/2004,
  editor    = {Bernhard Rumpe and
               Wolfgang Hesse},
  title     = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"a}rz
               2004, Marburg, Proceedings},
  booktitle = {Modellierung},
  publisher = {GI},
  series    = {LNI},
  volume    = {45},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Michael von der Beek: Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme. 11-12
• Frank Leymann, Dieter Roller: Modeling Business Processes with BPEL4WS. 13-29
• Torsten Klein, Mirko Conrad, Ines Fey, Matthias Grochtmann: Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. 31-41

Anforderung und Modellierung

• Stan Bühne, Günter Halmans, Klaus Pohl: Anforderungsorientierte Variabilitätsmodellierung für Software-Produktfamilien. 43-57
• Christian Denger, Barbara Paech: An Integrated Quality Assurance Approach for Use Case Based Requirements. 59-74

Abstraktion

• Roland Kaschek: A little theory of abstraction. 75-92

Sprachliche Aspekte

• Karl Neumann, Brigitte Mathiak, Andreas Kupfer: Modellierung und kartographische Visualisierung von Geodaten mit XML-basierten Sprachen. 93-107
• Thomas Kühne, Friedrich Steimann: Tiefe Charakterisierung. 109-119
• Friedrich Steimann: UML-A oder warum die Wissenschaft ihre eigene einheitliche Modellierungssprache haben sollte. 121-133

Qualitätssicherung und Werkzeuge

• Katja Fischer, Gregor Hordys, Birgit Vogel-Heuser: Evaluation of an UML Software Engineering Tool by Means of a Distributed Real Time Application in Process Automation. 135-148
• Carsten Amelunxen, Andy Schürr, Lutz Bichler: Codegenerierung für Assoziationen in MOF 2.0. 149-168
• Erik Kamsties, Klaus Pohl, Sacha Reis, Andreas Reuys: Szenario-basiertes Systemtesten von Software-Produktfamilien mit ScenTED. 169-186

Prozess-Aspekte

• Barbara Weber, Werner Wild: An Agile Approach to Workflow Management. 187-201
• Mariele Hagen, Volker Gruhn: PROPEL - Eine Sprache zur Beschreibung von Prozessmustern. 203-218

Industrieforum

• Bernd Oesterreich, Tim Weilkiens: UML 2.0 im Praxistest: Erste Erfahrungen im Modellierungsalltag. 221-222
• Sören Teurich-Wagner: MDA: Weg oder Irrweg. 223-227
• Alexander Nyßen, Peter Müller, Jan Suchotzki, Horst Lichter: Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode. 229-233

MDA und ES-Modellierung

• Egon Börger: Modeling with Abstract State Machines: A support for accurate system design and analysis. 235-239
• Rudolf Hauber: Erfahrungen mit modellbasierter Enwicklung bei der EDAS. 241-242
• Joachim Schlosser: Modellintegration: Architektursimulation von verteilten Steuergerätesystemen. 243-246

Use Cases und Geschäftmodelle

• Friederike Nickl, Christine Dobis: Wiederverwendung durch Ablaufmodellierung bei der Migration eines Vertragsverwaltungssystems. 247-250
• Matthias Berger: Use-Cases als Schätzgrundlage in Projekten. 251-254
• Frank Wolff: Nutzerorientierte Geschäftsprozessmodellierung. 255-258
• Stephan Kraft, Andreas Essigkrug: Die Zukunft der Entwicklung von Geschäftsapplikationen. 259-261

Podiumsdiskussion

• Bernhard Schätz: UML-RT - Die Lösung für eingebettete Software? 263-265

Workshops und Fachgruppentreffen

• Frank Houdek, Horst Lichter: Einsatz der Feature-Modellierung in der Produktentwicklung. 267-268
• Andreas Harrer, Alke Martens: Modellierung als Schlüsselkonzept in intelligenten Lehr-/Lernsystemen. 268-269
• Jan Mendling, Markus Nüttgens: XML4BPM - XML Interchange Formats for Business Process Management. 269
• Wolfgang Hesse, Roland Kaschek, Heinrich C. Mayr, Bernhard Thalheim: Ontologien in der und für die Softwaretechnik. 269-270

Tutorials

• Andy Rausch, Ulrike Hammerschall, Sascha Vogel: Das neue V-Modell. 272-273
• Alexander Pretschner: Modellbasiertes Testen. 274
• Wolfgang Reisig, Axel Martens: Verteilte Geschäftsprozesse und Web Services. 275
• Mario Jeckle: UML 2.0 - die neue Version der Standardmodellierungssprache. 276-277

Werkzeugunterstützung

• Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann: Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. 281-282
• Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker: CASE Support and Model-Based Development. 283-284
• Uwe Thaden, Tobias Buchloh, Friedrich Steimann: iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen. 285-286
• Andreas Metzger: Effiziente Modellierung durch Automatisierung. 287-288
• Thomas Deelmann, Peter Loos: Grundsätze ordnungsmäßiger Modellvisualisierung. 289-290

Domänenspezifische Modellierung

• I. Dürrbaum, Jörg Petersen, K. Stübbe, M. Bourhaleb, Hans-Dieter Kochs, Andreas Lapp, Jürgen Schirmer, Dirk Ziegenbein: Funktionale Modellierung varianter mechtronischer Systeme. 291-294
• Christian Lange, Michel R. V. Chaudron: Konsistenz und Vollständigkeit industrieller UML Modelle. 295-296
• Michael Eisenbarth, Klaus Schmid: Domain-specific Customization of Modeling Languages. 297-298
• Sten Löcher: Modellbasierte Konfiguration von Transaktionsdiensten. 299-300
• Malte Hübner, Hendrik Schöttle: Modeling and Verification of Judicial Workflows. 301-302

Nichtfunktionale Anforderungen

• Zhongfu Xu, Axel Lehmann: Towards a UML Profile Enabling Performance Prediction during Software Design. 303-304
• Christian Scherpe: Emulation von Rechnernetzen und Netzkopplungen. 305-306
• Johannes Grünbauer, Jan Jürjens, Guido Wimmel: Modelling Secure IT Systems - A Survey. 307-308
• Robert Schmidt, Jan Jürjens: Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem. 309-310

Prozesse, Ontologien

• Mario Beyer, Wolfgang Hesse: Use of UML for software process modeling. 311-312
• Michael M. Richter, Armin Stahl: Modeling Socio-Technical Processes in e-Commerce Scenarios. 313-314
• Matthias Riebisch: Unterstützung evolutionärer Softwareentwicklung durch Merkmalmodelle und Traceability-Links. 315-316
• Peter Fettke, Peter Loos: Ontological Evaluation of Scheer's Reference Model for Production Planning and Control Systems - Outline. 317-318

Wissensmodellierung

• Michael John, Ronald Melster: Modellierung von Expertennetzwerken. 319-320
• Frank Birgels, Christian Heine, Stefan Kirn: Wissensmodellierung in Krankenhausreferenzmodellen. 321-322
• Andreas J. Dietrich, Stefan Kirn, Frank Birgels: Anforderungen und Bestandteile eines Referenzmodells für Mass Customization - Ein konzeptioneller Ansatz. 323-324
• Daniel Moldt, Jan Ortmann: Konzeptuelle Modellierung web-basierter Prozesse und ihre Ausführung in Multiagentensystemen. 325-326
• Florian Röhrbein, Stefan Artmann, Martin Hirsch: IKAR/OS. 327-328