scholarly journals TagML—An Implementation Specific Model to Generate Tag-Based Documents

Electronics ◽  
2020 ◽  
Vol 9 (7) ◽  
pp. 1097
Author(s):  
Ricardo Tesoriero ◽  
Gabriel Sebastian ◽  
Jose A. Gallud
Keyword(s):  
Traditional Approach ◽  
Specific Model ◽  
Model Transformations ◽  
Modeling Framework ◽  
Xml Documents ◽  
Modeling Group ◽  
Textual Representation ◽  
Class Diagrams ◽  
Model Editor ◽  
Xml Transformation

This article describes TagML, a method to generate collections of XML documents using model-to-model (M2M) transformations. To accomplish this goal, we define the TagML meta-model and the TagML-to-XML model-to-text transformation. While TagML models represent the essential characteristics of collections of XML documents, the TagML-to-XML transformation generates the textual representation of collections of XML documents from TagML models. This approach enables developers to define model-to-model transformations to generate TagML models. These models are turned into text applying the TagML-to-XML transformation. Consequently, developers are able to use declarative languages to define model-to-text transformations that generate XML documents, instead of traditional archetype-based languages to define model-to-text transformations that generate collections of XML documents. The TagML model editor as well as the TagML-to-XML transformation were developed as Eclipse plugins using the Eclipse Modeling Framework. The plugin has been developed following the Object Modeling Group standards to ensure the compatibility with legacy tools. Using TagML, unlike other previous proposals, implies the use of model-to-model transformations to generate XML documents, instead of model-to-text transformations, which results on an improvement of the transformation readability and reliability, as well as a reduction of the transformation maintenance costs. The proposed approach helps developers to define transformations less prone to errors than using the traditional approach. The novelty of this approach is based on the way XML documents are generated using model-to-model transformations instead of traditional model-to-text transformations. Moreover, the simplicity of the proposed approach enables the generation of XML documents without the need for any transformation configuration, which does not penalize the model reuse. To illustrate the features of the proposal, we present the generation of XHTML documents using UML class diagrams as input models. The evaluation section demonstrates that the proposed method is less prone to errors than the traditional one.

scholarly journals A Model for Artificial General Intelligence

2020 ◽  
Author(s):  
Andy E Williams
Keyword(s):  
Specific Model ◽  
Human Intelligence ◽  
Self Awareness ◽  
General Intelligence ◽  
Human Consciousness ◽  
Functional Modeling ◽  
Modeling Framework ◽  
Complete Set ◽  
Interdisciplinary Projects ◽  
Functional Components

A Functional Modeling Framework (FMF) for defining and comparing models of consciousness and cognition has recently been developed. This framework proposes to have the capacity to represent the complete set of the functionality of human consciousness and cognition, which if true, would suggest that all models of consciousness and cognition can be represented within the framework. The framework also proposes to define the criteria for a model of cognition to have the potential for the general problem solving ability commonly recognized as true human intelligence. The FMF provides a single framework for defining models of consciousness and cognition that is human-centric in that the functions can be validated through experiments that can be performed within innate human self-awareness rather than being dependent on assumptions made by any specific model. This human-centric functional modeling approach is intended to enable different models of AGI to be more easily compared so research can reliably converge on a single understanding, enabling the possibility of massively collaborative interdisciplinary projects to research, and implement models of consciousness or cognition where such massive collaborationhas not proved possible before. The FMF defines requirements for all the functional components defined by the framework, but leaves specific models to define their own implementations. This paper summarizes a model of cognition developed within this framework that is proposed to meet the criteria of an AGI as defined within this framework. This description is expanded in a number of other papers.

Transformation of Platform-Independent Model into Platform-Specific Model in Model-Driven Architecture

2013 ◽  
pp. 88-113
Author(s):  
Yashwant Singh ◽  
Manu Sood
Keyword(s):  
Software Development ◽  
Development Strategy ◽  
Specific Model ◽  
Relational Model ◽  
Model Transformations ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Management Group ◽  
Enterprise Java Bean ◽  
Independent Model

