Abstract. Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly with commonality and variability. This paper introduces feature modeling for multi-paradigm design as an integrative approach and evaluates other approaches to feature modeling. These approaches differ mainly in the notation of feature diagrams, but there are also differences regarding the basic notions. The commonalities and variabilities of the domain of feature modeling are concisely expressed using feature modeling itself in the form of a feature modeling metamodel which may serve both for further reasoning on feature modeling and as a basis for developing feature modeling tools. 1

In this paper we consider the utilization of component-based software engineering techniques for the development of adaptable systems compromised with performance. The SCENARIO ADAPTER construct is proposed as an effective means to achieve this goal. It can be used to adapt scenario-independent abstractions to an execution scenario known at compile-time. The efficiency of SCENARIO ADAPTERS has been demonstrated in the Project EPOS, which aims to deliver, whenever possible automatically, a tailored run-time support system for each application.

Abstract. Web service technology aims at application integration by providing stable service interfaces and standardized communication protocol. However, this is not yet a mature technology; it lacks certain features, among which ability to compose services in the most flexible way. We begin with a comparison of traditional workflow and the existing Web Services-based process technologies; the advantages of the emerging technologies and how they meet the new requirements imposed by both the business and Web services worlds are pointed out. We revise the process life cycle by including additional phases to the traditional division in only build time and run time. This fosters standardization, and allows for modeling adaptable business processes. We concentrate on the dynamic invocation of WSs from within a process instance and present a new way of finding, binding to and invoking WSs during process runtime. For this we introduce an additional run time sub-phase to accommodate the so-called “find and bind ” mechanism, which involves policybased selection of services and binding to them at run time. The implications of the “find and bind ” mechanism on the process model and the implementation of the execution environment are also discussed. Keywords. Web Services, WS-flows, WS-flows development life cycle, dynamic invocation of Web services. 1

Abstract Multi-paradigm design is a metaparadigm: it enables to select the appropriate paradigm among those supported by a programming language for a feature being modeled in a process called transformational analysis. A paradigm model is a basis for multi-paradigm design. Feature modeling appears to be appropriate to represent a paradigm model. Such a model is proposed here for AspectJ language upon the confrontation of multi-paradigm design and feature modeling. Subsequently, the new transformational analysis is discussed. 1

We present a new taxonomy and toolkit of keyword pattern matching algorithms. The new taxonomy is an extension of a prior taxonomy of such algorithms. It includes a number of algorithms (including factor- and factor oracle-based and bit-parallel prefix-based pattern matching algorithms) that have been published or received a lot of attention in the last decade. Based on the new taxonomy, we developed a pattern matching toolkit. This toolkit is a revision and extension of the SPARE Parts toolkit that had been developed based on the original taxonomy. We present the architecture of the new toolkit, which is named SPARE Time. Samenvatting We presenteren een nieuwe taxonomie en toolkit van algorithmen voor keyword pattern matching. De nieuwe taxonomie vormt een uitbreiding van een eerdere taxonomie van zulke algorithmen. Ze bevat een aantal algorithmen (waaronder algorithmen gebaseerd op factoren en factor oracles en bit-parallelle algorithmen gebaseerd op prefixen) die in de afgelopen tien jaar gepubliceerd zijn of veel aandacht gekregen hebben.

Abstract not found

Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach is to design features as first-class entities of a language. With this approach, features can be constructed and returned by methods, stored in variables and used in many expressions of the language. This paper introduces rbFeatures, an implementation of first-class features in the dynamic programming language Ruby. Our goal is to show how such a language extension works with respect to its dynamic host language and the applicability of our results. In particular, we present a step-by-step walkthrough how to use rbFeatures in order to implement known case-studies like the Graph Product Line or the Expression Product Line. Since we created a pure Ruby language extension, rbFeatures can be used with any existing programs and in any virtual machine implementing Ruby.

Pattern Languages have begun to appear and mature as a presentation of the structures and processes that support the building of complex software systems. A pattern language describes how to compose structures in a particular domain such as telecommunications, client-server architecture, or object-oriented programming, to achieve system-level architectures that are greater than the sum of their parts. A problem lurks on the horizon: How do you compose patterns from multiple domains—from multiple pattern languages—in a single system? For example, today there is nothing other than an ad-hoc approach to combining the pattern languages for telecommunications and for object-oriented design to build objectoriented telecommunications systems from the respective pattern languages. To understand the solution to this dilemma, it pays to examine sequences: an important aspect of pattern application that is often overlooked. Sequences are the loci of concern about interleaving patterns, whether from a single pattern language or multiple pattern languages. Sequences are critical because pattern languages represent longterm archives of the rhythms of critical, recurring sequences. Key words:

State Machines Philipp W. Kutter Applied Formal Methods Institute AG and Institute TIK, ETH Zurich June 5, 2002 1

Multi-paradigm software development is a spontaneous answer to attempts of nding the best paradigm. It was present in software development at the level of intuition and practiced as the \implementation detail" without even mentioning it in the design. Its breakthrough is twofold: several recent programming paradigms are encouraging it, while explicit multi-paradigm approaches aim at its full-scale support.