Analyzing typical diagram life cycles results in the observation that they usually undergo several modifications during the development process. The better the tracking of such changes the more information can be obtained from them. As class diagrams are among the most widely used and most important UML diagram types, this paper investigates the concept of… (More)
We describe our prototype implementation for Architecture Stratification supporting system descriptions at multiple levels of abstraction for developing complex software systems. Our tool transforms both model and code fragments in parallel using refinement transformations which are specified with a combination of " Story-Driven-Modeling " and Java code.… (More)
Architecture Stratification is a technique for describing and developing complex software systems on multiple levels of abstractions. In this paper we present an approach and a corresponding implementation—in the form of a Fujaba plugin— for refining models including their behavior. Our plugin enables Fujaba models to be annotated with refinement directives… (More)
SPin is a plugin for Fujaba that provides basic support for architecture stratification. It enables Fujaba models to be annotated with refinement directives which may then automatically be executed by the plugin. The corresponding refinement transformations may be defined with a combination of story driven modeling and Java coding. These transformations… (More)
Model transformation is not only ac rucial buta lso one of the most complicated aspects of model-drivensoftware development (MDSD). An adequate transformation language is therefore vital to its successful application. Architecture stra-tification is av ery flexible approach to MDSD, which applies stepwise refinement to model-based system development. In… (More)
IV 1 The Original version of Refefree 1 1.
Testverfahrens abgeleitet werden, unterscheidet man zwischen Black-Box-Tests und White-Box-Tests. Während für die Ableitung der Testfälle für Black-Box-Tests die Spezifikation einer Anwendung herangezogen wird, dient hierfür bei den Testfällen für White-Box-Tests der Quellcode der Anwendung. Anders beschreibt dies beispielsweise [Binder00] (S. 51), der das… (More)