Bibliographies thématiques / Automated model transformation

Littérature scientifique sur le sujet « Automated model transformation »

Auteur : Grafiati
Publié le 10 mars 2023
Mis à jour le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Automated model transformation ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Automated model transformation"

1

Murenecs, Timofejs, et Erika Asnina. « Automated Derivation of Use Case Model from Topological Functioning Model ». Scientific Journal of Riga Technical University. Computer Sciences 44, no 1 (1 janvier 2011) : 91–100. http://dx.doi.org/10.2478/v10143-011-0026-1.

Texte intégral
Résumé :
Automated Derivation of Use Case Model from Topological Functioning ModelThe first important step in Model Driven Architecture software development is qualitative analysis and specification of structure and behavior of business and its supporting information system as well as software requirements. We continue the research on achieving a qualitative software requirements model, Use Case Model (UCM), based on a formal business model, Topological Functioning Model (TFM), by using formal model transformations. This paper discusses the results of implementation of the transformation from TFM to UCM by using Query/View/Transformation Relations supported by mediniQvt.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Lano, K., S. Kolahdouz-Rahimi et S. Fang. « Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example ». ACM Transactions on Software Engineering and Methodology 31, no 2 (30 avril 2022) : 1–71. http://dx.doi.org/10.1145/3471907.

Texte intégral
Résumé :
In this article, we address how the production of model transformations (MT) can be accelerated by automation of transformation synthesis from requirements, examples, and metamodels. We introduce a synthesis process based on metamodel matching, correspondence patterns between metamodels, and completeness and consistency analysis of matches. We describe how the limitations of metamodel matching can be addressed by combining matching with automated requirements analysis and model transformation by example (MTBE) techniques. We show that in practical examples a large percentage of required transformation functionality can usually be constructed automatically, thus potentially reducing development effort. We also evaluate the efficiency of synthesised transformations. Our novel contributions are: The concept of correspondence patterns between metamodels of a transformation. Requirements analysis of transformations using natural language processing (NLP) and machine learning (ML). Symbolic MTBE using “predictive specification” to infer transformations from examples. Transformation generation in multiple MT languages and in Java, from an abstract intermediate language.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Brdjanin, Drazen, Danijela Banjac, Goran Banjac et Slavko Maric. « Automated two-phase business model-driven synthesis of conceptual database models ». Computer Science and Information Systems 16, no 2 (2019) : 657–88. http://dx.doi.org/10.2298/csis181010014b.

Texte intégral
Résumé :
Existing approaches to business process model-driven synthesis of data models are characterized by a direct synthesis of a target model based on source models represented by concrete notations, where the synthesis is supported by monolithic (semi)automatic transformation programs. This article presents an approach to automated two-phase business process model-driven synthesis of conceptual database models. It is based on the introduction of a domain specific language (DSL) as an intermediate layer between different source notations and the target notation, which splits the synthesis into two phases: (i) automatic extraction of specific concepts from the source model and their DSL-based representation, and (ii) automated generation of the target model based on the DSL-based representation of the extracted concepts. The proposed approach enables development of modular transformation tools for automatic synthesis of the target model based on business process models represented by different concrete notations. In this article we present an online generator, which implements the proposed approach. The generator is implemented as a web-based, service-oriented tool, which enables automatic generation of the initial conceptual database model represented by the UML class diagram, based on business models represented by two concrete notations.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Tuma, Jakub, et Petr Hanzlik. « Automated model transformation method from BORM to BPMN ». Applied Mathematical Sciences 9 (2015) : 5769–77. http://dx.doi.org/10.12988/ams.2015.54291.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Mészáros, Tamás, Gergely Mezei, Tihamér Levendovszky et Márk Asztalos. « Manual and automated performance optimization of model transformation systems ». International Journal on Software Tools for Technology Transfer 12, no 3-4 (11 avril 2010) : 231–43. http://dx.doi.org/10.1007/s10009-010-0151-0.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Elmounadi, Abdelali, Naoual Berbiche, Nacer Sefiani et Nawfal El Moukhi. « ADM-Based Hybrid Model Transformation for Obtaining UML Models from PHP Code ». International Journal of Recent Contributions from Engineering, Science & ; IT (iJES) 7, no 1 (22 mars 2019) : 32. http://dx.doi.org/10.3991/ijes.v7i1.10052.

