A UML-based approach for problem frame oriented software development

被引:11
作者
Choppy, C
Reggio, G
机构
[1] Univ Paris 13, CNRS, UMR 7030, LIPN,Inst Galilee, F-93430 Villetaneuse, France
[2] Univ Genoa, DISI, Genoa, Italy
关键词
problem frames; UML based development method; requirement specification; design specification; 'rich' workpieces frame;
D O I
10.1016/j.infsof.2005.08.006
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We propose a software development approach that combines the use of the structuring concepts provided by problem frames, the use of the UML notation, together with our methodological approach for well-founded methods. Problem frames are used to provide a first idea of the main elements of the problem under study. Then we provide ad hoc UML based development methods for some of the most relevant problem frames together with precise guidelines for the users. The general idea of our method is that, for each frame, several artifacts have to be produced, each one corresponding to a part of the frame. The description level may range from informal and sketchy, to formal and precise, while this approach is drawn from experience in formal specifications. Thus we show how problem frames may be used upstream of a development method to yield an improved and more efficient method equipped with the problem frames structuring concepts. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:929 / 954
页数:26
相关论文
共 32 条
[1]  
Alexander C., 1977, PATTERN LANGUAGE
[2]  
[Anonymous], DESIGNING CONCURRENT
[3]   Towards a well-founded UML-based development method [J].
Astesiano, E ;
Reggio, G .
FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, :102-115
[4]  
Astesiano E, 2000, LECT NOTES COMPUT SC, V1816, P273
[5]  
ASTESIANO E, 2002, LECT NOTES COMPUTER, V2941
[6]  
Bass L., 2012, Software Architecture in Practice, V3rd ed.
[7]  
Bidoit M., 2004, LECT NOTES COMPUTER, V2900
[8]   Michael Jackson's problem frames: Towards methodological principles of selecting and applying formal software development techniques and tools. [J].
Bjorner, D ;
Koussoube, S ;
Noussi, R ;
Satchok, G .
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, :263-270
[9]  
BLEISTEIN SJ, 2004, P 1 INT WORKSH ADV A
[10]  
Boehm B, 2003, BALANCING AGILITY DI