检索结果-内蒙古大学图书馆

model-driven development of Web Augmenters for Facilitating Environmental Open Data Consumption

IEEE ACCESS 2025年 13卷 51551-51572页

作者： Gonzalez-Martinez, Paula Gonzalez-Mora, Cesar Garrigos, Irene Mazon, Jose-Norberto Cecilia, Jose M. Univ Alicante Dept Software & Comp Syst Alicante 03690 Spain Univ Politecn Valencia Comp Engn Dept Valencia 46022 Spain

Citizens must consume open data published by public institutions to be aware of environmental issues of SDGs (Sustainable development Goals). However, the existence of many related heterogeneous open data sets hampers citizens to access and consume them to raise environmental awareness. To overcome this scenario, in this paper, we introduce a model-driven development approach to automatically generate maps as web augmenters to allow citizens to surf the Web while they 1) homogeneously access environmental open data, and 2) easily visualize this data on the map. To show the feasibility of our approach, we focus on a case study of biodiversity maps, which are related to SDG 14 (life below water), and 15 (life on land). Through this case study, a web augmenter applied to Wikipedia is automatically generated from environmental open data related to "Mar Menor" coastal lagoon;a highly anthropized ecosystem located in Southeast Spain. A focus group is conducted to validate that our generated web augmenter is easy to use and useful for environmental open data consumption.

关键词： Open data Data visualization Biodiversity model-driven development Europe Ecosystems Biological system modeling Sustainable development Meteorology Browsers Web augmentation open data environment sustainable development goals model-driven development

来源：评论

学校读者我要写书评

暂无评论

model-driven development of Multi-Robot Systems: From BPMN models to X-KLAIM Code 12th

Model-Driven Development of Multi-Robot Systems: From BPMN M...

引用

12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Boufaida, Khalid Tiezzi, Francesco Bettini, Lorenzo Univ Camerino Sch Sci & Technol Camerino Italy Univ Firenze Applicaz Informat Dipartimento Stat Florence Italy

ISBN: (纸本)9783031751066;9783031751073

Despite the ever-increasing spread of multi-robot systems, designing and programming their software is still a complex and demanding activity. This is due to the complexity of coordinating the interactions among robots of such systems while dealing at the same time with low-level implementation details of single robots' behavior. These difficulties may represent a technological barrier for non-expert users and may limit the collaboration between roboticists, application domain experts, and involved stakeholders. In this paper, we face this challenge by introducing a model-driven development approach for multi-robot systems based on BPMN and X-KLAIM. On the one hand, the BPMN standard provides an intuitive graphical notation, largely adopted by industry and academia. It facilitates the design of complex robotic interactions without demanding indepth knowledge of the underlying programming language. On the other hand, X-KLAIM provides a framework for implementing the behavior of multi-robot systems using: (i) coordination primitives, suitable for dealing with both intraand inter-robot interactions and for composing high-level robot activities, and (ii) integration with Java, enabling programming of low-level details. Specifically, we propose a model-driven approach that merges the clarity of BPMN with the operational strength of X-KLAIM by relying on an automatic translation of BPMN models into X- KLAIM code. To demonstrate the feasibility and effectiveness of the approach, we provide the B2XKlaim tool, which automates the conversion process, and apply it to a case study from the e-agriculture domain.

关键词： Multi-Robot Systems BPMN X-Klaim model-driven development

来源：评论

学校读者我要写书评

暂无评论

Formal Foundations of Consistency in model-driven development 12th

Formal Foundations of Consistency in Model-Driven Developmen...

引用

12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Pascual, Romain Beckert, Bernhard Ulbrich, Mattias Kirsten, Michael Pfeifer, Wolfram Karlsruhe Inst Technol KIT Karlsruhe Germany

ISBN: (纸本)9783031753794;9783031753800

models are abstractions used to precisely represent specific aspects of a system in order to make work easier for engineers. This separation of concerns naturally leads to a proliferation of models, and thus to the challenge of ensuring that all models actually represent the same system. We can study this problem by considering that the property is abstracted as a relation between models called consistency. Yet, the exact nature of this relation remains unclear in the context of cyber-physical systems, as such models are heterogeneous and may not be formally described. Therefore, we propose a formal foundation for consistency relations, by (1) providing a set-theoretical description of the virtual single underlying model (V-SUM) methodology, (2) relating consistency to model transformations, and (3) studying the connection between consistency of models and their semantics. In particular, we show that a relation on the semantic spaces of models can be reflected as a relation on models and that this semantics forms a lattice, such that a canonical semantics can be derived from a consistency relation. Our findings lay the foundation for a formal reasoning about precise notions of consistency.

关键词： model-driven development model consistency model semantics Formal foundations Cyber-physical systems

来源：评论

学校读者我要写书评

暂无评论

model-driven development of mobile applications for Android and iOS supporting role-based app variability

引用

SOFTWARE AND SYSTEMS modelING 2018年第1期17卷 35-63页