Texte intégral
Résumé :
In this paper, we present a hybrid-based model transformation, according to the Architecture Driven Modernization (ADM) approach, intended for getting UML (Unified Modeling Language) models from the PHP (Hypertext Preprocessor) code. This latter has been done by offering a tool support for automated generation of UML platform independent models from PHP ASTM (Abstract Syntax Tree Metamodel) representations, which are specific platform models. The model transformation rules are expressed in ATL (Atlas Transformation Language), which is a widely used model transformation language based on the hybrid approach. This work aims to fill the gap between the web-based applications maintenance, especially PHP-based implementations, and the model transformation processes in the ADM context.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Carpenter, Chris. « Digital Transformation Enables Automated Real-Time Torque-and-Drag Modeling ». Journal of Petroleum Technology 73, no 01 (1 janvier 2021) : 69–70. http://dx.doi.org/10.2118/0121-0069-jpt.

Texte intégral
Résumé :
This article, written by JPT Technology Editor Chris Carpenter, contains highlights of paper SPE 199670, “Digital Transformation Strategy Enables Automated Real-Time Torque-and-Drag Modeling,” by Dingzhou Cao, Occidental Petroleum; Don Hender, SPE, IPCOS; and Sam Ariabod, Apex Systems, et al., prepared for the 2020 IADC/SPE International Drilling Conference, Galveston, Texas, 3-5 March. The paper has not been peer reviewed. Automated real-time torque-and-drag (RT-T&D) analysis compares real-time measurements with evergreen models to monitor and manage downhole wellbore friction, improving drilling performance and safety. Enabling RT-T&D modeling with contextual well data, rig-state detection, and RT-interval event filters poses significant challenges. The complete paper presents a solution that integrates a physics-based T&D stiff/soft string model with a real-time drilling (RTD) analytics system using a custom-built extract, transform, and load (ETL) translator and digital-transformation applications to automate the T&D modeling work flow. Methodology A T&D representational state transfer (REST) application program interface (API) was integrated with an RTD analytics system capable of receiving and processing both real-time (hookload, torque, and rig-state) and digitized (drillstring and casing components, trajectory profiles, and mud-property) well data across multiple platforms. This strategy consists of four parts: Digital transformation apps, ETL, and translator Physics-based stiff/soft string T&D model API Pre-existing data infrastructure RTD analytics system The data-flow architecture reveals a flexible design in the sense that it can accommodate different types of T&D models or any other physics-based REST API models (e.g., drillstring buckling or drilling hydraulics) and can be accessed offline for prejob/post-job planning. Drilling engineers can also leverage the RTD systems’ historical database to perform recalculations, comparative analysis, and friction calibrations. The RT-T&D model also can be deployed in a cloud environment to ensure that horizontal scalability is achieved.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Dorodnykh, N. O., O. A. Nikolaychuk et A. Yu Yurin. « METAMODEL ENGINEERING FOR SUPPORTING FUZZY KNOWLEDGE BASE SYNTHESIS ». Vestnik komp'iuternykh i informatsionnykh tekhnologii, no 187 (2020) : 34–47. http://dx.doi.org/10.14489/vkit.2020.01.pp.034-047.

Texte intégral
Résumé :
The paper is devoted to fuzzy knowledge base engineering problem. The effectiveness of this process can be improved by automated generation of source codes and analysis of data presented in different forms, in particular, in the form of conceptual models describing a certain subject domain. The knowledge base code generation is based on the transformation of conceptual models from the model-based approach and the use of metamodels. The metamodeling provides the description of the source and target formalisms of conceptual modeling and knowledge representation. We present an approach for fuzzy knowledge base engineering based on model transformations. In particular, metamodels for describing fuzzy rule-based models and fuzzy ontologies and method for automated metamodel generation are presented.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Hamioud, Sohaib, et Fadila Atil. « Model-driven Java code refactoring ». Computer Science and Information Systems 12, no 2 (2015) : 375–403. http://dx.doi.org/10.2298/csis141025015h.

Texte intégral
Résumé :
Refactoring is an important technique for restructuring code to improve its design and increase programmer productivity and code reuse. Performing refactorings manually, however, is tedious, time consuming and error-prone. Thus, providing an automated support for them is necessary. Unfortunately even in our days, such automation is still not easily achieved and requires formal specifications of the refactoring process. Moreover, extensibility and tool development automation are factors that should be taken into consideration when designing and implementing automated refactorings. In this paper, we introduce a model-driven approach where refactoring features, such as code representation, analysis and transformation adopt models as first-class artifacts. We aim at exploring the value of model transformation and code generation when formalizing refactorings and developing tool support. The presented approach is applied to the refactoring of Java code using a prototypical implementation based on the Eclipse Modeling Framework, a language workbench, a Java metamodel and a set of OMG standards.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Rafe, Vahid, et Adel T. Rahmani. « Towards automated software model checking using graph transformation systems and Bogor ». Journal of Zhejiang University-SCIENCE A 10, no 8 (août 2009) : 1093–105. http://dx.doi.org/10.1631/jzus.a0820415.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Automated model transformation"

