Extension and partitioning of use cases in support of formal object modeling

Ryoo, J.; Stach, J.; Park, E.K.

doi:10.1109/asset.1999.756774

Cited by 1 publication

(1 citation statement)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The bipartitioning of stak eholders suggests that there are both user goals and system goals and that system goals need to be accomplished in order for the user goal to be achiev ed. In 2,3], w eextended Jacobson's Use Case by scenario. The scenario forms the basis for a SystemOriented Use Case.…”

Section: Use Case Extensionsmentioning

confidence: 99%

Composing requirements for goal-oriented system behaviors using an extended form of use case

Lee

Ryoo²,

Stach³

et al.

Proceedings 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology

Self Cite

View full text Add to dashboard Cite

Use Cases have been shown to be an e ective construct to express system requir ements in terms of environmentally visible behaviors. However, re nement of the Use Case into a set of corresp onding system r equir ements is only indirectly supporte d by Use Case semantics that fo cus on envir onmental objects and their interaction with the system. In this paper we use a scenariolike extension to the Actor-Oriented Use Case called a System-Oriented Use Case which extends the Use Case to a set of system behaviors. We enrich the SystemOriented Use Case with a F usion-like notation to encode the speci c ation of system b ehaviors constr aine d b y the Actor's r ole and in support of the Actor's go al.Our extensions produc eincr ementallyless abstr act requir ements that terminate in Life Cycle expr essions traceable to the Use Case and A ctor. We provide formal de nitions for role, go al and the r esponsibilities of liveness and safety.

show abstract

Section: Use Case Extensionsmentioning

confidence: 99%