what does it mean to have integrated requirement model how s

what does it mean to have integrated requirement model?

how should they be used?

Each of the UML models relates to the other model

How can cross checking between models ensure that the requirements are accurate and correct?

illustrate your answer

what are the dangers of not cross checking between the models?

what is the principal distinction (purpose) between a use case activity diagram and a system sequence diagram

explan when you might use one instead of the other

Solution

While requirements engineering in itself is already useful, integrating it with other elements from the system development process can increase its value significantly. We already hinted at this in our scientific work with respect to traceability, or our thoughts of an integration with Topcased. Our latest ideas were just submitted for publication.

he integration already allows the creation of traces – this is shown in the right column of the screenshot. While links are generic in ProR, in our approach we use traces to document a “realizes” relationship: A linked element contributes to the realization of a requirement. It is possible to link elements from the model (e.g. an invariant), or other ProR elements (e.g. SpecObjects that are part of the specification).
As work progresses, the specification, requirements or model elements change. If there is a trace, it is marked as “suspect” with a yellow triangle to alert the user that the relationship may be suspect.

So what value does such an integration provide? Imagine getting a set of initial requirements, and the task of creating a specification. A typical first step is to identify nouns in the requirements text as the starting point for modeling the domain. The integration allows the domain modeling to be done in Event-B. As soon as the first elements are modeled, they will appear with a squiggly red underline, alerting you to the fact that you may have missed declaring an element. Once you put square brackets around them, they turn blue to indicate that this is a modeled element.