1

Lin, Yuehua. « A model transformation approach to automated model evolution ». Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/lin.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Holm, Gustav. « Automated Model Transformation for Cyber-Physical Power System Models ». Thesis, KTH, Skolan för teknikvetenskap (SCI), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-214750.

Texte intégral
Résumé :
Standardized information and mathematicalmodels, which model the characteristics of the power generationand power transmission systems, are requirements for futuredevelopment and maintenance of different applications tooperate the electrical grid. Available databases such as Nordpoolprovides large amounts of data for power supply and demand [1].The typical misconception with open availability of data is thatexisting power system software tools can interact and process thisdata. Difficulties occur mainly because of two reasons. The firston is the amount of data produced. When the topology of theelectrical grid changes e.g. when a switch opens or closes, the flowof electrical power changes. This event produce changes ingeneration, transmission and distribution of the energy anddifferent data sets are produced. The second problem is therepresentation of information [2]. There are a limited number ofsoftware tools that can analyze this data, but each software toolrequires a specific data format structure to run. Dealing withthese difficulties requires an effective way to transform theprovided data representation into new data structures that canbe used in different execution platforms. This project aims tocreate a generic Model-to-Text (M2T) transformation capable oftransforming standardized power system information modelsinto input files executable by the Power System Analysis Tool(PSAT). During this project, a working M2T transformation wasnever achieved. However, missing functionality in someprograms connected to sub processes resulted in unexpectedproblems. This led to a new task of updating the informationmodel interpreter PyCIM. This task is partially completed andcan load basic power system information models.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Abdul, Sani Asmiza. « Towards automated formal analysis of model transformation specifications ». Thesis, University of York, 2013. http://etheses.whiterose.ac.uk/8641/.

Texte intégral
Résumé :
In Model-Driven Engineering, model transformation is a key model management operation, used to translate models between notations. Model transformation can be used for many engineering activities, for instance as a preliminary to merging models from different meta- models, or to generate codes from diagrammatic models. A mapping model needs to be developed (the transformation specification) to represent relations between concepts from the metamodels. The evaluation of the mapping model creates new challenges, for both conventional verification and validation, and also in guaranteeing that models generated by applying the transformation specification to source models still retain the intention of the initial transformation requirements. Most model transformation creates and evaluates a transformation specification in an ad-hoc manner. The specifications are usu- ally unstructured, and the quality of the transformations can only be assessed when the transformations are used. Analysis is not systematically applied even when the transformations are in use, so there is no way to determine whether the transformations are correct and consistent. This thesis addresses the problem of systematic creation and analysis of model transformation, via a facility for planning and designing model transformations which have conceptual-level properties that are tractable to formal analysis. We proposed a framework that provides steps to systematically build a model transformation specification, a visual notation for specifying model transformation and a template-based approach for producing a formal specification that is not just structure-equivalent but also amenable to formal analysis. The framework allows evaluation of syntactic and semantic correctness of generated models, metamodel coverage, and semantic correctness of the transformations themselves, with the help of snapshot analysis using patterns.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Shah, Seyyed Madasar Ali. « Model transformation dependability evaluation by the automated creation of model generators ». Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3407/.

Texte intégral
Résumé :
This thesis is on the automatic creation of model generators to assist the validation of model transformations. The model driven software development methodology advocates models as the main artefact to represent software during development. Such models are automatically converted, by transformation tools, to apply in different stages of development. In one application of the method, it becomes possible to synthesise software implementations from design models. However, the transformations used to convert models are man-made, and so prone to development error. An error in a transformation can be transmitted to the created software, potentially creating many invalid systems. Evaluating that model transformations are reliable is fundamental to the success of modelling as a principle software development practice. Models generated via the technique presented in this thesis can be applied to validate transformations. In several existing transformation validation techniques, some form of conversion is employed. However, those techniques do not apply to validate the conversions used there-in. A defining feature of the current presentation is the utilization of transformations, making the technique self-hosting. That is, an implementation of the presented technique can create generators to assist model transformations validation and to assist validation of that implementation of the technique.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Liang, Dong. « Automatic generation of software applications ». Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.

