Requirements traceability in model-driven development: Applying model and transformation conformance

The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper proposes a methodological framework that simplifies management of this relationship, which helps in assessing the quality of models, realizations and transformation specifications. Our framework is a basis for understanding requirements traceability in model-driven development, as well as for the design of tools that support requirements traceability in model-driven development processes. We propose a notion of conformance between application models which reduces the effort needed for assessment activities. We discuss how this notion of conformance can be integrated with model transformations

Extending the Unified Process with Model-Based Testing

International audienceThe Unified Process (UP) is a software development tech- nique that includes modeling of specifications and testing workflow. This workflow is achieved by information interpretation of specification to pro- duce manual tests. In this paper, we extend the UP with model-based testing (MBT) where models resulting of the UP will be used for MBT. We describe how model-based testing introduces new test design activi- ties in parallel with the application design activities. We give guidelines to derive the test model from the analysis model produced by the UP. We illustrate this tailored process with the example of a Geneva State taxation

A state/event-based model-checking approach for the analysis of abstract system properties.

AbstractWe present the UMC framework for the formal analysis of concurrent systems specified by collections of UML state machines. The formal model of a system is given by a doubly labelled transition system, and the logic used to specify its properties is the state-based and event-based logic UCTL. UMC is an on-the-fly analysis framework which allows the user to interactively explore a UML model, to visualize abstract behavioural slices of it and to perform local model checking of UCTL formulae. An automotive scenario from the service-oriented computing (SOC) domain is used as case study to illustrate our approach

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case

When describing bidirectional model transformations in a declarative (relational) way, the relation between structures in source and target models is specified. But not only structural correspondences between source and target models need to be described. Another important aspect is the specification of the relation between attribute values of elements in source and target models. However, most existing approaches either do not allow such a relational kind of specification for attributes or allow it only in a restricted way.We consider the challenge of bridging the gap between a flexible declarative attribute specification and its operationalization for the triple graph grammar (TGG) specification technique as an important representative for describing bidirectional model transformations in a relational way. First, we present a formal way to specify attributes in TGG rules in a purely declarative (relational) way. Then, we give an overview of characteristic barriers that bidirectional model transformation tool developers are confronted with when operationalizing relational attribute constraints for different TGG application scenarios. Moreover, we present pragmatic solutions to overcome the operationalization barriers for different TGG application scenarios in our own TGG implementation

Interim research assessment 2003-2005 - Computer Science

This report primarily serves as a source of information for the 2007 Interim Research Assessment Committee for Computer Science at the three technical universities in the Netherlands. The report also provides information for others interested in our research activities

A Model-Driven Framework to Support Games Development: An Application to Serious Games

Model Driven Engineering (MDE) is a software development approach which focuses on the creation of models to represent a domain with the aim of automatically generating software artefact using a set of software tools. This approach enables practitioners to produce a variation of software in by reusing the concepts in the domain model without worrying about the technical intricacies of software development. Therefore, this approach can help to increases productivity and it makes software design easier for the practitioners. The application of this approach into games development domain presents an interesting proposition and could help to simplify production of computer games.Computer games are interactive entertainment software designed and developed to engage users to participate in goal-directed play. Many find computer gaming to be persuasive and engaging, and they believe that through the application of game design and game technology in non-entertainment domains can create a positive impact. Computer games designed primarily for non-entertainment purpose are generally known as serious games. The development of games software, in no relation to the intended purpose of it, is technically complex and it requires specialist skills and knowledge. This is the major barrier that hinders domain experts who intend to apply computer gaming into their respective domains. Much research is already underway to address this challenge, whereby many of which have chosen to use readily available commercial-off-the-shelf games while others have attempted to develop serious games in-house or collaboratively with industry expertise. However, these approaches present issues including appropriateness of the serious game content and its activities, reliability of serious games developed and the financial cost involved. The MDE approach promises new hopes to the domain experts, especially to those with little or no technical knowledge who intend produce their own computer games. Using this approach, the technical aspects of games development can be hidden from the domain experts through the automated generation of software artefact. This simplifies the production of computer games and could provide the necessary support to help non-technical domain experts to realise their vision on serious gaming.This thesis investigates the development of a model-driven approach and technologies to aid non-technical domain experts in computer games production. It presents a novel model-driven games development framework designed to aid non-technical domain experts in producing computer games. A prototype based on the model-driven games development framework has been implemented to demonstrate the applicability of this solution. The framework has been validated through the prototypical implementations and these have been evaluated. A case study has been conducted to present a use-case scenario and to examine if this approach can help non-technical domain experts in producing computer games and also to find out if it would lower the barrier towards adoption of game-based learning as an alternative teaching and learning approach.The work in this thesis contributes to the area of software engineering in games. The contributions made in this research includes (1) a blueprint for model-driven engineering for games development, (2) a reusable formalised approach to document computer game design and (3) a model of game software that is independent of implementation platform

An extended configurable UML activity diagram and a transformation algorithm for business process reference modeling

Enterprise Resource Planning (ERP) solutions provide generic off-the-shelf reference models usually known as best practices . The configuration !individualization of the reference model to meet specific requirements of business end users however, is a difficult task. The available modeling languages do not provide a complete configurable language that could be used to model configurable reference models. More specifically, there is no algorithm that monitors the transformation of configurable UML Activity Diagram (AD) models while preserving the syntactic correctness of the model. To fill these gaps we propose an extended UML AD modeling language which we named Configurable UML Activity Diagram (C-UML AD). The C-UML AD is used to represent a reference model while showing all the variation points and corresponding dependencies within the model. The C-UML AD covers the requirements and attributes of a configurable modeling language as prescribed by earlier researchers who developed Configurable EPC (C-EPC). We also propose a complete algorithm that transforms the C-UML AD business model to an individual consistent UML AD business model, where the end user\u27s configuration values are consistent with the constraints of the model. Meanwhile, the syntactic correctness of the transformed model is preserved. We validated the Transformation Algorithm by showing how all the transformation steps of the algorithm preserve the syntactic correctness of any given configurable business model, as prescribed by earlier researchers, and by running it on different sets of test scenarios to demonstrate its correctness. We developed a tool to apply the Transformation Algorithm and to demonstrate its validity on a set of test cases as well as a real case study that was used by earlier researchers who developed the C-EPC

A UML-based static verification framework for security

Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates that security characteristics should be considered from the early stages of the software development life cycle and should not be added as another layer in the system on an ad-hoc basis after the system is built. In this paper, we describe a UML-based Static Verification Framework (USVF) to support the design and verification of secure software systems in early stages of the software development life-cycle taking into consideration security and general requirements of the software system. USVF performs static verification on UML models consisting of UML class and state machine diagrams extended by an action language. We present an operational semantics of UML models, define a property specification language designed to reason about temporal and general properties of UML state machines using the semantic domains of the former, and implement the model checking process by translating models and properties into Promela, the input language of the SPIN model checker. We show that the methodology can be applied to the verification of security properties by representing the main aspects of security, namely availability, integrity and confidentiality, in the USVF property specification language