2006
DOI: 10.1007/11888116_22
|View full text |Cite
|
Sign up to set email alerts
|

Composition of Use Cases Using Synchronization and Model Checking

Abstract: Abstract.Capturing the behavior of a system by use cases have been intensively investigated in the last decade. The challenge is to find both the adequate model that fits the needs of the analyst and a formal composition mechanism which helps the generation of the expected behavior. In this paper, we propose a formal approach for specifying and composing use cases based on assignments. Those assignments are used to express new use cases. An assignment provides the join points and the composition operators that… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2007
2007
2007
2007

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 14 publications
0
3
0
Order By: Relevance
“…The synthesis of the base builder follows rules (7)(8)(9)(10)(11). Rule (7) defines the set of the states of the builder UCA.…”
Section: Base Use Case Builders Synthesismentioning
confidence: 99%
See 2 more Smart Citations
“…The synthesis of the base builder follows rules (7)(8)(9)(10)(11). Rule (7) defines the set of the states of the builder UCA.…”
Section: Base Use Case Builders Synthesismentioning
confidence: 99%
“…In fact, in order to write the composition expression of the UCA Order_3, we need to have Order_2 constructed because of the specification of the extension points. In order to overcome such constraints, we extended the possibility of defining an LTL property in the composition expression rather than defining a specific extension points as mentioned in [7]. The base UCA is checked against this property in the SPIN model checker that is interfaced in the UMACT tool.…”
Section: Case Study: E-purchasing Systemmentioning
confidence: 99%
See 1 more Smart Citation