MDDIS 2012 Abstracts


Short Papers
Paper Nr: 1
Title:

Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation

Authors:

Kentaro Hanada, Kozo Okano, Shinji Kusumoto and Kiyoyuki Miyazawa

Abstract: In recent years, MDA techniques have been strongly developed. Thus, translation techniques such as UML to some program languages have gained a lot of attention. Translation techniques such as OCL to JML have been also researched. OCL is a language to describe detail properties of UML and standardized by OMG, while, JML is a language to specify properties of Java program. Both OCL and JML are based on DbC and able to provide properties of classes or methods. There are, however, not many researches on translating automatically OCL into JML and past researches often pay little attention to collection features, especially iteration. Our research group has proposed a concrete method which translates UML class diagram with OCL into Java skeleton with JML. This paper presents an implementation tool based on the technique. To evaluate the quality of the tool, we applied the tool to two real examples, a warehouse management program and a syllabus management system. As a result, we found that every OCL constraint described manually was translated successfully into JML. Also, we found some defects existed in the design of a syllabus management system.

Paper Nr: 3
Title:

Agile Models Need to be Bottom-up - Adding Productivity to a Late Project Makes it Later

Authors:

Pietu Pohjalainen

Abstract: Model-driven architecture is a top-down approach to software engineering. Due to its heavy emphasis on tools and process, it has not been considered to be not a good fit for agile time-boxed iterations. Lightweight models are often a better alternative in agile development. However, we argue that in order to realize productivity gains, these models can and should be brought as software architecture level entities.

Paper Nr: 4
Title:

Quality Improvement of Requirements Specification using Model Checking Technique

Authors:

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda and Saeko Matsuura

Abstract: A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.

Paper Nr: 5
Title:

Formal Behavioral Modeling of Real-time Operating Systems

Authors:

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux and Charlotte Seidner

Abstract: Faced with the growing problems of complexity, heterogeneity and upgradability of Real-Time Embedded Systems (RTESs), model-based frameworks dedicated to the application deployments facilitate the design and the development of such systems. Within these frameworks, taking into account the Real-Time Operating Systems (RTOSs) has become essential. These frameworks include transformation tools able to generate a code that is portable to the specified RTOS. Moreover, certain tools can generate formal models that are used for the verification and validation of the RTESs. However, the RTOSs technological concepts are considered in an implicit way, which involves a lack of genericity of the transformations. Some works have focused on the explicit description of the RTOSs. Such a description offers the possibility to take into account a model entirely dedicated to a targeted RTOS as a parameter of the transformation. Nevertheless, this method does not allow to verify the expected properties on the application, since the RTOSs behavior is not observable. The methodology presented in this paper tends to explicitly consider the formal description of the RTOSs behavior during an application deployment. This approach aims both at making each transformation generic and at verifying the deployment correctness.

Paper Nr: 6
Title:

A MDA Approach for Agent-oriented Development using FAML

Authors:

Carlos Eduardo Pantoja and Ricardo Choren

Abstract: There are several multi-agent development modelling tools to aid system design and implementation. How-ever, such tools are modelling language specific, which imposes the use of a given modelling technique. This paper presents a MDA approach for multi-agent system development based on the FAML meta-model. Thus the approach aims to support a wide range of modelling techniques.

Paper Nr: 7
Title:

Model Driven Engineering for Science Gateways

Authors:

David Manset, Richard McClatchey and Hervé Verjus

Abstract: From n-Tier client/server applications, to more complex academic Grids, or even the most recent and promising industrial Clouds, the last decade has witnessed significant developments in distributed computing. In spite of this conceptual heterogeneity, Service-Oriented Architectures (SOA) seem to have emerged as the common underlying abstraction paradigm. Suitable access to data and applications resident in SOAs via so-called ‘Science Gateways’ has thus become a pressing need in various fields of science, in order to realize the benefits of Grid and Cloud infrastructures. In this context, authors have consolidated work from three complementary experiences in European projects, which have developed and deployed large-scale production quality infrastructures as Science Gateways to support research in breast cancer, paediatric diseases and neurodegenerative pathologies respectively. In analysing the requirements from these biomedical applications the authors were able to elaborate on commonly faced Grid development issues, while proposing an adaptable and extensible engineering framework for Science Gateways. This paper thus proposes the application of an architecture-centric Model-Driven Engineering (MDE) approach to service-oriented developments, making it possible to define Science Gateways that satisfy quality of service requirements, execution platform and distribution criteria at design time. An novel investigation is presented on the applicability of the resulting grid MDE (gMDE) to specific examples, and conclusions are drawn on the benefits of this approach and its possible application to other areas, in particular that of Distributed Computing Infrastructures (DCI) interoperability.