Texte intégral
Résumé :
The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Sonntag, Christian [Verfasser]. « Model Transformations for the Engineering of Complex Automated Systems / Christian Sonntag ». Aachen : Shaker, 2018. http://d-nb.info/1188550268/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Brown, Stephen Anthony. « Models for automatic diffrentiation : a conceptual framework for exploiting program transformation ». Thesis, University of Hertfordshire, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Li, Jinyu. « Soft margin estimation for automatic speech recognition ». Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26613.

Texte intégral
Résumé :
Thesis (Ph.D)--Electrical and Computer Engineering, Georgia Institute of Technology, 2009.
Committee Chair: Dr. Chin-Hui Lee; Committee Member: Dr. Anthony Joseph Yezzi; Committee Member: Dr. Biing-Hwang (Fred) Juang; Committee Member: Dr. Mark Clements; Committee Member: Dr. Ming Yuan. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Wang, Tiexin. « A study to define an automatic model transformation approach based on semantic and syntactic comparisons ». Thesis, Ecole nationale des Mines d'Albi-Carmaux, 2015. http://www.theses.fr/2015EMAC0015/document.

Texte intégral
Résumé :
Les modèles sont de plus en plus utilisés que ce soit pour la description d’un point de vue d’un système complexe ou pour l’échange d’information. Cependant, le partage d’information, le transfert d’information d’un modèle à un autre est aujourd’hui une problématique liée à l’interopérabilité des systèmes. Cette problématique peut être abordée selon trois approches : intégrée (tous les modèles identiques), unifiée (tous les modèles font référence à un modèle pivot), fédérée (pas de règles précises sur les modèles). Bien que des standards existent, ils sont rarement respectés avec rigueur. L’approche fédérée semble par conséquent l’approche la plus réaliste. Cependant, cette approche est complexe car les différents modèles, bien que comportant des concepts communs, peuvent avoir une structure et un vocabulaire très hétérogène pour décrire le même concept. Par conséquent, il faut identifier les concepts communs des différents modèles avant de définir les règles de transformation permettant de passer d’un format à un autre. Cette thèse propose une méthodologie permettant d’atteindre ces objectifs, elle se base d’une part sur la proposition d’un méta-méta-modèle permettant d’unifier la description de la structure des modèles, i.e. le méta-modèle, et d’autre part sur le calcul de distance entre chaque élément des modèles qui permettront de déduire les règles de transformation. Cette mesure de distance reflète la distance à la fois syntaxique, écritures différentes d’un même terme, ainsi que sémantique liée à l’utilisation de synonyme. La recherche de synonyme est basée sur l’utilisation de base de connaissance, représentée sous forme d’ontologie, tel que WordNet
The models are increasingly used both for the description of a view of a complex system or for information exchange. However, to share the information, transferring information from one model to another is an issue related to the interoperability of systems now. This problem can be approached in three ways: integrated (all identical models), unified (all models refer to a pivot model), federated (no specific rules on the models). Although standards exist, they are rarely respected rigorously. The federated approach therefore seems to be the most realistic approach. However, because of the different models, this approach is complicated. Models can have a very heterogeneous structure and different vocabulary to describe the same concept. Therefore, we must identify the common concepts of different models before defining the transformation rules for transforming from one format to another. This thesis proposes a methodology to achieve these goals. It is partly based on the proposal of a meta-meta-model (to unify the description of the model structure), i.e. the meta-model, and secondly calculating the distance between each element of models to deduce the transformation rules. This distance reflecting both syntactic distance (words occurrence) and semantic relation that related to the synonymous. Researching synonym relation is based on the use of knowledge base, represented as ontology, such as WordNet
Styles APA, Harvard, Vancouver, ISO, etc.
10

Amer, Hoda. « Automatic transformation of UML software specification into LQN performance models using graph grammar techniques ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Automated model transformation"

1

