Consistency between Task Models and Use Cases

被引：0
作者：
Sinnig, Daniel [1 ]
Chalin, Patrice [1 ]
Khendek, Ferhat [2 ]
机构：
[1] Concordia Univ, Dept Software Engn & Comp Sci, Montreal, PQ, Canada
[2] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ, Canada
来源：
ENGINEERING INTERACTIVE SYSTEMS | 2008年 / 4940卷
关键词：
Use cases; task models; finite state machines; formal semantics; consistency;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Use cases are the notation of choice for functional requirements documentation, whereas task models are used as a starting point For user interface design. In this paper, we motivate the need for,in integrated development methodology in order to narrow the conceptual gap between software engineering and user interface design. This methodology rests upon a common semantic framework for developing and handling use cases and task models. Based oil the intrinsic characteristic of both models we define a common formal semantics and provide a formal definition of consistency between task models and use cases. The semantic mapping and the application of the proposed consistency definition are supported by an illustrative example.
引用
收藏
页码：71 / +
页数：3
相关论文
共 24 条
[11]  
Hopcroft J, 2006, INTRO AUTOMATA THEOR
[12]  
ICHIKAWA H, 1990, PROTOCOL SPECIFICATI, V10, P183
[13]  
KHENDEK F, 2001, P 21 IFIP WG 6 1 INT
[14]  
KOSTERS G, 1997, P BCS FACS EROS WORK, P27
[15]  
Larman C., 2002, Applying UML and patterns
[16]   CTTE:: Support for developing and analyzing task models for interactive system design [J].
Mori, G ;
Paternò, F ;
Santoro, C .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (08) :797-813
[17]   Automatic test generation:: A use case driven approach [J].
Nebut, C ;
Fleurey, F ;
Le Traon, Y ;
Jézéquel, JM .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (03) :140-155
[18]  
Paternò F, 2001, LECT NOTES COMPUT SC, V2254, P7
[19]  
Pressman R., 2015, Software Engineering: A Practitioner's Approach
[20]  
SEFFAH A, HUMAN CTR SOFTWARE E
123