Stein Krogdahl

Learn More
Scalable Coherent Interface (SCI) is a bus dened by an IEEE working group. The purpose of SCI is to be the interconnect in future shared memory multiprocessors. The SCI denition, as proposed by the working group, species a cache coherence protocol. This specication is given in the C programming language. This report describes a layered approach to the(More)
Algebraic graph transformation has a wellestablished theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and transform collections of similar subgraphs makes graph transformation complex or even impractical to use in a number of transformation cases. This is addressed in this paper, by(More)
It has been recognized that there is a need for a language mechanism that support re-use of collections of related classes. Existing approaches either use an enclosing class for this purpose, or introduce a special purpose, new language construct. In this paper we explore the use of packages for the grouping of related classes. Ordinary packages are already(More)
In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the(More)
In this paper we introduce an aspect language that can define cross-cutting e«ects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbol as a wildcard(More)
We show how package templates, a modularization mechanism originally developed for statically typed languages like Java and C#, can be applied to and implemented in a dynamic language like Groovy, by using the language's capabilities for meta-programming. We then consider a set of examples and discuss dynamic PT from the viewpoints of code modularization(More)
This paper gives a short introduction to the GePEC system and to the notion of generic packages with expandable classes. It also compares this system to other languages and mechanisms with respect to some well known challenges in object-oriented programming. As the representatives for other languages we have chosen languages based on the virtual class(More)
The aim of this work is to provide better support for adaption and refinement of generic code. This type of flexibility is desirable in order to fully reap the potential of generic programming. Our proposal for an improved mechanism is an extension to the previously published Package Templates (PT) mechanism, which is designed for development of reusable(More)