The proceedings contain 35 papers. The topics discussed include: SceML - a graphical modeling framework for scenario-based testing of autonomous vehicles;to build, or not to build: modelFlow, a build solution for MDE ...
ISBN:
(纸本)9781450370196
The proceedings contain 35 papers. The topics discussed include: SceML - a graphical modeling framework for scenario-based testing of autonomous vehicles;to build, or not to build: modelFlow, a build solution for MDE projects;efficient generation of graphical model views via lazy model-to-text transformation;an extensible framework for customizable model repair;a compositional framework for systematic modeling language reuse;interactive metamodel/model co-evolution using unsupervised learning and multi-objective search;model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems;model-based fleet deployment of edge computing applications;and a parametric model for creating customized fabrication machines.
The proceedings contain 40 papers. The topics discussed include: multi-variability modeling and realization for software derivation in industrial automation management;a model-based approach for multi-device user inte...
ISBN:
(纸本)9781450343213
The proceedings contain 40 papers. The topics discussed include: multi-variability modeling and realization for software derivation in industrial automation management;a model-based approach for multi-device user interactions;using free modeling as an agile method for developing domain specific modeling languages;supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation;model-driven performance prediction of systems of systems;automatic generation of detailed flight plans from high-level mission descriptions;towards the characterization of realistic models: evaluation of multidisciplinary graph metrics;and metamodel specialization for graphical modeling language support.
The proceedings contain 35 papers. The topics discussed include: incremental causal connection for self-adaptive systems based on relational reference attribute grammars;addressing the uncertainty interaction problem ...
ISBN:
(纸本)9781450394666
The proceedings contain 35 papers. The topics discussed include: incremental causal connection for self-adaptive systems based on relational reference attribute grammars;addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata;precomputing reconfiguration strategies based on stochastic timed game automata;system architecture synthesis for performability by logic solvers;digital twin as risk free experimentation aid for techno-socio-economic systems;reactive links across multi-domain engineeringmodels;modelling program verification tools for software engineers;automatic test amplification for executable models;feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system;validating the correctness of reactive systems specifications through systematic exploration;and machine learning methods for model classification: a comparative study.
The proceedings contain 12 papers. The topics discussed include: goal models as run-time entities in context-aware systems;model-driven development of DSML execution engines;extracting user requirements for pervasive ...
ISBN:
(纸本)9781450317993
The proceedings contain 12 papers. The topics discussed include: goal models as run-time entities in context-aware systems;model-driven development of DSML execution engines;extracting user requirements for pervasive service compositions;rapid GUI development on legacy systems: an runtime model-based solution;a process for continuous validation of self-adapting component based systems;a process for continuous validation of self-adapting component based systems;towards supporting multiple execution environments for UML/OCL models at runtime;a runtime model for fUML;model execution adaptation?;a semi-automatic behavioral mediation approach based on models@runtime;and expressing model relations as basis for structural consistency analysis in models@***.
The proceedings contain 30 papers. The topics discussed include: a modeling language to support the evolution of multi-tenant cloud data architectures;using models to enable compliance checking against the GDPR: an ex...
ISBN:
(纸本)9781728125350
The proceedings contain 30 papers. The topics discussed include: a modeling language to support the evolution of multi-tenant cloud data architectures;using models to enable compliance checking against the GDPR: an experience report;towards system-level testing with coverage guarantees for autonomous vehicles;a focus+context approach to alleviate cognitive challenges of editing and debugging UML models;modeling approach and evaluation criteria for adaptable architectural runtime model instances;automatic generation of atomic consistency preserving search operators for search-based modelengineering;and modeling and training of neural processing systems.
The proceedings contain 50 papers. The topics discussed include: reusable event types for models at runtime to support the examination of runtime phenomena;incremental symbolic execution of evolving state machines;a f...
ISBN:
(纸本)9781467369084
The proceedings contain 50 papers. The topics discussed include: reusable event types for models at runtime to support the examination of runtime phenomena;incremental symbolic execution of evolving state machines;a framework for relating syntactic and semantic model differences;process mining in software systems: discovering real-life business transactions and process models from distributed systems;a model-based framework for probabilistic simulation of legal policies;stream my models: reactive peer-to-peer distributed models@***;consistent co-evolution of models and transformations;synthesizing tests for combinatorial coverage of modal scenario specifications;systematically deriving domain-specific transformation languages;textual diagram layout language and visualization algorithm;and a unifying approach to connections for multi-level modeling.
The proceedings contain 31 papers. The topics discussed include: uncertainty-aware consistency checking in industrial settings;applicability of model checking for verifying spacecraft operational designs;automated gra...
ISBN:
(纸本)9798350324808
The proceedings contain 31 papers. The topics discussed include: uncertainty-aware consistency checking in industrial settings;applicability of model checking for verifying spacecraft operational designs;automated grading of use cases;experience in specializing a generic realization language for SPL engineering at Airbus;an extended model-based characterization of fine-grained access control for SQL queries;variability-aware Neo4j for analyzing a graphical model of a software product line;a model-driven and template-based approach for requirements specification;leveraging modeling concepts and techniques to address challenges in network management;on developing and operating GLSP-based web modeling tools: lessons learned from BIGUML;and rapid-prototyping and early validation of software models through uniform integration of hardware.
The proceedings contain 9 papers. The topics discussed include: summary of the extreme modeling workshop (XM'12);natural modeling - retrospective and perspectives an anthropological point of view;towards tool supp...
ISBN:
(纸本)9781450318044
The proceedings contain 9 papers. The topics discussed include: summary of the extreme modeling workshop (XM'12);natural modeling - retrospective and perspectives an anthropological point of view;towards tool support for agile modeling: sketching equals modeling;EuGENia live: a flexible graphical modeling tool;co-creation of models and metamodels for enterprise architecture projects;negotiated grammar transformation;comparative analysis of data persistence technologies for large-scale models;towards early emergent property understanding. merging behavior space exploration and model-based software engineering;and agile requirements traceability using domain-specific modeling languages.
The proceedings contain 26 papers. The topics discussed include: partial bidirectionalization of model transformation languages;10 years of model federation with Openflexo: challenges and lessons learned;EditQL: a tex...
ISBN:
(纸本)9798400705045
The proceedings contain 26 papers. The topics discussed include: partial bidirectionalization of model transformation languages;10 years of model federation with Openflexo: challenges and lessons learned;EditQL: a textual query language for evolving models;model everything but with intellectual property protection — the Deltachain approach;AlloyASG: alloy predicate code representation as a compact structurally balanced graph;product lines of graphical modelling languages;tree-based versus hybrid graphical-textual model editors: an empirical study of testing specifications;modeling languages for digital twins: a survey among the German automotive industry;advancing domain-specific high-integrity model-based tools: insights and future pathways;and a comparative analysis of energy consumption between visual scripting models and C++ in unreal engine: raising awareness on the importance of green MDD.
The proceedings contain 13 papers. The topics discussed include: tool supported OCL refactoring catalogue;an extensible OCL virtual machine and code generator;featherweight OCL: a study for the consistent semantics of...
ISBN:
(纸本)9781450317993
The proceedings contain 13 papers. The topics discussed include: tool supported OCL refactoring catalogue;an extensible OCL virtual machine and code generator;featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL;on the use of an internal DSL for enriching EMF models;library for model querying - lQuery;ontology driven design of EMF metamodels and well-formedness constraints;modeling and executing ConcurTaskTrees using a UML-and SOIL-based metamodel;automatic generation of test models and properties from UML models with OCL constraints;transformation rules from UML4MBT meta-model to SMT meta-model for model animation;model-based formal specification of a DSL library for a qualified code generator;the secret life of OCL constraints;and experiences using OCL for business rules on financial messaging.
暂无评论