Title :
Info Cases: Integrating Use Cases and Domain Models
Author :
Fortuna, Michel H. ; Werner, Cláudia M L ; Borges, Marcos R S
Author_Institution :
Fed. Univ. of Juiz de For a, Juiz de Fora
Abstract :
This paper points to problems in the joint use of the use case model and the domain model in the system requirements definition phase. It proposes a specialization of use cases called info cases, from which a domain model can be derived. Semi-formal rules are presented for the derivation, showing evidence of the integration between these models.
Keywords :
formal specification; formal verification; systems analysis; domain model; info case; semiformal rule; system requirement definition phase; use case model integration; Delta modulation; Natural languages; Roads; Steady-state; domain model; info case; requirements informational modeling; use case;
Conference_Titel :
International Requirements Engineering, 2008. RE '08. 16th IEEE
Conference_Location :
Catalunya
Print_ISBN :
978-0-7695-3309-4