Richardson, D. E. Automated spatial and thematic generalization using a context transformation model : Integrating steering parameters, classification and aggregation hierarchies, reduction factors, and topological structures for multiple abstractions. Ontario : R&B Publications, 1993.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Engineers, Institution of Electrical, dir. Control theory. 2e éd. London : Institution of Electrical Engineers, 2004.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Leigh, J. R. Control theory : A guided tour. Stevenage, Herts, UK : Peter Peregrinus, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Control theory : A guided tour. London : P. Peregrinus on the behalf of the Institution of Electrical Engineers, 1992.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Baranyi, Péter, Yeung Yam et Péter Várlaki. Tensor Product Model Transformation in Polytopic Model-Based Control. Taylor & Francis Group, 2017.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Yam, Yeung, Peter Baranyi et P. Baranyi. Tensor Product Model Transformation in Polytopic Model-Based Control. Taylor & Francis Group, 2013.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Baranyi, Péter, Yeung Yam et Péter Várlaki. Tensor Product Model Transformation in Polytopic Model-Based Control. Taylor & Francis Group, 2018.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Baranyi, Péter, Yeung Yam et Péter Várlaki. Tensor Product Model Transformation in Polytopic Model-Based Control. Taylor & Francis Group, 2018.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Baranyi, Péter, Yeung Yam et Péter Várlaki. Tensor Product Model Transformation in Polytopic Model-Based Control. Taylor & Francis Group, 2018.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Baranyi, Péter, Yeung Yam et Péter Várlaki. Tensor Product Model Transformation in Polytopic Model-Based Control. Taylor & Francis Group, 2018.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Automated model transformation"

1

Nassar, Nebras, Hendrik Radke et Thorsten Arendt. « Rule-Based Repair of EMF Models : An Automated Interactive Approach ». Dans Theory and Practice of Model Transformation, 171–81. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61473-1_12.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Küster, Jochen M., Thomas Gschwind et Olaf Zimmermann. « Incremental Development of Model Transformation Chains Using Automated Testing ». Dans Model Driven Engineering Languages and Systems, 733–47. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_60.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Wieber, Martin, Anthony Anjorin et Andy Schürr. « On the Usage of TGGs for Automated Model Transformation Testing ». Dans Theory and Practice of Model Transformations, 1–16. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08789-4_1.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

de Lara, Juan, et Gabriele Taentzer. « Automated Model Transformation and Its Validation Using AToM3 and AGG ». Dans Diagrammatic Representation and Inference, 182–98. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-25931-2_18.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Wang, Zheng-guang, Xiao-hui Liang et Qin-ping Zhao. « A Graph Transformation System Model of Dynamic Reorganization in Multi-agent Systems ». Dans Intelligent Data Engineering and Automated Learning – IDEAL 2006, 1182–90. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11875581_140.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Fritzsche, Mathias, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor Spence, John Brown et Peter Kilpatrick. « Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains ». Dans Software Language Engineering, 134–50. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00434-6_9.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Levendovszky, Tihamer, Daniel Balasubramanian, Anantha Narayanan et Gabor Karsai. « A Novel Approach to Semi-automated Evolution of DSML Model Transformation ». Dans Software Language Engineering, 23–41. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-12107-4_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Labreche, Mustapha, Aurélie Montarnal, Sébastien Truptil, Xavier Lorca, Sébastien Weill et Jean-Pièrre Adi. « Towards a Framework for Federated Interoperability to Implement an Automated Model Transformation ». Dans Boosting Collaborative Networks 4.0, 143–52. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-62412-5_12.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Zalila, Faiez, Xavier Crégut et Marc Pantel. « A Transformation-Driven Approach to Automate Feedback Verification Results ». Dans Model and Data Engineering, 266–77. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41366-7_23.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Liu, Yang, et Junichi Iijima. « Automatic Model Transformation for Enterprise Simulation ». Dans Lecture Notes in Business Information Processing, 136–50. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06505-2_10.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Automated model transformation"

1

Bavache, Varsha Bhupal, Zhao Han, Heimo Hartlieb, Endri Kaja, Keerthikumara Devarajegowda et Wolfgang Ecker. « Automated SoC Hardening with Model Transformation ». Dans 2020 17th Biennial Baltic Electronics Conference (BEC). IEEE, 2020. http://dx.doi.org/10.1109/bec49624.2020.9276994.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Ichii, Makoto, Daisuke Shimbara, Yasufumi Suzuki et Hideto Ogawa. « Refactoring verification using model transformation ». Dans ASE'16 : ACM/IEEE International Conference on Automated Software Engineering. New York, NY, USA : ACM, 2016. http://dx.doi.org/10.1145/2975945.2975950.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

