Fachkonzeptionelle Spezifikation konfigurierbarer Geschäftsprozesse auf Basis von Web Services

--

Grundlagen der algebraischen Semantik: Vorlesung an der Fakultät für Mathematik und Informatik der Universität Leipzig

1 Einführung, 2 Heterogene Algebren, 3 Algebraische Hülle und Homomorphiebegriff, 4 Termalgebren, 5 Syntax und Semantik von Sprachen, 6 Kongruenzrelationen und Faktoralgebren, 7 Gleichungsdefinierbare Klassen, 8 Abstrakte Datentype

On the descriptional complexity of iterative arrays

The descriptional complexity of iterative arrays (lAs) is studied. Iterative arrays are a parallel computational model with a sequential processing of the input. It is shown that lAs when compared to deterministic finite automata or pushdown automata may provide savings in size which are not bounded by any recursive function, so-called non-recursive trade-offs. Additional non-recursive trade-offs are proven to exist between lAs working in linear time and lAs working in real time. Furthermore, the descriptional complexity of lAs is compared with cellular automata (CAs) and non-recursive trade-offs are proven between two restricted classes. Finally, it is shown that many decidability questions for lAs are undecidable and not semidecidable

Descriptional complexity of cellular automata and decidability questions

We study the descriptional complexity of cellular automata (CA), a parallel model of computation. We show that between one of the simplest cellular models, the realtime-OCA. and "classical" models like deterministic finite automata (DFA) or pushdown automata (PDA), there will be savings concerning the size of description not bounded by any recursive function, a so-called nonrecursive trade-off. Furthermore, nonrecursive trade-offs are shown between some restricted classes of cellular automata. The set of valid computations of a Turing machine can be recognized by a realtime-OCA. This implies that many decidability questions are not even semi decidable for cellular automata. There is no pumping lemma and no minimization algorithm for cellular automata

Modellierung von Service-Aufrufbeziehungen zwischen prozessorientierten Applikationen

In Unternehmen existiert oftmals eine Vielzahl von heterogenen Informationssystemen für die Bereitstellung und Verarbeitung von Geschäftsdaten. Die Integration dieser Informationssysteme stellt eine große Herausforderung dar, insbesondere aufgrund fehlender Standardisierung und Detaillierung der Dokumentation solcher IT-Landschaften. Problematisch ist, dass in vielen Unternehmen die verschiedenen Applikationen und Geschäftsprozesse sowie die Abhängigkeiten zwischen ihnen (d.h. angebotene Schnittstellen und deren Verwendung) nicht vollständig bekannt sind. Dadurch entstehen sehr unübersichtliche, heterogene und nur schwer erweiterbare IT-Landschaften. Dieser Beitrag entwickelt eine Methode zur Modellierung und Spezifikation der Abhängigkeiten insbesondere zwischen prozessorientierten Applikationen