@techreport{8204, author = {{Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}}, publisher = {{University of Paderborn, Department of Computer Science}}, title = {{{UML Collaboration Diagrams and Their Transformation to Java}}}, year = {{1999}}, } @techreport{8205, author = {{Engels, Gregor and Jan t'Hoen, Pieter and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter}}, pages = {{99--06}}, publisher = {{Leiden Institute of Advanced Computer Science}}, title = {{{SOCCA Extended with UML like Packages}}}, year = {{1999}}, } @techreport{8206, abstract = {{This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised.}}, author = {{Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t'Hoen, Pieter}}, publisher = {{Leiden Institute of Advanced Computer Science}}, title = {{{A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}}}, year = {{1999}}, } @inproceedings{8321, abstract = {{Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML) aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm werden die Medientypen und die logische Struktur der Anwendung modelliert. Als Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt. Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert wird.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}}, pages = {{155--170}}, publisher = {{Teubner, Stuttgart}}, title = {{{UML-basierte Modellierung von Multimediaanwendungen}}}, year = {{1999}}, } @inproceedings{8322, abstract = {{We present an object-oriented approach based on the Unified Modeling Language (UML) for modeling structure and dynamic behavior of a multimedia information system. We extend the Model-View-Controller paradigm for interactive systems towards multimedia and show that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a model. This is done in the intention of achieving a coherent model of a multimedia information system. As a result, we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended sequence diagram and a newly introduced presentation diagram to adequately specify the visual presentation within a multimedia information system. In addition to explaining the different diagram types, we also define pragmatic rules on how to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to basic ideas of multimedia information systems.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}}, pages = {{64--71}}, title = {{{OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}}}, year = {{1999}}, } @inproceedings{8323, author = {{Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}}, booktitle = {{Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}}, pages = {{92--106}}, publisher = {{Springer}}, title = {{{An Algebra of Graph Derivations using Finite (co-) limit Double Theories}}}, doi = {{http://dx.doi.org/10.1007/3-540-48483-3_7}}, volume = {{1589}}, year = {{1999}}, } @inproceedings{8324, author = {{Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}}, booktitle = {{Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}}, pages = {{118--141}}, publisher = {{Elsevier}}, title = {{{From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}}}, doi = {{http://dx.doi.org/10.1016/S1571-0661(05)80273-7}}, volume = {{19}}, year = {{1999}}, } @inproceedings{8325, abstract = {{In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics specification for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.}}, author = {{Engels, Gregor and Heckel, Reiko and Sauer, Stefan}}, booktitle = {{Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)}}, title = {{{Dynamic Meta Modelling: A Graphical Approach to Operational Semantics}}}, year = {{1999}}, } @inproceedings{8326, abstract = {{Several software architecture paradigms have been proposed for the development of interactive software systems and applications. Their common idea is the separation of user interface components from application logic. Normally, they are deployed as design patterns or basic frameworks of interactive systems. Deploying these architecture paradigms for multimedia systems or embedded real-time systems, first requires an appropriate adaption to the specific aspects of these application areas. We will compare within this position paper two well-known architecture paradigms and motivate an advanced architecture paradigm applicable to real-time, embedded multimedia systems. In addition, we will discuss that the architecture paradigm should be reflected within the structure of a modeling language.}}, author = {{Engels, Gregor and Sauer, Stefan}}, booktitle = {{Proceedings of OMER Workshop, Herrsching, Germany}}, number = {{01}}, pages = {{11--14}}, title = {{{MVC-Based Modeling Support for Embedded Real-Time Systems}}}, year = {{1999}}, } @inproceedings{8327, author = {{Mehner, Katharina and Wagner, Annika}}, booktitle = {{Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)}}, title = {{{An Assessment of Aspect Language Design}}}, year = {{1999}}, } @inproceedings{8328, author = {{Mehner, Katharina and Wagner, Annika}}, booktitle = {{Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain)}}, pages = {{305--306}}, publisher = {{Springer}}, title = {{{On the Role of Method Families in Aspect Oriented Programming}}}, volume = {{1743}}, year = {{1999}}, } @misc{6135, author = {{Hanel, U and Kabst, Rüdiger and Mayrhofer, W and Weber, W}}, pages = {{32--36}}, title = {{{Personalmanagement in Europa - Ein Vergleich auf der Basis empirischer Daten}}}, volume = {{51(1)}}, year = {{1999}}, } @inbook{6227, author = {{Kabst, Rüdiger and Weber, W}}, booktitle = {{Mitbestimmung: Gesellschaftlicher Auftrag und ökonomische Ressource}}, editor = {{Breisig, T}}, pages = {{407--425}}, title = {{{Die Bedeutung betrieblicher Informationskanäle: Eine Analyse vor dem Hintergrund aktueller personalwirtschaftlicher Entwicklungen}}}, year = {{1999}}, } @book{4629, author = {{Feng, Yuanhua}}, title = {{{Kernel- and Locally Weighted Regression -- with Application to Time Series Decomposition}}}, year = {{1999}}, } @techreport{4910, author = {{Frick, Bernd and Schneider, Martin}}, title = {{{Zunehmende Konfliktregulierung durch Arbeitsgerichte? Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen}}}, year = {{1999}}, } @book{4937, author = {{Eggert, Andreas}}, isbn = {{9783824470563}}, publisher = {{Deutscher Universitätsverlag}}, title = {{{Kundenbindung aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit}}}, doi = {{10.1007/978-3-663-08677-2}}, year = {{1999}}, } @inbook{7346, author = {{Kremer, H.-Hugo}}, booktitle = {{Lehren und Lernen in Schule und Betrieb }}, editor = {{Kremer, H.-Hugo and Ostendorf, Annette and Sloane, Peter F. E.}}, title = {{{Implementation fächer- und lernortübergreifender Ausbildungskonzepte im Alltag dualer Ausbildung. Konzepte und Erfahrungen}}}, volume = {{1}}, year = {{1999}}, } @article{7399, abstract = {{Multimedia-Anwendungen sind interaktive Softwaresysteme und verlangen als solche, mit softwaretechnischen Methoden erstellt zu werden. Sie werden heutzutage in der Regel mit Hilfe von Autorensystemen entwickelt, die eine Ad-hoc-Entwicklung auf Implementierungsniveau unterstützen. Hierdurch und wegen des Fehlens etablierter Vorgehensmodelle für die Multimedia-Softwareentwicklung reduziert sich der Multimedia-Entwicklungsprozeß auf die Implementierungsphase. Dies führt zu den in der Softwaretechnik bekannten Problemen wie mangelnder Konzeption und fehlender Dokumentation. Wir stellen in diesem Beitrag ein Vorgehensmodell für die Entwicklung von Multimedia-Anwendungen vor, in dessen Mittelpunkt eine Analyse- und Entwurfsphase im Hinblick auf eine Implementierung der Multimedia-Anwendung mit einem Autorensystem stehen. Ausgehend von einem frameworkbasierten Analysemodell der Anwendung und einem Modell der Realisierungsmöglichkeiten mit einem konkreten Autorensystem wird systematisch ein Implementierungsmodell auf Instanzebene abgeleitet, das als Eingabe für das Autorensystem verwendet wird. Das postulierte Vorgehensmodell wird exemplarisch für das Autorensystem Director am Beispiel der Domäne multimedialer Lehr-/Lernanwendungen erläutert.}}, author = {{Depke, Ralph and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}}, journal = {{Informatik Forschung und Entwicklung}}, number = {{2}}, pages = {{83--94}}, title = {{{Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen}}}, doi = {{http://dx.doi.org/10.1007/s004500050128}}, volume = {{14}}, year = {{1999}}, } @article{7400, author = {{Cherchago, Alexey and Finaev, V.}}, journal = {{Scientific bulletin of Academy of Information Technologies in Education, Science and Balneology}}, title = {{{Formalization of the development process for a software-hardware reflexodiagnostic tool}}}, volume = {{3}}, year = {{1999}}, } @article{7401, abstract = {{The framework of graph transformation combines the potentials and advantages of both, graphs and rules, to a single computational paradigm. In this paper we present some recent developments in applying graph transformations as a rule-based framework for the specification and development of systems, languages, and tools. After reviewing the basic features of graph transformation, we discuss a selection of applications, including the evaluation of functional expressions, the specification of an interactive graphical tool, an example specification of abstract data types, and the definition of a visual database query language. The case studies indicate the need for suitable structuring principles which are independent of a particular graph transformation approach. To this end, we present the concept of a transformation unit, which allows systematic and structured specifications and programming based on graph transformation.}}, author = {{Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}}, journal = {{Science of Computer Programming}}, number = {{1}}, pages = {{1--54}}, title = {{{Graph Transformation for Specification and Programming}}}, doi = {{http://dx.doi.org/10.1016/S0167-6423(98)00023-9}}, volume = {{34}}, year = {{1999}}, }