ABSTRACT

Several large-scale systems are developed in modules that are assembled together to deliver a desired functionality. The modules developed in isolation may not implement the desired requirements. It creates several problems either at design-time, deployment-time or at run-time. Existing research defines a class of such problems as mismatches. A mismatch may cause malfunctioning or crash of a system. Therefore, a mismatch needs to be detected and resolved. The paper describes a model-driven generic framework to detect mismatches across a variety of systems. A case-study of a large-scale system has been demonstrated to illustrate the application of the framework. An evaluation of the framework illustrates that it is highly re-usable, requires comparatively less efforts and detects a large variety of mismatches.