| SOFTWARE ENGINEERING AKTUELLES MITARBEITER STELLENANGEBOTE KONTAKT ANFAHRT |
||
 |
||
| LEHRE Informationen zu Klausuren |
||
|
||
| FORSCHUNG | ||
|
||
| ENGLISCH | ||
|
||
 |
|||||
|
|||||
| Forschung/UML for ProblemFrames (UML4PF) | |||||
UML for ProblemFrames (UML4PF)is a sum of eclipse plugins and an uml profile which extend the eclipse plugin Papyrus for requirements engineering inspired by Michael Jackson`s Problem Frames.Our approach is a new UML profile serving to support a pattern and model-based requirements engineering method based on Michael Jackson's problem frames. The UML profile allows us to express the different models being defined during requirements analysis using UML diagrams. In order to automatically perform semantic validations associated with the method, we provide integrity conditions, formally expressed as OCL constraints. These constraints concern single models as well as the coherence of different models. To provide tool support for the requirements engineering method, we have developed this tool called UML4PF, which is based on the Eclipse development environment. Model-based development is a promising approach to develop high-quality software. The idea of model-based software development is to construct a sequence of models that are of an increasing level of detail and cover different aspects of the software development problem and its solution. The advantage of this procedure is that it offers various possibilities for validation. Each model can be checked for desired properties separately, but also relations between diagrammatic and formal models can be checked. Problem frames are a means to describe software development problems. They were introduced by Michael Jackson, who describes them as follows: "A problem frame is a kind of pattern. It defnes an intuitively identifiable problem class in terms of its context and the characteristics of its domains, interfaces and requirement." The following list shows our developed eclipse plugins:
Tutorial : Create Architecture with Papyrus For links and downloads concerning Eclipse/Papyrus and UML4PF packages please have a look at our links. |
|||||
|
|||||
|
|||||
|
|||||