%0 Conference Proceedings
%T Towards an Integrated Model for Functional and User Interface Requirements
%+ College of Information Technology
%+ Faculty of CS and Elec. Engineering
%+ Dept. of Electrical & Computer Eng.
%A Mizouni, Rabeb
%A Sinnig, Daniel
%A Khendek, Ferhat
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE)
%C Reykjavik, Iceland
%Y Regina Bernhaupt; Peter Forbrig; Jan Gulliksen; Marta Lárusdóttir
%I Springer
%3 Human-Centred Software Engineering
%V LNCS-6409
%P 214-221
%8 2010-10-14
%D 2010
%R 10.1007/978-3-642-16488-0_19
%K Functional Requirements
%K UML Use Cases
%K User Interface Requirements
%K Task Models
%K Integrated Requirements Model
%K Finite State Automata
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X Despite the widespread adoption of UML as a standard for modeling software systems, it does not provide adequate support for specifying User Interface (UI) requirements. It has become a common practice to separately use UML use cases for specifying functional requirements and task models for modeling UI requirements. The lack of integration of these two related models is likely to introduce redundancies and inconsistencies into the software development process. In this paper, we propose an integrated model, consisting of use case and task models, for capturing functional and UI requirements. Both artifacts are used in a complementary manner and are formally related through so-called Anchors. Anchors are use case steps that require further elaboration with UI-specific interactions. These interactions are explicitly captured in associated task models. The formal semantics of the integrated model is given with finite state automata.
%G English
%2 https://inria.hal.science/hal-01055201/document
%2 https://inria.hal.science/hal-01055201/file/xp_p46_8.pdf
%L hal-01055201
%U https://inria.hal.science/hal-01055201
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-LNCS-6409
%~ IFIP-TC13
%~ IFIP-HCSE
%~ IFIP-WG13-2
%~ IFIP-2010