作者： Vaupel, Steffen Taentzer, Gabriele Gerlach, Rene Guckert, Michael Philipps Univ Marburg Hans Meerwein Str 1 D-35032 Marburg Germany Tech Hsch Mittelhessen KITE Kompetenzzentrum Informat Technol Wilhelm Leuschner Str 13 D-61169 Friedberg Germany

Rapidly increasing numbers of applications and users make the development of mobile applications to one of the most promising fields in software engineering. Due to short time to market, differing platforms, and fast emerging technologies, mobile application development faces typical challenges where model-driven development (MDD) can help. We present a modeling language and an infrastructure for the MDD of native apps in Android and iOS. Our approach allows a flexible app development on different abstraction levels: compact modeling of standard app elements such as standard data management and increasingly detailed modeling of individual elements to cover, for example, specific behavior. Moreover, a kind of variability modeling is supported such that mobile apps with variants can be developed. We demonstrate our MDD approach with several apps including a conference app, a museum guide with augmented reality functionality, and a SmartPlug.

关键词： model-driven development Mobile application Android iOS

来源：评论

学校读者我要写书评

暂无评论

model-driven development for early aspects

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2010年第3期52卷 249-273页

作者： Sanchez, Pablo Moreira, Ana Fuentes, Lidia Araujo, Joao Magno, Jose Univ Malaga Dpto Lenguajes & Ciencias Computac ETSI Informat E-29071 Malaga Spain Univ Nova Lisboa CITI Dept Informat Fac Ciencias & Tecnol P-1200 Lisbon Portugal Inst Politecn Leiria Dpto Engn Informat Escola Super Tecnol & Gestao Leiria Portugal

Currently, non-functional requirements (NFRs) consume a considerable part of the software development effort. The good news is that most of them appear time and again during system development and, luckily, their solutions can be often described as a pattern independently from any specific application or domain. A proof of this are the current application servers and middleware platforms that can provide configurable prebuilt services for managing some of these crosscutting concerns, or aspects. Nevertheless, these reusable pattern solutions presents two shortcomings, among others: (1) they need to be applied manually;and (2) most of these pattern solutions do not use aspect-orientation, and, since NFRs are often crosscutting concerns, this leads to scattered and tangled representations of these concerns. Our approach aims to overcome these limitations by: (1) using model-driven techniques to reduce the development effort associated to systematically apply reusable solutions for satisfying NFRs;and (2) using aspect-orientation to improve the modularization of these crosscutting concerns. Regarding the first contribution, since the portion of a system related to NFRs is usually significant, the reduction on the development effort associated to these NFRs is also significant. Regarding the second contribution, the use aspect-orientation improves maintenance and evolution of the non-functional requirements that are managed as aspects. An additional contribution of our work is to define a mapping and transition from aspectual requirements to aspect-oriented software architectures, which, in turn, contributes to improve the general issue of systematically relating requirements to architecture. Our approach is illustrated by applying it to a Toll Gate case study. (c) 2009 Elsevier B.V. All rights reserved.

关键词： Early aspects model-driven development Aspect-Oriented Software development model transformation

来源：评论

学校读者我要写书评

暂无评论

model-driven development of adaptive web service processes with aspects and rules

引用

JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2015年第3期81卷 533-552页

作者： Yu, Jian Sheng, Quan Z. Swee, Joshua K. Y. Han, Jun Liu, Chengfei Noor, Talal H. Auckland Univ Technol Sch Comp & Math Sci Auckland New Zealand Univ Adelaide Sch Comp Sci Adelaide SA Australia Swinburne Univ Technol Fac Informat & Commun Technol Melbourne Vic Australia

Modern software systems are frequently required to be adaptive in order to cope with constant changes. Unfortunately, service-oriented systems built with WS-BPEL are still too rigid. In this paper, we propose a novel model-driven approach to supporting the development of dynamically adaptive WS-BPEL based systems. We model the system functionality with two distinct but highly correlated parts: a stable part called the base model describing the flow logic aspect and a volatile part called the variable model describing the decision logic aspect. We develop an aspect-oriented method to weave the base model and the variable model together so that runtime changes can be applied to the variable model without affecting the base model. A model-driven platform has been implemented to support the development of adaptive WS-BPEL processes. In-lab experiments show that our approach has low performance overhead. A real-life case study also validates the applicability of our approach. (C) 2014 Elsevier Inc. All rights reserved.

关键词： Web services Adaptive systems model-driven development Aspect-oriented methodology Design tools and techniques

来源：评论

学校读者我要写书评

暂无评论

model-driven development of Reconfigurable Protocol Stack for Networked Control Systems

引用

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 2012年第6期42卷 1439-1453页

作者： Zhou, Chunjie Chen, Hui Xiong, Naixue Huang, Xiongfeng Vasilakos, Athanasios V. Huazhong Univ Sci & Technol Key Lab Minist Educ Image Proc & Intelligent Control Dept Control Sci & Engn Wuhan 430074 Peoples R China Georgia State Univ Dept Comp Sci Atlanta GA 30303 USA Univ Western Macedonia Dept Comp & Telecommun Engn Kozani 50100 Greece