The Model-Driven Architecture approach to software development uses transformation models for transforming Platform-Independent Models (PIM) into Platform-Specific Models (PSM) as its core software development strategy. The Model-Driven Architecture (MDA) approach and corresponding standards of the software development based on models have been initiated by the Object Management Group. In this chapter, the authors analyze the basic models of MDA (i.e., Computational Independent Model [CIM], PIM, and PSM) using a suitable example and formalize the model transformations for transforming PIM into PSM. These transformations have been illustrated through the generation of a Relational Model, an Enterprise Java Bean (EJB) Model, and a Web Model from PIM for the example under consideration, using UML profile, and keeping in mind the property of reusability of models in MDA transformations. The focus has been on the specification and formalization of rules needed to get the Relational PSM, EJB PSM, and Web PSM from PIM. A transformation tool, whose functionality of transformation of PIM into Relational PSM, EJB PSM, and Web PSM, is illustrated in this chapter.

A Rigouous Framework for Model-Driven Development

2010 ◽  
pp. 253-276
Author(s):  
Liliana María Favre
Keyword(s):  
Formal Languages ◽  
Specific Model ◽  
Model Transformations ◽  
Model Driven Development ◽  
Reusable Components ◽  
Model Driven ◽  
Transformation Rules ◽  
Rigorous Framework ◽  
Definition Of ◽  
Independent Model

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the process of converting one model into another model of the same system, preserving some kind of equivalence relation between them. One of the key concepts behind MDD is that models generated during software developments are represented using common metamodeling techniques. In this chapter, we analyze an integration of MDA metamodeling techniques with knowledge developed by the community of formal methods. We describe a rigorous framework that comprises the NEREUS metamodeling notation (open to many other formal languages), a system of transformation rules to bridge the gap between UML/OCL and NEREUS, the definition of MDA-based reusable components, and model/metamodeling transformations. In particular, we show how to integrate NEREUS with algebraic languages using the Common Algebraic Specification Language (CASL). NEREUS focuses on interoperability of formal languages in MDD.

A Rigorous Framework for Model-Driven Development

2011 ◽  
pp. 1-27 ◽  
Author(s):  
Liliana Favre
Keyword(s):  
Formal Languages ◽  
Specific Model ◽  
Model Transformations ◽  
Model Driven Development ◽  
Reusable Components ◽  
Model Driven ◽  
Transformation Rules ◽  
Rigorous Framework ◽  
Definition Of ◽  
Independent Model

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the process of converting one model into another model of the same system, preserving some kind of equivalence relation between them. One of the key concepts behind MDD is that models generated during software developments are represented using common metamodeling techniques. In this chapter, we analyze an integration of MDA metamodeling techniques with knowledge developed by the community of formal methods. We describe a rigorous framework that comprises the NEREUS metamodeling notation (open to many other formal languages), a system of transformation rules to bridge the gap between UML/OCL and NEREUS, the definition of MDA-based reusable components, and model/metamodeling transformations. In particular, we show how to integrate NEREUS withalgebraic languages using the Common Algebraic Specification Language (CASL). NEREUS focuses on interoperability of formal languages in MDD.

A Model Driven Approach based on Interaction Flow Modeling Language to Generate Rich Internet Applications

2016 ◽  
Vol 6 (6) ◽  
pp. 3073
Author(s):  
Sarra Roubi ◽  
Mohammed Erramdani ◽  
Samir Mbarki
Keyword(s):  
User Interfaces ◽  
Code Generation ◽  
Model Transformations ◽  
Modeling Framework ◽  
Rich Internet Application ◽  
Internet Applications ◽  
Model Driven ◽  
Rich Internet Applications ◽  
Desktop Interfaces ◽  
Model Driven Approach

<p><span lang="EN-US">A Rich Internet Applications (RIAs) combine the simplicity of the hypertext paradigm with the flexibility of desktop interfaces. These appliations were proposed as a solution to follow the rapid growth and evolution of the Graphical User Interfaces. However, RIAs are complex applications and their development requires designing and implementation which are time-consuming and the available tools are specialized in manual design. In this paper, we present a model driven approach to generat GUI for Rich Internet Application. The approach exploits the new language IFML recently adopted by the Object Management Group. We used frameworks and technologies known to Model-Driven Engineering, such as Eclipse Modeling Framework (EMF) for Meta-modeling, Query View Transformation (QVT) for model transformations and Acceleo for code generation. The approach allows to quickly and efficiently generating a RIA focusing on the graphical aspect of the application.</span></p>

An assumption-driven case-specific model editor

1999 ◽  
Vol 23 ◽  
pp. S695-S698 ◽  
Author(s):  
R. Lakner ◽  
I.T. Cameron ◽  
K.M. Hangos
Keyword(s):  
Specific Model ◽  
Model Editor

scholarly journals Using a Functional Modeling Framework to Compare Some Leading Models of Consciousness

