Title :
Using the metamodel mechanism to support class refinement
Author :
Shen, Wuwei ; Low, Weng Liong
Author_Institution :
Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
Abstract :
With modern software development being a complicated process, refinement has become an inevitable step in software development. To date, however, supporting a refinement process during software development has not received much attention in the research community. In this paper we present a tool which can support class diagram refinement based on a set of proposed rules, each of which is represented by a class diagram together with an object constraint language (OCL) constraint. By applying our existing tool supporting the metadata architecture, a new tool helping software developers find some discrepancies between two class diagrams during software refinement can be generated. A Web-based online learning system is illustrated in this paper to show how the tool can be applied to find discrepancies between the two models at two different levels.
Keywords :
Internet; computer aided instruction; constraint handling; formal specification; formal verification; meta data; programming languages; software architecture; software maintenance; software tools; OCL constraint; Web-based online learning system; class diagram discrepancy; class diagram refinement; metadata architecture; metamodel; object constraint language; software development; software refinement; software tool; Computer architecture; Computer crashes; Computer science; Control systems; Learning systems; Object oriented modeling; Programming; Software maintenance; Software systems; Software tools;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.81