VaraminyBahnemiry, Zahra, Jessie Galasso, Khalid Belharbi et Houari Sahraoui. « Automated Patch Generation for Fixing Semantic Errors in ATL Transformation Rules ». Dans 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2021. http://dx.doi.org/10.1109/models50736.2021.00011.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Sani, Asmiza Abdul, Fiona A. C. Polack et Richard F. Paige. « Model transformation specification for automated formal verification ». Dans 2011 5th Malaysian Conference in Software Engineering (MySEC). IEEE, 2011. http://dx.doi.org/10.1109/mysec.2011.6140647.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Macedo, Nuno, Tiago Guimaraes et Alcino Cunha. « Model repair and transformation with Echo ». Dans 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE). IEEE, 2013. http://dx.doi.org/10.1109/ase.2013.6693135.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Daniel, Gwendal, Frederic Jouault, Gerson Sunye et Jordi Cabot. « Gremlin-ATL : A scalable model transformation framework ». Dans 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2017. http://dx.doi.org/10.1109/ase.2017.8115658.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Rafe, Vahid, Reza Rafeh, Mohamad Reza Zand Miralvand et Alavie Sadat Alavizadeh. « Automated Model Checking of Stochastic Graph Transformation Systems ». Dans 2009 International Conference on Computer Technology and Development. IEEE, 2009. http://dx.doi.org/10.1109/icctd.2009.165.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Zhang, Yingyi, Zan Wang, Jiajun Jiang, Hanmo You et Junjie Chen. « Toward Improving the Robustness of Deep Learning Models via Model Transformation ». Dans ASE '22 : 37th IEEE/ACM International Conference on Automated Software Engineering. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3551349.3556920.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Saada, Hajer, Marianne Huchard, Clementine Nebut et Houari Sahraoui. « Recovering model transformation traces using multi-objective optimization ». Dans 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE). IEEE, 2013. http://dx.doi.org/10.1109/ase.2013.6693134.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Lin, Yuehua, et Jeff Gray. « A comprehensive model transformation approach to automated model construction and evolution ». Dans Companion to the 20th annual ACM SIGPLAN conference. New York, New York, USA : ACM Press, 2005. http://dx.doi.org/10.1145/1094855.1094885.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Automated model transformation"

1

de Kemp, E. A., H. A. J. Russell, B. Brodaric, D. B. Snyder, M. J. Hillier, M. St-Onge, C. Harrison et al. Initiating transformative geoscience practice at the Geological Survey of Canada : Canada in 3D. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/331097.

Texte intégral
Résumé :
Application of 3D technologies to the wide range of Geosciences knowledge domains is well underway. These have been operationalized in workflows of the hydrocarbon sector for a half-century, and now in mining for over two decades. In Geosciences, algorithms, structured workflows and data integration strategies can support compelling Earth models, however challenges remain to meet the standards of geological plausibility required for most geoscientific studies. There is also missing links in the institutional information infrastructure supporting operational multi-scale 3D data and model development. Canada in 3D (C3D) is a vision and road map for transforming the Geological Survey of Canada's (GSC) work practice by leveraging emerging 3D technologies. Primarily the transformation from 2D geological mapping, to a well-structured 3D modelling practice that is both data-driven and knowledge-driven. It is tempting to imagine that advanced 3D computational methods, coupled with Artificial Intelligence and Big Data tools will automate the bulk of this process. To effectively apply these methods there is a need, however, for data to be in a well-organized, classified, georeferenced (3D) format embedded with key information, such as spatial-temporal relations, and earth process knowledge. Another key challenge for C3D is the relative infancy of 3D geoscience technologies for geological inference and 3D modelling using sparse and heterogeneous regional geoscience information, while preserving the insights and expertise of geoscientists maintaining scientific integrity of digital products. In most geological surveys, there remains considerable educational and operational challenges to achieve this balance of digital automation and expert knowledge. Emerging from the last two decades of research are more efficient workflows, transitioning from cumbersome, explicit (manual) to reproducible implicit semi-automated methods. They are characterized by integrated and iterative, forward and reverse geophysical modelling, coupled with stratigraphic and structural approaches. The full impact of research and development with these 3D tools, geophysical-geological integration and simulation approaches is perhaps unpredictable, but the expectation is that they will produce predictive, instructive models of Canada's geology that will be used to educate, prioritize and influence sustainable policy for stewarding our natural resources. On the horizon are 3D geological modelling methods spanning the gulf between local and frontier or green-fields, as well as deep crustal characterization. These are key components of mineral systems understanding, integrated and coupled hydrological modelling and energy transition applications, e.g. carbon sequestration, in-situ hydrogen mining, and geothermal exploration. Presented are some case study examples at a range of scales from our efforts in C3D.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Automated model transformation » pour d’autres types de sources :
Articles de revues Thèses
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie