Annual Report 1999 / Department for Computer Science

Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1999.Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1999

Workflow Management mit kooperativen Softwaresystemen:State of the Art und Problemabriß

Ausgehend von den Forderungen nach Markt- und Kundenorientierung, organisatorischer Reaktionsschnelligkeit, Flexibilität und Anpassungsfähigkeit wird derzeit in Wissenschaft und Praxis mit Hochdruck an der Entwicklung neuer organisatorischer Konzepte gearbeitet.In diesem Zusammenhang ist auch häufig von Workflow-Management-Systemen die Rede. Diese sind angetreten, um Geschäftsprozesse in einer Organisation aktiv und durch den Einsatz von Rechnertechnologie zu unterstützen. In dieser Arbeit wird zunächst der aktuelle Stand der Kunst zur Modellierung von Geschäftsprozessen einer kritischen Betrachtung unterzogen. Dabei zeigt sich, daß die Strukturierbarkeit von Aufgaben und die Komplexität der Vorgangserzeugung zwei für den Entwurf von Workflow-Management-Systemen wesentliche, diesen jedoch in unterschiedlicher Weise beeinflussende Kriterien sind. Betrachtet man nun allerdings moderne dezentralisierte Organisationen, dann stellt man rasch fest, daß die dort gegebenen Anforderungen insbesondere an die Modellierung und Steuerung von Geschäftsprozessen weit über das hinausgehen, was Workflow-Management-Systeme konventioneller Technologie leisten können. Hier bieten jedoch die in der Verteilten Künstlichen Intelligenz entwickelten Konzepte erfolgversprechende Lösungsansätze. Die Arbeit zeigt auf, wie diese zur Koordination von Geschäftsprozessen genutzt und so zur Flexibilisierung der informationstechnischen Unterstützung von Geschäftsprozessen eingesetzt werden können.<br

Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen: MBMV 2015 - Tagungsband, Chemnitz, 03. - 04. März 2015