Innetworked control systems (NCS), the performance degradation introduced by the heterogeneous and dynamic environment has intensified the need for reconfigurable protocol stacks (RPS). In this paper, an IEC61499-based method is proposed for the model-driven development of RPS. The method is enabled by defining a novel RPS function block (FB), which unifies the communication behavior and interface of nodes in NCS. Beyond existing communication FBs in IEC61499, the parameter reconfiguration of routing and scheduling table in RPS FB is highlighted as the core of communication layer function to adapt environment and system variations. Furthermore, the method allows for the code reconfiguration on Java algorithms in RPS FB under different application requirements. Through porting the Java virtual machine on different platforms, the code reconfiguration is implemented by reloading the. class file for a specified protocol FB. A case study on the embedded platform, such as DSP/BIOS and ARM/Linux, is conducted to demonstrate the effectiveness and feasibility of the proposed reconfiguration method for maintaining stable and predictable behavior in NCS.

关键词： IEC61499 model-driven development networked control system (NCS) protocol stack reconfiguration

来源：评论

学校读者我要写书评

暂无评论

model-driven development Towards Distributed Intelligent Systems

引用

ACM TRANSACTIONS ON INTERNET TECHNOLOGY 2024年第4期24卷 1-28页

作者： Barriga, Arturo Barriga, JOSe A. Perez-toledano, Miguel a. Clemente, Pedro j. Univ Extremadura Dept Ingn Sistemas Informat & Telemat Quercus Software Engn Grp Ave Univ S-N Caceres 10003 Spain

A Distributed Intelligent System (DIS) encompasses a set of intelligent subsystems and components that collaborate to perform tasks and solve problems. Given the advancements of paradigms such as the Internet of Things, along with the advancements of technologies such as Machine Learning and Digital Twins, DISs are on the rise. These systems are increasingly integrating components that perform intelligent functions, and these intelligent functions are increasingly heterogeneous and varied. Moreover, there is no standardized framework to help researchers and practitioners adequately address DISs. As a result, the complexity, interoperability issues, and development time and costs of these systems are growing. However, model-driven development (MDD) can help to address these challenges by providing a Domain-Specific Language (DSL) for developing DISs. In this work, a DSL for the design, validation, generation, and deployment of DISs is proposed. Firstly, the proposed DSL captures in a metamodel the key and high-level abstract concepts of the distinct DISs documented in the literature. Then, it allows modeling of DISs conforming to this metamodel. Subsequently, the DSL enables formal validation of the modeled systems. Lastly, it allows the generation and deployment of all DISs into production. Therefore, the work undertaken in this communication provides a methodological, formal, and standardized approach to defining and developing DISs from a high level of abstraction. This work allows users to address DISs by facilitating agility, minimizing manual tasks, and re- ducing the number of defects introduced in their development. To illustrate the applicability of the proposed DSL, a real case study of an agricultural digital twin is presented.

关键词： Distributed intelligent system model-driven development model-to- text transformation Internet of Things digital twin

来源：评论

学校读者我要写书评

暂无评论

model-driven development of industrial process control applications

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2011年第7期84卷 1100-1113页

作者： Hastbacka, David Vepsalainen, Timo Kuikka, Seppo Tampere Univ Technol Dept Automat Sci & Engn FI-33101 Tampere Finland

This article presents model-driven development and domain-specific modeling applied to the development of industrial process control applications. The approach is based on established practices of the industrial automation and control domain, a compatible UML profile, and an integrated and standards based tool environment for modeling and transformation execution. The methods provide means for developing applications using domain-specific modeling concepts to increase productivity and enhance platform independent solution reuse. The approach has been implemented to support industrial practices and to be able to utilize existing control system platforms. During demonstrations and an assessment event with industry professionals the methods have been successfully applied to the development of small-scale process control applications. In this paper, attention is also paid on discussion of the practical applicability and benefits of the approach for engineering and development of industrial process control applications. (C) 2011 Elsevier Inc. All rights reserved.

关键词： model-driven development Domain-specific modeling UML Profiles Process control applications

来源：评论

学校读者我要写书评

暂无评论

model-driven development and multiprocessor implementation of a dynamic control algorithm for nanopositioning and nanomeasuring machines

引用

PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART I-JOURNAL OF SYSTEMS AND CONTROL ENGINEERING 2009年第I3期223卷 417-429页

作者： Mueller, M. Fengler, W. Amthor, A. Ament, C. Tech Univ Ilmenau Comp Architecture Grp Ilmenau Germany Tech Univ Ilmenau Syst Anal Grp Ilmenau Germany

This article presents a computationally intensive adaptive trajectory tracking control algorithm for dynamic control of nanopositioning and nanomeasuring machines. To realize the required high sample rate of the control algorithm, an embedded multiprocessor architecture has been chosen as development target. The model-oriented development approach studied here aims to narrow the gap between the control system design environment MATLAB/Simulink (R) and the actual distributed implementation on the custom platform by introducing a custom code generation target intending the utilization of automatic code generation facilities.

关键词： control design trajectory tracking model-driven development Simulink multiprocessor implementation code generation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：