2020 ◽  
Author(s):  
Andy E Williams
Keyword(s):  
Specific Model ◽  
Mathematical Framework ◽  
Self Awareness ◽  
Functional Modeling ◽  
Modeling Framework ◽  
Common Basis ◽  
Interdisciplinary Projects ◽  
Functional Components

A recently developed Functional Modeling Framework (FMF) for defining models of consciousness and cognition proposes to have the capacity to represent all models of consciousness and cognition and proposes to define the criteria for a model of consciousness to have the potential for self awareness. The FMF provides a single mathematical framework for defining models of consciousness that is human-centric in being independent of assumptions made by any specific model. This human-centric approach enables different models to be more easily compared so research on consciousness can reliably converge on a single understanding, enabling the possibility of massively collaborative interdisciplinary projects to research, and implement a model of consciousness and cognition where not possible before. Some functional components of the FMF remain to be validated. However even without validating the entire framework using some subset of the framework is still useful as a common basis for comparing models of consciousness. This paper demonstrates the comparison of three leading model of consciousness within the subset of this framework that has been validated by many years of tradition.

Quality-Driven Model Transformations

2009 ◽  
pp. 302-326
Author(s):  
Silvia Abrahão ◽  
Marcela Genero ◽  
Emilio Insfran ◽  
José Ángel Carsí ◽  
Isidro Ramos ◽  
...  
Keyword(s):  
Source Model ◽  
Model Transformations ◽  
High Quality ◽  
Model Driven ◽  
Uml Class Diagram ◽  
Class Diagrams ◽  
Quality Transformation ◽  
Transformation Processes ◽  
Use Of Models ◽  
Selection Of

Model-Driven Architecture (MDA) is a software engineering approach that promotes the use of models and model transformations as primary development artifacts. Usually; there are several ways to transform a source model into a target model. Alternative target models may have the same functionality but may differ in their quality attributes (e.g.; understandability; modifiability). This chapter presents an approach to deal with quality-driven model transformations. Specifically; it focuses on a specific set of transformations to obtain UML class diagrams from a Requirements Model. A set of alternative transformations are identified; and the selection of the best alternative is done through a controlled experiment. The goal of the experiment is to empirically validate which alternative transformation produces the UML class diagram that is the easiest to understand. This evidence can be further used to define high-quality transformation processes; as it will be based on empirical knowledge rather than on common wisdom and the intuition of the researchers and developers.

Foundations for MDA Case Tools

2010 ◽  
pp. 242-252
Author(s):  
Liliana María Favre ◽  
Claudia Teresa Pereira ◽  
Liliana Inés Martinez
Keyword(s):  
Specific Model ◽  
Model Transformations ◽  
Software Systems ◽  
Object Management Group ◽  
Model Driven ◽  
Management Group ◽  
Requirement Specifications ◽  
Technical Framework ◽  
Use Of Models ◽  
Independent Model

The model driven architecture (MDA) is an initiative proposed by the object management group (OMG), which is emerging as a technical framework to improve productivity, portability, interoperability, and maintenance (MDA, 2003). MDA promotes the use of models and modelto- model transformations for developing software systems. All artifacts, such as requirement specifications, architecture descriptions, design descriptions, and code are regarded as models. MDA distinguishes four main kinds of models: computation independent model (CIM), platform independent model (PIM), platform specific models (PSM), and implementation specific model (ISM).

Conclusion

2019 ◽  
pp. 240-250
Author(s):  
Stephen J. Spencer
Keyword(s):  
Traditional Approach ◽  
Historical Narratives ◽  
Methodological Framework ◽  
Emotional Language ◽  
Textual Representation ◽  
Emotional Immaturity ◽  
And Function ◽  
Emotional Landscape

The main findings of the previous chapters are brought together, leading to several overarching conclusions regarding the ways in which emotional language intersected with broader themes, the literary functions emotions performed, continuities and changes in the emotional landscape of crusading, the factors and traditions which influenced chroniclers, and how modern historians should approach the affective registers of historical narratives. Three major conclusions are outlined. Firstly, the traditional approach of simply accepting the emotional language found in crusade narratives as straightforward evidence of protagonists’ lived feelings needs to be supplanted by a methodological framework which deals primarily with textual representation and function. Secondly, the emotional landscape that contemporaries applied to crusading was not unique. Finally, the various religious, social, and political functions that emotions performed in the texts undermine any notion that the crusades took place in an era of emotional immaturity.

Sign in / Sign up

Export Citation Format

Share Document