Der Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015) findet nun schon zum 18. mal statt. Ausrichter sind in diesem Jahr die Professur Schaltkreis- und Systementwurf der Technischen Universität Chemnitz und das Steinbeis-Forschungszentrum Systementwurf und Test. Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Er soll somit ein Forum zum Ideenaustausch sein. Weiterhin bietet der Workshop eine Plattform für den Austausch zwischen Forschung und Industrie sowie zur Pflege bestehender und zur Knüpfung neuer Kontakte. Jungen Wissenschaftlern erlaubt er, ihre Ideen und Ansätze einem breiten Publikum aus Wissenschaft und Wirtschaft zu präsentieren und im Rahmen der Veranstaltung auch fundiert zu diskutieren. Sein langjähriges Bestehen hat ihn zu einer festen Größe in vielen Veranstaltungskalendern gemacht. Traditionell sind auch die Treffen der ITGFachgruppen an den Workshop angegliedert. In diesem Jahr nutzen zwei im Rahmen der InnoProfile-Transfer-Initiative durch das Bundesministerium für Bildung und Forschung geförderte Projekte den Workshop, um in zwei eigenen Tracks ihre Forschungsergebnisse einem breiten Publikum zu präsentieren. Vertreter der Projekte Generische Plattform für Systemzuverlässigkeit und Verifikation (GPZV) und GINKO - Generische Infrastruktur zur nahtlosen energetischen Kopplung von Elektrofahrzeugen stellen Teile ihrer gegenwärtigen Arbeiten vor. Dies bereichert denWorkshop durch zusätzliche Themenschwerpunkte und bietet eine wertvolle Ergänzung zu den Beiträgen der Autoren. [... aus dem Vorwort

eingesetzt wird. A. nutzt dazu die Boolesche Logik (Algebra) mit den Operatoren AND, OR und NOT. Die logischen Operatoren ergeben folgende Mengen: A AND B

N2- Drucker, die ein Verfahren zum schnellen und kostengünstigen Erstellen von dreidimensionalen physikalischen Modellen (Prototypen) nutzen. Sie verwenden Pulvermaterialien, die sich durch Einspritzen eines Bindemittels verfestigen. 3D-D. verarbeiten CAD-Daten und sind für das „rapid prototyping “ inzwischen für unter $ 5.000 zu erwerben

Ansätze zur Entwicklung von Workflow-basierten Anwendungssystemen:eine vergleichende Darstellung

Workflow-Management-Systeme werden entscheidende Impulse für die Gestaltung von Informationssystemen der nächsten Generation geben. Ähnlich wie Datenbank-Systeme heute werden Workflow-Systeme zukünftig als Basistechnologie in komplexen Informationssystemen verwendet werden. Sie ermöglichen eine geschäftsprozeßnahe Darstellung der betrieblichen Ablauflogik und die explizite und zentrale Abbildung dieser Geschäftsprozeßlogik mittels spezialisierter Softwarekomponenten im Gegensatz zu der heute üblichen impliziten Codierung der Prozeßlogik in Applikationen. Ansätze zur Entwicklung von Workflow-basierten Anwendungen sind somit von großem Interesse. Anhand eines Vorgehens-Meta-Modells stellt der Beitrag zunächst wichtige in der Literatur vorgeschlagene Vorgehensmodelle zur Entwicklung von Workflow-Anwendungen einheitlich und klassifizierend dar. Darauf aufbauend erfolgt eine vergleichende Einordnung der verschiedenen Ansätze anhand von Kriterien, die basierend auf dem Meta-Modell hergeleitet werden.<br/

KREMLAS: Entwicklung einer kreativen evolutionären Entwurfsmethode für Layoutprobleme in Architektur und Städtebau

Die im vorliegenden Buch dokumentierten Untersuchungen befassen sich mit der Entwicklung von Methoden zur algorithmischen Lösung von Layoutaufgaben im architektonischen Kontext. Layout bezeichnet hier die gestalterisch und funktional sinnvolle Anordnung räumlicher Elemente, z.B. von Parzellen, Gebäuden, Räumen auf bestimmten Maßstabsebenen. Die vorliegenden Untersuchungen sind im Rahmen eines von der Deutschen Forschungsgemeinschaft geförderten Forschungsprojekts entstanden

Modellierung in der Lehre an Hochschulen: Thesen und Erfahrungen

Zusammenfassung: Nicht erst seit Modellierung zum Modewort geworden ist, ist Modellierung ein wichtiges Thema in der Informatikausbildung. Dieser Beitrag beleuchtet in zwölf Thesen das Warum, Was, Wie viel, Wo, Wann und Wie von Modellierung in der Lehre im Rahmen informatikbezogener Studiengänge. Die Thesen basieren auf der Erfahrung des Verfassers mit einer seit über zehn Jahren gehaltenen Modellierungsvorlesung an der Universität Zürich sowie dem Gedankenaustausch mit anderen Hochschullehrerinnen und -lehrern im Rahmen der GI-Workshopreihe ,,Modellierung". Zusätzlich liefert eine Befragung von Absolventinnen und Absolventen an der Universität Zürich empirische Evidenz für eine Reihe der These

Auf dem Weg zu prozessorientierten Informationssystemen der nächsten Generation : Herausforderungen und Lösungskonzepte

Prozess-Management-Systeme müssen gegenüber dem heutigen Stand erheblich leistungsfähiger werden, damit prozessorientierte Informationssysteme für ein breites Spektrum von Anwendungen einsetzbar werden. Besonders wichtig ist in diesem Zusammenhang ist die Realisierung einer wesentlich höheren Flexibilität und Adaptivität als sie von heutigen Systemen geboten werden. In diesem Beitrag wird zunächst aus Anwendersicht aufgezeigt, wie der Umgang mit solchen flexiblen und adaptiven Prozess-Management-\ud Systemen aus Anwendersicht aussehen könnte und was die daraus resultierenden technologischen Herausforderungen sind. Die vorgestellten Beispiele und Lösungsansätze orientieren sich an den im ADEPT-Projekt gewonnenen Erkenntnissen sowie den im Nachfolgeprojekt AristaFlow verfolgten Zielen

Durchführung von Digitalisierungsprojekten in Bibliotheken

Der vorliegende Artikel entstand auf Grundlage einer Diplomarbeit, in der ein Konzept fur ein Digitalisierungsprojekt im Ibero-Amerikanischen Institut ent- wickelt wurde. Das Institut plant die Digitalisierung einiger Sammlungen latein- amerikanischer Volksliteratur und Grafik. Auch wenn die Entwicklung momentan noch im Fluss ist, sollen im nachfolgenden Artikel fur Digitalisierungsprojekte wichtige Aspekte wie Vorgange, Techniken und Standards vorgestellt werden, allerdings unter Ausklammerung der umfassenden Themenkomplexe Metadaten und Presentation der fertigen Ergebnisse im Internet

Validierung von MultiView-basierten Prozessmodellen mit grafischen Validierungsregeln

Die Bedeutung und Verbreitung von Software wächst im betrieblichen und privaten Umfeld stetig. Das primäre Ziel bei der Verwendung von Software ist die Optimierung manueller oder bereits (teil-) automatisierter Problem- bzw. Aufgabenstellungen. Der zentrale Bezugspunkt bei der Entwicklung der Software ist die Softwarespezifikation. Diese beinhaltet im Idealfall alle für die Softwarelösung relevanten Anforderungen. Ein an Bedeutung gewinnender Bestandteil der Spezifikation sind Geschäftsprozessmodelle. Diese beschreiben dabei die Abläufe der zu entwickelnden Softwarelösung in Form von grafischen Prozessdarstellungen. Aufgrund der zunehmenden Anreicherung der Prozessmodelle mit Anforderungen und Informationen wie bspw. gesetzlichen Bestimmungen oder Details für die modellgetriebene Softwareentwicklung erwachsen aus einfachen Ablaufdarstellungen komplexe und umfangreiche Geschäftsprozessmodelle. Unabhängig davon, ob Geschäftsprozessmodelle zur reinen Spezifikation bzw. Dokumentation dienen oder für die modellgetriebene Softwareentwicklung eingesetzt werden, ist ein zentrales Ziel die Sicherstellung der inhaltlichen Korrektheit der Geschäftsprozessmodelle und damit der darin modellierten Anforderungen. In aktuellen Softwareentwicklungsprozessen werden dazu häufig manuelle Prüfverfahren eingesetzt, welche jedoch häufig sowohl zeit- als auch kostenintensiv und zudem fehleranfällig sind. Automatisierbare Verfahren benötigen allerdings formale Spezifikationssprachen. Diese werden aber aufgrund ihrer mathematisch anmutenden textuellen Darstellung im Umfeld der Geschäftsprozessmodellierung meist abgelehnt. Im Gegensatz zu textuellen Darstellungen sind grafische Repräsentationen häufig leichter verständlich und werden vor allem im Bereich der Geschäftsprozessmodellierung eher akzeptiert. Im Rahmen der Arbeit wird daher ein auf formalen grafischen Validierungsregeln basierendes Konzept zur Überprüfung der inhaltlichen Korrektheit von Geschäftsprozessmodellen vorgestellt. Das Konzept ist dabei unabhängig von der Modellierungssprache der Geschäftsprozessmodelle sowie von der Spezifikationssprache der Validierungsregeln. Zur Verbesserung der Beherrschbarkeit der zunehmend komplexen und umfangreichen Geschäftsprozessmodelle wird zudem ein als MultiVview bezeichnetes Sichtenkonzept vorgestellt. Dies dient zur Reduzierung der grafischen Komplexität und zur Zuordnung von Aufgaben- und Verantwortungsbereichen (beispielsweise Datenschutz- und Sicherheitsmodellierung) bei der Geschäftsprozessmodellierung. Das Gesamtkonzept wurde prototypisch in der Software ARIS Business Architect und als Plug-in für die Entwicklungsumgebung Eclipse realisiert. Eine Evaluation erfolgt zum einen an dem Eclipse Plug-in anhand eines Requirements Engineering Tool Evaluation Framework und zum anderen anhand von Anwendungsfällen aus dem Bereich der öffentlichen Verwaltung, der ELSTER-Steuererklärung und SAP-Referenzprozessen