Frameworks Based on Templates for Rigorous Model-driven Development

被引：7
作者：
Amalio, Nuno [1 ]
Polack, Fiona [1 ]
Stepney, Susan [1 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2007年 / 191卷
关键词：
UML; MDD; Z; patterns; templates;
D O I：
10.1016/j.entcs.2007.09.002
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system development, such as the UML, are not amenable to formal analysis and consistency checking. On the other hand, formal modelling and analysis requires a level of competence and expertise that is not common in commercial development communities, and formal approaches are not well integrated with the rest of the development process. This paper advocates an approach to building engineering environments (or frameworks) for rigorous model-driven development (MDD) that is based on combining semi-formal notations with formal modelling languages. To support the approach, there is a formal language of templates, which captures patterns of formal development and enables an approach to proof with templates. This allows the construction of catalogues of patterns (represented as templates) and meta-theorems for frameworks. The paper presents and illustrates a framework for sequential systems that combines UML and the formal language Z.
引用
收藏
页码：3 / 23
页数：21
相关论文
共 20 条
  • [1] Alexander C., 1977, PATTERN LANGUAGE TOW
  • [2] Amalio N, 2005, LECT NOTES COMPUT SC, V3455, P262
  • [3] Amalio N, 2004, LECT NOTES COMPUT SC, V3308, P418
  • [4] Amalio N., 2006, THESIS
  • [5] Amalio N., 2006, SOFTWARE SPECIFICATI
  • [6] Amalio N, 2006, LECT NOTES COMPUT SC, V4085, P252
  • [7] Clark T., 2001, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001. Proceedings (Lecture Notes in Computer Science Vol.2029), P17
  • [8] Clark T, 2002, LECT NOTES COMPUT SC, V2306, P159
  • [9] D'Sousa D., 1998, OBJECT COMPONENTS FR
  • [10] Gamma E., 1995, PROFESSIONAL COMPUTI
12