the proceedings contain 20 papers. the special focus in this conference is on model-drivenengineering and softwaredevelopment. the topics include: Applying integrated domain-specific modeling for multi-concerns deve...
ISBN:
(纸本)9783319947631
the proceedings contain 20 papers. the special focus in this conference is on model-drivenengineering and softwaredevelopment. the topics include: Applying integrated domain-specific modeling for multi-concerns development of complex systems;a domain-specific modeling approach for testing environment emulation;A framework for UML-based component-based design and code generation for reactive systems;Automatic UI generation for aggregated linked data applications by using sharable application ontologies;surveying co-evolution in modeling ecosystems;functional decomposition for software architecture evolution;model-driven approach to handle evolutions of OLAP requirements and data source model;complex event processing for user-centric management of IoT systems;efficient distributed execution of multi-component scenario-based models;Evaluation of XIS-reverse, a model-driven reverse engineering approach for legacy information systems;modelling the world of a smart room for robotic co-working;formal and virtual multi-level design space exploration;automated synthesis of a real-time scheduling for cyber-physical multi-core systems;a model based approach for complex dynamic decision-making;deterministic high-level executable models allowing efficient runtime verification;a consistency-preserving editing model for dynamic filtered engineering of model-driven product lines;model-driven STEP application protocol extensions combined with feature modeling considering geometrical information;a modeldrivenengineering approach for heterogeneous model composition.
the proceedings contain 70 papers. the topics discussed include: testing environment emulation - a model-based approach;SMARTREIFIER: model-drivendevelopment of service-oriented SCADA applications from models of sens...
ISBN:
(纸本)9789897582103
the proceedings contain 70 papers. the topics discussed include: testing environment emulation - a model-based approach;SMARTREIFIER: model-drivendevelopment of service-oriented SCADA applications from models of sensor and actuator networks;CloudTL: a new transformation language based on big data tools and the cloud;language architecture: an architecture language for model-drivenengineering;maintaining workspace consistency in filtered editing of dynamically evolving model-drivensoftware product lines;a domain-aware framework for integrated model-based system analysis and design;the power of a model-driven approach to handle evolving data warehouse requirements;an mde approach to generate schemas for object-document mappers;complete code generation from UML state machine;distributing scenario-based models: a replicate-and-project approach;modeldriven implementation of security management process;process development for the liquid-sensing enterprise;on using sarkar metrics to evaluate the modularity of metamodels;xis-reverse: a model-driven reverse engineering approach for legacy information systems;deterministic executable models verified efficiently at runtime an architecture for robotic and embedded systems;UI-GEAR: user interface generation preview capable to adapt in real-time;and towards an automated synthesis of a real-time scheduling for cyber-physical multi-core systems.
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.
Distributed Denial of Service (DDoS) attacks are a critical threat to the security and reliability of software-Defined Networking (SDN) environments. Existing datasets for training machine learning (ML) models, such a...
详细信息
ISBN:
(数字)9798331530983
ISBN:
(纸本)9798331530990
Distributed Denial of Service (DDoS) attacks are a critical threat to the security and reliability of software-Defined Networking (SDN) environments. Existing datasets for training machine learning (ML) models, such as KDDCup ’99 and CICIDS 2017, are either outdated or fail to capture SDN-specific characteristics, limiting their effectiveness in detecting modern DDoS attacks. this paper proposes a framework for generating a comprehensive, SDN-specific dataset using a virtual environment that integrates Mininet, the Ryu controller, and Python-based automation. the dataset incorporates advanced flow-level metrics, including SYN counts, queue lengths, and real-time traffic dynamics, reflecting contemporary attack scenarios such as ICMP floods, TCP SYN floods, and UDP floods. By addressing the limitations of traditional datasets, this custom dataset enhances ML model training for DDoS detection in SDN environments, providing improved accuracy and adaptability. Contributions include a scalable SDN-based dataset generation framework, enriched feature sets for ML training, and a comprehensive approach to capturing both legitimate and malicious traffic dynamics. this study highlights the potential of SDN programmability in advancing security research and offers a robust tool for the development of reliable DDoS detection mechanisms.
the increasing number of languages used to engineer complex systems causes challenges to the development and maintenance processes of these languages. In this paper, we reflect on our experience in developing real lif...
详细信息
ISBN:
(纸本)9789897582103
the increasing number of languages used to engineer complex systems causes challenges to the development and maintenance processes of these languages. In this paper, we reflect on our experience in developing real life complex cyber-physical systems by using MDE techniques and DSLs. Firstly, we discuss a number of industrial challenges in the modeling softwareengineering domain. To address these challenges, we propose the concept of language architecture as an organizational principle for designing, reusing and maintaining DSLs and their infrastructure. Based on this, a metamodel for a DSL is designed and a tool support (LanArchi) is developed. Finally the possible future directions are given.
this position paper reports our current endeavour towards a model-drivenengineering framework to support the dynamic configuration and deployment of complex data processing applications. In particular, our approach i...
详细信息
ISBN:
(纸本)9789897582103
this position paper reports our current endeavour towards a model-drivenengineering framework to support the dynamic configuration and deployment of complex data processing applications. In particular, our approach includes a domain-specific modelling language that abstracts the data processing tasks and at the same time exposes the control of how these tasks are deployed on specific platforms and resources. A modelling framework of model transformation and models@runtime engines realises the semi-automatic configuration and deployment of the applications based on the abstract models.
this paper aims at presenting SMART REIFIER a tool for designing networks of sensors and actuators and for generating a set of web services for supervisory control and data acquisition. Such a code generation is achie...
详细信息
ISBN:
(纸本)9789897582103
this paper aims at presenting SMART REIFIER a tool for designing networks of sensors and actuators and for generating a set of web services for supervisory control and data acquisition. Such a code generation is achieved by the means of model-drivenengineering: a specific meta-model for sensor and actuator networks is designed as well as a model-to-model mapping into a web service meta-modelthat enables source code generation of JEE applications.
Monitoring withthe goal of visualizing key performance indicators using dashboards is an established way of enabling the analysis of business processes and providing quick information in critical situations. model-dr...
详细信息
ISBN:
(纸本)9789897582103
Monitoring withthe goal of visualizing key performance indicators using dashboards is an established way of enabling the analysis of business processes and providing quick information in critical situations. model-drivendevelopment and design of these dashboards has proven useful in real world scenarios. However, in large organizations, dashboards need to be role-specific, as not all users are concerned by the same data. In this paper, a users-and-roles model is introduced. It extends and adapts the model-driven process monitoring methodology aPo. Withthis model, it becomes possible to automatically generate user-specific monitoring dashboards, properly displaying the needed information for each user in an organisation. the implementation is evaluated with a real-world use-case from the service industry.
Early verification is essential in system development because late error detection involves a costly correction and approval process. modelling real life systems covers three aspects of a system (structure, dynamics a...
详细信息
ISBN:
(纸本)9789897582103
Early verification is essential in system development because late error detection involves a costly correction and approval process. modelling real life systems covers three aspects of a system (structure, dynamics and functions) and one verification technique is not sufficient to check the properties related to these aspects. Considering Service-based Component models, we propose a unifying schema called multi-level contracts that enables a combination of verification techniques (model checking, theorem proving and model testing) to cover the model V&V. this proposal is experimented using the Kmelia language and its COSTO tool.
A models@runtime environment keeps a model in synchrony with a running system, this way a reasoning engine adapts the system by modifying this model. Existing models@runtime environments typically fail to let the user...
详细信息
ISBN:
(纸本)9789897582103
A models@runtime environment keeps a model in synchrony with a running system, this way a reasoning engine adapts the system by modifying this model. Existing models@runtime environments typically fail to let the user control what concepts form the model nor how the model is synchronised withthe running system. this is yet mandatory in uncertain environments that are open, dynamic and heterogeneous. In this position paper we evolve the classical models@runtime architectural pattern to address this issue, together with some initial implementation results.
暂无评论