M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
复制标题
M.E.R.O.DE.：模型驱动的实体关系面向对象的开发方法
DOI：
10.1145/182824.182838
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
M. Snoeck
中科院分区：
文献类型：
--
作者：
G. Dedene;M. Snoeck
面向对象的主要目标是改进软件构造过程。面向对象的分析、设计和软件构造应该产生高质量的软件：软件是可靠的、可维护的、可扩展的、适应性强的。然而，以定性的方式交付大型OO软件系统是一个重大的挑战。扩展需要开发团队使用的建模技术和语言的语义的形式精确性。当目标系统包含大量的并行性时，如果没有形式化技术的支持，验证问题将变得不可行。随着形式化技术在开发过程中的结合，我们可以期待在软件质量方面的显着好处。出于这个原因，人们可能会期望在当前的OOAD方法中有高水平的形式化[9]。不幸的是，大多数当前的OOAD方法的特征是形式性较低。法医鉴定所方法学解决了这一空白。通过使用代数，该方法已提供了一个正式的基础上，在几个层次上的软件开发过程的质量显着改善的结果。对于第二部分的读者来说，第一部分激发了另一种OOA方法的发展。最后一节演示了M.E.R.O.DE的正式定义是如何准确的。在软件规格级别上的质量增益。
Object Orientation has as primary goal to improve the software construction process. Object Oriented analysis, design and software construction should yield software of a high quality: software that is reliable, maintainable, extensible, adaptable. However, delivering large OO software systems in a qualitative way is a significant challenge. Scaling up requires formal precision of the semantics of the modelling techniques and languages used by the development team. And when the target system contains an abundance of parallelism, the problem of validation becomes unfeasible if it is not supported by formal techniques. With the incorporation of formal techniques in the development process, we can expect significant benefits in terms of software quality.For this reason, one might expect a high level of formality in current OOAD methods [9]. Unfortunately, most current OOAD methods are characterised by a low level of formality. The M.E.R.O.DE. methodology addresses this void. By making use of algebra, the methodology has been provided with a formal basis at several levels with a significant improvement of the quality of the software development process as a result.Before presenting M.E.R.O.DE. to the reader in the second section, the first section motivates the development of still another OOA method. The final section demonstrates how exactly the formal definition of M.E.R.O.DE. results in a gain of quality at the software specification level.