From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques

This technical report consists of ve separate contributions within the areas of algebraic module specications, component concepts and integrated modeling techniques with one common bibliography at the end. The authors are as follows: Chapter Name EMail 1 Lars Frantzen lf@cs.tu-berlin.de 2 Jennifer Tenzer fairplay@cs.tu-berlin.de Daniel Parnitzke parnida@cs.tu-berlin.de 3 Martti Piirainen martti@cs.tu-berlin.de Markus Klein kleinm@cs.tu-berlin.de 4 Andreas Simon asimon@cs.tu-berlin.de Ulrich Wagner xlat@cs.tu-berlin.de 5 Benjamin Braatz sean@cs.tu-berlin.de Preface The contributions of this volume are based on presentations of advanced students in my courses on Modular Specication of Software Systems in the years 2000 and 2001. The rst contribution by Lars Frantzen on Algebraic Module Specications and Module Operations is a good summary of module specications in the framework of algebraic specications including several interesting examples. Replacing algebraic specications by the categorical notion of speci cation frames leads to a Categorical Meta Model for Module Specications presented in the second contribution by Jennifer Tenzer and Daniel Parnitzke. This meta model can be instantiated not only by algebraic specications, but also by several other specication frames, like rst order logic or partial equational logic. A general component concept proposed in the BMBF-project Continuous Software Engineering is presented in the third contribution by Martti Piirainen and Markus Klein. It is shown by interesting examples, including a window manager and a personnel management system, how this can be used for evolution of software specication in general and for algebraic module specications in particular