Integration von Legacy-Systemen mit Electronic Commerce Anwendungen

Immer mehr Unternehmen der Old-Economy (Energieversorgungsunternehmen, Versicherungsunternehmen, Kreditinstitute) öffnen sich dem elektronischen Handel, um einerseits neue Märkte zu erschließen und andererseits bestehende Märkte zu sichern und auszubauen. Im Gegensatz zu Unternehmen der New Economy (Amazon, EBay, Consors), die über eine auf die Anforderungen des Electronic Commerce speziell ausgerichtete Hard- und Softwareinfrastruktur verfügen, haben die Unternehmen der Old-Economy Legacy-Systeme im Einsatz, mit denen sie ihr bisheriges Geschäft unterstützt und abgewickelt haben. Die Daten und Funktionalitäten dieser Legacy-Systeme sollen in neuen zusätzlichen Electronic Commerce Anwendungen zur Unterstützung des elektronischen Handels genutzt werden. Die Möglichkeiten der Integration einer bestehenden Hard- und Softwareinfrastruktur mit neu entwickelten Electronic Commerce Anwendungen sowie die Integration der bisherigen Geschäftsprozesse mit elektronischen Geschäftsprozessen wird in diesem Beitrag beschrieben

congruences for stochastic relations

We discuss congruences for stochastic relations, stressing the equivalence of smooth equivalence relations and countably generated ó-algebras. Factor spaces are constructed for congruences and for morphisms. Semi-pullbacks are needed when investigating the interplay between congruences and bisimulations, and it is shown that semi-pullbacks exist for stochastic relations over analytic spaces, generalizing a previous result and answering an open question. Equivalent congruences are investigated, and it is shown that stochastic relations that have equivalent congruences are bisimilar. The well-known equivalence relation coming from a Hennessy-Milner logic for labelled Markov transition systems is shown to be a special case in this development

Ergebnisbericht des Jahres 2001 des Projektes MuSofT Multimedia in der SoftwareTechnik

Das Vorhaben MuSofT - Multimedia in der Softwaretechnik wird seit dem 1. März 2001 vom Bundesministerium für Buildung und Wissenschaft im Rahmen des Programms Neue Medien in der Bildung gefördert. An diesem Vorhaben nehmen die folgenden Hochschulen teil: Fachhochschule Lübeck, Otto-von-Guericke-Universität Magdeburg, Universität Paderborn, Universität Dortmund, Universität Siegen, Universität Stuttgart und die Universität der Bundeswehr in München. Wir haben uns in diesem Projekt vorgenommen, die Ausbildung in der Softwaretechnik an den Stellen, an denen es sinnvoll erscheint, durch den Einsatz Neuer Medien zu nterstützen. Das Vorhaben wird bis zum Ende des Jahres 2003 laufen. Mit dieser Sammlung wollen wir nach etwa einjähriger Laufzeit die ersten Projektergebnisse vorstellen. Wir haben uns im Zeitplan des Projekts vorgenommen, gründlich über die verwendeten Konzepte und Lehrinhalte nachzudenken, die Frage der Plattformen gerade am Anfang nicht auszuklammern, aber auch zu überlegen, wie wir die Nachhaltigkeit unserer Entwicklungen schon während der Projektarbeit sichern können. Das alles und noch viel mehr ist in den Beiträgen dieser Sammlung diskutiert. Um von der Struktur gleichförmige Beiträge zu bekommen, haben wir eine grobe Gliederung vorgegeben, um gleichförmige Qualität zu erreichen, haben wir die Beiträge intern begutachten lassen; die Ergebnisse der Begutachtung sind in die vorliegenden Darstellungen eingeflossen

Vitruv: Specifying Temporal Aspects of Multimedia Presentations - A Transformational Approach based on Intervals

The development of large multimedia applications reveals similar problems to those of developing large software systems. This is not surprising, as multimedia applications are a special kind of software systems. Our experience within the Altenberg Cathedral Project showed, however, that during developing multimedia applications particular problems arise, which do not appear during traditional software development. This is the starting point of the research reported in this thesis. In this introduction, we start with a report on the Altenberg Cathedral Project (sec. 1.1), resulting in a problem statement and a list of requirements for possible solutions. After that we propose our solution named Vitruv (sec. 1.2 on page 11) and explain how it works in general (sec. 1.3 on page 12). It is followed by a discussion of key aspects of Vitruv and relations to other approaches (sec. 1.4 on page 14). The introduction closes with a brief outline of the thesis

Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.

We provide a detailed analysis of the insertion and deletion operations for an ER-model represented in terms of the map calculus. This continues our previous study of compiling an ER model into the abstract setting of what might be called logic without variables. Page 1 Algebraic semantics of ER-models, II: Dynamic View

Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.

2We provide a detailed analysis of the insertion operations for an ER-model represented in terms of the map calculus. This continues our previous study of compiling an ER model into the abstract setting of what might be called logic without variables.nonemixedDOBERKAT E. E; OMODEO E.DOBERKAT E., E; Omodeo, Eugeni