the proceedings contain 17 papers. the special focus in this conference is on model-drivenengineering and softwaredevelopment. the topics include: Survey on the applicability of textual notations for the unified mod...
ISBN:
(纸本)9783319663012
the proceedings contain 17 papers. the special focus in this conference is on model-drivenengineering and softwaredevelopment. the topics include: Survey on the applicability of textual notations for the unified modeling language;using workflows to automate activities in MDE tools;schedulability analysis of pre-runtime and runtime scheduling algorithm of an industrial real time system;cognitive feedback and behavioral feedforward automation perspectives for modeling and validation in a learning context;automatically testing of multimodal interactive applications;automated web service composition testing as a service;software testing techniques revisited for OWL ontologies;certification of cash registers software;meta-tool for model-driven verification of constraints satisfaction;a model-driven adaptive approach for IoT security;identifying performance objectives to guide service oriented architecture layers;empirical investigation of scrumban in global softwaredevelopment;verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations;model-based architecture for learning in complex organization;an assessment environment for model-based learning management and an ontology-based and case-based reasoning supported workplace learning approach.
the proceedings contain 2 papers. the topics discussed include: automatic refactoring of single and multiple-view UML models using artificial intelligence algorithm;and towards a generic multidisciplinary models compo...
the proceedings contain 2 papers. the topics discussed include: automatic refactoring of single and multiple-view UML models using artificial intelligence algorithm;and towards a generic multidisciplinary models composition tool.
the proceedings contain 84 papers. the topics discussed include: bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code;survey on textual notations for t...
ISBN:
(纸本)9789897581687
the proceedings contain 84 papers. the topics discussed include: bidirectional transformations with QVT-R: a case study in round-trip engineering UML class models and Java source code;survey on textual notations for the unified modeling language;a controlled experiment for evaluating the comprehensibility of UML action languages;modeling business process variants using graph transformation rules;choreography modeling in embedded systems domain requirements and implementation technologies;WebDPF: a web-based metamodeling and model transformation environment;formal MOF metamodeling and tool support;automating activities in MDE tools;MOF-VM: instantiation revisited;an empirical study on the perception of metamodel quality;supporting CRUD model operations from EOL to SQL;and extending graphical part of the interaction flow modeling language to generate rich internet graphical user interfaces.
the proceedings contain 38 papers. the topics discussed include: combining a declarative language and an imperative language for bidirectional incremental model transformations;from user stories to models: a machine l...
ISBN:
(纸本)9789897584879
the proceedings contain 38 papers. the topics discussed include: combining a declarative language and an imperative language for bidirectional incremental model transformations;from user stories to models: a machine learning empowered automation;reusing (safety-oriented) compliance artifacts while recertifying;process digitalization using blockchain: EU parliament elections case study;performance aspects of correctness-oriented synthesis flows;integrating Kahn process networks as a model of computation in an extendable model-based design framework;dedicated model transformation languages vs. general-purpose languages: a historical perspective on ATL vs. Java;SeGa4Biz: model-driven framework for developing serious games for business processes;and multi-view-model risk assessment in cyber-physical production systems engineering.
this book constitutes thoroughly revised and selected papers from the 4th international conference on model-driven engineering and software development, modelsward 2016, held in Rome, Italy, in February 2016. the 17 t...
ISBN:
(数字)9783319663029
ISBN:
(纸本)9783319663012
this book constitutes thoroughly revised and selected papers from the 4th international conference on model-driven engineering and software development, modelsward 2016, held in Rome, Italy, in February 2016. the 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. they are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and softwaredevelopment.
model-drivendevelopment is reported to succeed the best when modelling is based on domain-specific languages. Despite significant benefits MDD has not been applied as widely as expected. Costly definition of language...
详细信息
ISBN:
(纸本)9789897582325
model-drivendevelopment is reported to succeed the best when modelling is based on domain-specific languages. Despite significant benefits MDD has not been applied as widely as expected. Costly definition of languages and related generators with tooling, their maintenance when the domain is not stable, challenges in scalability, and collaboration are some reasons that several studies mention. We believe these statements are justifiable but only when applying traditional programming tooling for modelling. Instead we show with data from practice that many of the challenges reported can be solved when using tools built for modelling in the first place.
Modern organizations are challenged to understand and put in action latest procedures and rules in order to constantly improve their service quality while coping with quickly changing contexts and decreasing resources...
详细信息
ISBN:
(纸本)9789897582325
Modern organizations are challenged to understand and put in action latest procedures and rules in order to constantly improve their service quality while coping with quickly changing contexts and decreasing resources. Such are defined by means of several kind of models that are in general quite interrelated. In this paper, we propose a Learning Architecture using Zachman Framework that allows us to define relations among these models and permits us to handle with huge amount of informations and resources in an organized way. Furthermore, the architecture enables process-driven learning and improvement through enriched models with contextual knowledge in terms of documentation and resources.
Mapping parallel algorithms to parallel computing platforms requires several activities such as the analysis of the parallel algorithm, the definition of the logical configuration of the platform, the mapping of the a...
详细信息
ISBN:
(纸本)9789897582325
Mapping parallel algorithms to parallel computing platforms requires several activities such as the analysis of the parallel algorithm, the definition of the logical configuration of the platform, the mapping of the algorithm to the logical configuration platform and the implementation of the source code. Applying this process from scratch for each parallel algorithm is usually time consuming and cumbersome. Moreover, for large platforms this overall process becomes intractable for the human engineer. To support systematic reuse we propose to adopt a model-driven product line engineering approach for mapping parallel algorithms to parallel computing platforms. Using model-driven transformation patterns we support the generation of logical configurations of the computing platform and the generation of the parallel source code that runs on the parallel computing platform nodes. the overall approach is illustrated for mapping an example parallel algorithm to parallel computing platforms.
modeldrivendevelopment (MDD) has emerged as a new road to softwaredevelopment industrialization. the most well-known realization of MDD is the modeldriven Architecture (MDA). the essence of MDA is the metamodel MO...
详细信息
ISBN:
(纸本)9789897582325
modeldrivendevelopment (MDD) has emerged as a new road to softwaredevelopment industrialization. the most well-known realization of MDD is the modeldriven Architecture (MDA). the essence of MDA is the metamodel MOF (Meta Object Facility) allowing interoperability of different kind of artifacts from multiple technologies. It is important to formalize and reason about MOF metamodels properly. In this paper, we propose a rigorous framework for reasoning about "correctness" of metamodels. Our main contribution is the integration of MOF metalanguage with formal specification languages based on the algebraic formalism. We define NEREUS, a formal metamodeling language, and processes for reasoning about MOF-like metamodels such as ECORE metamodels. the paper describes a set of tools developed to make formal metamodeling feasible in practice.
the fierce competition among automotive manufacturers in introducing Advanced Driver Assist Systems (ADAS) and autonomous features has led to the explosive growth of the Electrical/Electronics (E/E) assets, including ...
详细信息
ISBN:
(纸本)9789897582325
the fierce competition among automotive manufacturers in introducing Advanced Driver Assist Systems (ADAS) and autonomous features has led to the explosive growth of the Electrical/Electronics (E/E) assets, including software, in today's and future vehicles. the resource demand and quality requirements of these assets has increased consequently. Rigorous methodologies and tools are required for developing the E/E assets to meet the quality demands of these assets. this paper summarizes the current practices used in the industry for managing the development of these assets and discusses the future trends. the summary includes the description of three development strategies that are becoming important and critical, which are model-driven Feature development, Product Line Approach and Virtual development and Integration of E/E architectures.
暂无评论