scispace - formally typeset
Search or ask a question
Proceedings ArticleDOI

Model Reusability and Multidirectional Transformation using Unified Metamodel

TL;DR: This paper investigates for a unified metamodel when they share set of core representations in different phases and checks the possibilities for multidirectional transformation for code generation, upgradation and migration purposes.
Abstract: Model Transformation is a software engineering mechanism for transforming one model into another model between different phases to develop a software system A metamodel defines the abstract syntax of models and the interrelationships between model elements Model transformation approaches use different metamodels to represent source and target model of the system This paper investigates for a unified metamodel when they share set of core representations in different phases and checks the possibilities for multidirectional transformation for code generation, upgradation and migration purposes
Citations
More filters
Journal ArticleDOI
TL;DR: MMHF enables simpler way to design the HMI screens using UMLPMH and generates native mobile HMI Screen implementations automatically using MDMHCG, and proves that the MMHF is a feasible, cost effective and scalable solution to develop native HPI screens for wide-ranging ICSs.
Abstract: With the advent of software technologies, over a period of time, the Industrial Control Systems (ICSs) have grown exponentially. Whereas, almost all ICSs comprise Human Machine Interfaces (HMIs), which are the key component for monitoring and controlling complex industrial systems. For decades, traditional HMIs with simple User Interfaces (UIs) remained operational to minimize the complexities and resulting operational costs. However, due to the emergence of smartphone technologies, the perception about user interfaces has been transformed significantly and users now demand same sort of experience with industrial HMIs, as well. There are few industrial solutions, like, ICONICS GraphWorX to support the development of mobile HMI screens. However, such proprietary solutions are quite expensive. Furthermore, the underlying development approaches and source codes are not accessible in public domain. On the other hand, the state-of-the-art approaches for the development of native mobile HMI screens are hard to find in the literature. Consequently, there is dire need of a cost-effective, easy to use, open source framework for the development of native mobile HMI screens. In order to achieve this goal, here we propose, a M odel-driven M obile H MI F ramework ( MMHF ). MMHF comprises, a Unified Modeling Language (UML) Profile for Mobile HMI (UMLPMH) for modeling of HMI screens. MMHF also includes, an open source transformation engine and a M odel D riven M obile-based H MI C ode G enerator (MDMHCG) to automatically transform UMLPMH models into target native mobile HMI implementations. Consequently, MMHF enables simpler way to design the HMI screens using UMLPMH and generates native Mobile HMI Screen implementations automatically using MDMHCG. The empirical evidence of MMHF is demonstrated through three (3) benchmark case studies, which prove that the MMHF is a feasible, cost effective and scalable solution to develop native HMI screens for wide-ranging ICSs.

20 citations


Cites methods from "Model Reusability and Multidirectio..."

  • ...) from an input source model based on transformation rules [33]....

    [...]

Journal ArticleDOI
31 Jul 2020
TL;DR: The approach provides a set-theoretical foundation to the unified metamodel for model transformation from USE (UML/OCL) to Spec# and defines the formal foundation to define a model which consists of all the required properties for verification at the design and implementation phase.
Abstract: In model-driven development, model transformation transforms one model to another between different phases of software engineering. In model transformation, metamodel plays a vital role which defines the abstract syntax of models and the interrelationship between their elements. A unified metamodel defines an abstract syntax for both source and target models when they share core elements. Theoretical approaches define language and platform independent representation of models in software engineering. This paper investigates the theoretical foundation to this unified meta-modelling for their consistent transformation. This paper aims to define the formal foundations to the unified metamodel for generating implementation from design specifications and model reusability. In this paper, the study considers transformation from design to implementation and vice versa using theoretical foundations to build a verified software system. The related tools provide a formal representation of the design phase for verification purpose. Our approach provides a set-theoretical foundation to the unified metamodel for model transformation from USE (UML/OCL) to Spec#. In other words, our approach defines the formal foundation to define a model which consists of all the required properties for verification at the design and implementation phase. This paper introduced a new set of the theoretical framework which acts as an interface between the design and implementation to generate verified software systems.
References
More filters
Book ChapterDOI
10 Mar 2004
TL;DR: The goals and architecture of thespec# programming system, consisting of the object-oriented Spec# programming language, the Spec# compiler, and the Boogie static program verifier, are described.
Abstract: The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This paper describes the goals and architecture of the Spec# programming system, consisting of the object-oriented Spec# programming language, the Spec# compiler, and the Boogie static program verifier. The language includes constructs for writing specifications that capture programmer intentions about how methods and data are to be used, the compiler emits run-time checks to enforce these specifications, and the verifier can check the consistency between a program and its specifications.

1,032 citations


"Model Reusability and Multidirectio..." refers background or methods in this paper

  • ...Our unified metamodel is based on the mapping between USE metamodel [8] and Spec# [13] as shown in Fig....

    [...]

  • ...The constraints are using similar logics as OCL constraints: invariants, preconditions and postconditions [13]....

    [...]

  • ...Spec# is a formal language, which extends C# with constructs for writing specification [13]....

    [...]

Book
01 Sep 2003
TL;DR: This newly updated edition Explains why OCL is critical to MDA--and why UML alone is not enough Introduces an SQL-like syntax to OCL Defines the new language constructs of OCL 2.0 Demonstrates how OCL can be incorporated into code
Abstract: Praise for The Object Constraint Language, Second Edition“MDA promises a revolution in the way we develop software. This book is essential reading for anyone intending to adopt MDA technology.” i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ -Tony Clark, PhD i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ King's College, London“Through examples, Jos and Anneke demonstrate the power and intuitiveness of OCL, and the key role that this language plays in implementing and promoting MDA. The theme, structure, contents, and, not lastly, the clarity of explanations recommend this book as the best advocate for learning, using, and promoting OCL, UML, and MDA. I am sure that this work will contribute in a significant manner to the development and widespread use of new software technologies.” i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ -Dan Chiorean i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ Head of the Computer Science Research Laboratory i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ i¾ Babes-Bolyai University, Cluj"In this thoroughly revised edition, Jos and Anneke offer a concise, pragmatic, and pedagogic explanation of the Object Constraint Language (OCL) and its different applications. Their discussion of OCL's potential role in Model Driven Architecture (MDA) is timely and offers great insight into the way that UML can be taken to the next level of automated software development practice. I highly recommend this book to anyone who is looking to get the most out of UML."-Shane Sendall, PhD, Senior Researcher, Swiss Federal Institute of Technology in LausanneThe release of Unified Modeling Language (UML) 2.0 places renewed emphasis on the Object Constraint Language (OCL). Within UML, OCL is the standard for specifying expressions that add vital information to object-oriented models and other object-modeling artifacts. Model Driven Architecture (MDA) relies on OCL to add the level of programming detail necessary to enable platform-specific models (PSM) to communicate with platform-independent models (PIM).This book is a practical, accessible guide to OCL for software architects, designers, and developers. Much care has been taken during the redesign of OCL to ensure that the syntax remains readable and writable by the average software modeler. The Object Constraint Language, Second Edition, utilizes a case study to show how to exercise these compact but powerful expressions for maximum effect.This newly updated edition Explains why OCL is critical to MDA--and why UML alone is not enough Introduces an SQL-like syntax to OCL Defines the new language constructs of OCL 2.0 Demonstrates how OCL can be incorporated into code Shares tips and tricks for applying OCL to real-world modeling challenges-showing which can be solved with UML and which require OCLUsing a combination of UML and OCL allows developers to realize the effective, consistent, and coherent models that are critical to working with MDA. The authors' pragmatic approach and illustrative use of examples will help application developers come quickly up to speed with this important object-modeling method-and will serve as a ready reference thereafter.

876 citations


"Model Reusability and Multidirectio..." refers methods in this paper

  • ...Our unified metamodel is based on the mapping between USE metamodel [8] and Spec# [13] as shown in Fig....

    [...]

Journal ArticleDOI
TL;DR: The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production.

476 citations

Proceedings ArticleDOI
03 Jun 2008
TL;DR: A unified metamodel that presents elements of two well-known variants of i*.
Abstract: i* is a framework for goal-oriented requirements modeling. This framework contains an organizational modeling language defined by actors and dependencies among them. Although i* has been widely used, it is still hard to work with it due to its diversity of variants. In this paper, we propose a unified metamodel that presents elements of two well-known variants of i*. We show how OCL restrictions can be applied this metamodel in order to generate a specific variant. In doing so, we intend to unify the efforts of i* community. This metamodel can be useful when developing generic tools for i*, as well as to reason about i* language. Moreover, it makes it easier to extend the i* language. Thus, our proposal is an attempt towards the unification on i* variants by considering similarities and differences among them.

54 citations


"Model Reusability and Multidirectio..." refers background in this paper

  • ...[11] have developed a unified metamodel framework for goaloriented systems....

    [...]

Journal ArticleDOI
TL;DR: A Query Code Generation Framework that enables Model-Driven Integrity Engineering is proposed that allows for mapping UML models to arbitrary data schemas and for mapping OCL invariants to sentences in corresponding declarative query languages, enforcing semantical data integrity on implementation level.
Abstract: The semantical integrity of business data is of great importance for the implementation of business applications. Model-Driven Software Development (MDSD) allows for specifying the relevant domain concepts, their interrelations and their concise semantics using a plethora of modelling languages. Since model transformations enable an automatic mapping of platform independent models (PIMs) to platform specific models (PSMs) and code, it is reasonable to utilise them to derive data schemas and integrity rules for business applications. Most current approaches only focus on transforming structural descriptions of software systems while semantical specifications are neglected. However, to preserve also the semantical integrity rules we propose a Query Code Generation Framework that enables Model-Driven Integrity Engineering. This framework allows for mapping UML models to arbitrary data schemas and for mapping OCL invariants to sentences in corresponding declarative query languages, enforcing semantical data integrity on implementation level. This supersedes the manual translation of integrity constraints and, thus, decreases development costs while increasing software quality.

50 citations


"Model Reusability and Multidirectio..." refers methods in this paper

  • ...The MDA approaches generate a corresponding model from an input model or it generates appropriate code [3][2]....

    [...]