Learn More
As with other software development artifacts, model transformations are not bug-free and so must be systematically verified. Their nature, however, means that transformations require specialist verification techniques. This paper brings together current research on model transformation verification by classifying existing approaches along two dimensions.(More)
When applying model-driven engineering to safety-critical systems, the correctness of model transformations is crucial. In this paper, we investigate a novel approach to verifying the conformance to source language semantics of model-to-code transformations that uses annotations in the generated code. These annotations are inserted by the transformation and(More)
In developing software using model-driven approach, the key technique used is model transformation. Model transformation is part of a new approach in developing software called Model-Driven Architecture (MDA). Model transformation requires the development of transformation rules. Design of the transformation rules will allow the rules to be understood by(More)
There are many approaches in model transformation. In this paper metamodel transformation approach is used to transform elements in Object Constraint Language (OCL) and Unified Modeling Language (UML) metamodel to elements in Prototype Verification System (PVS) metamodel. The mappings of individual elements in the source metamodels to elements in the target(More)
Creating of web application and corresponding information architecture is often associated with social informatics. It clearly lays at the crossing of the ICT and social sciences, especially because effective information architectures enable people to find content quickly, easily and intuitively. Model Driven Architecture (MDA) technique is initiated by the(More)
Model checking has always been associated with a scalability problem when verifying systems with large state spaces. This problem can be addressed using techniques that reduce the state space during verification. This paper proposes guidelines to identify suitable reduction techniques from design patterns. The selection of suitable state space reduction(More)
Model-Driven Engineering (MDE) paradigm has been successfully adopted in many applied research environments with promising results, and applied to Web engineering area as well. Model-driven Web Engineering (MDWE) refers to the use of the model-driven engineering paradigm in Web development methodologies. It uses the models previously developed with the(More)
Game-based learning systems or educational games have highly influenced the learning industry over the past decade. The modeling and development of an effective educational game has been a constant challenge for game developers in understanding the relationships between game play (rules and regulations), game environment, learning theories, and the(More)
Educational games (EG) have highly influenced the 21st century as a positive learning tool in education industry. This requires a projecting need of understanding the relationships which can enhance the learning objectives for learners and enhance the interactivity of game environment. Although, relationships are vaguely dispersed in literature;(More)