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

11th International Joint Conference on software Technologies (ICSOFT-EA)

作者： Rosique, Francisca Alonso, Diego Pastor, Juan Ortiz, Francisco Univ Politecn Cartagena Div Syst & Elect Engn DSIE Campus Muralla Mar E-30202 Cartagena Spain

ISBN: (纸本)9789897581946

This paper describes a model-driven toolchain for developing component-based applications that enables users to use the same models that define their application to execute them. In this vein, models always remain true to the final application, unlike other approaches where a model tranformation generates a skeleton of the final application after the first steps of the development process. These kind of approaches normally end up with models that represent a different application than the one present in the code.

关键词： software Engineering Component-based software development model-driven software development Framework software Design Patterns Real-time

来源：评论

学校读者我要写书评

暂无评论

Virtual Worlds on Demand? model-driven development of JavaScript-based Virtual World UI Components for Mobile Apps 4

Virtual Worlds on Demand? Model-Driven Development of JavaSc...

引用

4th International Conference on model-driven Engineering and software development (modelSWARD)

作者： Stuerner, Matthias Brune, Philipp Univ Appl Sci Neu Ulm Dept Informat Management D-89231 Neu Ulm Germany

ISBN: (纸本)9789897582325

Virtual worlds and avatar-based interactive computer games are a hype among consumers and researchers for many years now. In recent years, such games on mobile devices also became increasingly important. However, most virtual worlds require the use of proprietary clients and authoring environments and lack portability, which limits their usefulness for targeting wider audiences like e.g. in consumer marketing or sales. Using mobile devices and client-side web technologies like i.e. JavaScript in combination with a more automatic generation of customer-specific virtual worlds could help to overcome these limitations. Here, model-driven software development (MDD) provides a promising approach for automating the creation of user interface (UI) components for games on mobile devices. Therefore, in this paper an approach is proposed for the model-driven generation of UI components for virtual worlds using JavaScript and the upcoming *** framework. The feasibilty of the approach is evaluated by implementing a proof-of-concept scenario.

关键词： model-driven software development Mobile UI JavaScript UML modeling Virtual Worlds Computer Games

来源：评论

学校读者我要写书评

暂无评论

model-driven software systems engineering in robotics: Covering the complete life-cycle of a robot

引用

IT-INFORMATION TECHNOLOGY 2015年第2期57卷 85-98页

作者： Schlegel, Christian Lotz, Alex Lutz, Matthias Stampfer, Dennis Ingles-Romero, Juan F. Vicente-Chicote, Cristina Univ Appl Sci Ulm Ulm Germany Univ Politecn Cartagena Cartagena Spain Univ Extremadura QSEG Caceres Spain

Robotic systems are complex, software intensive and heterogeneous composite systems. software systems engineering and system integration is still a major challenge in robotics. We describe how component based software engineering (CBSE), model-driven software development (MDSD) and domain-specific languages (DSLs) for variability management complement each other in addressing the robotics software challenge. We outline how these approaches pave the way towards a software business ecosystem in robotics. We put a focus onto challenges still being considered as open and worth being addressed next.

关键词： software systems engineering system integration model-driven software development robotics business ecosystem

来源：评论

学校读者我要写书评

暂无评论

modeling Information Flow Properties with UML 7

Modeling Information Flow Properties with UML

引用

7th International Conference on New Technologies, Mobility and Security (NTMS)

作者： Katkalov, Kuzman Stenzel, Kurt Borek, Marian Reif, Wolfgang Univ Augsburg Inst Software & Syst Engn D-86135 Augsburg Germany

ISBN: (纸本)9781479987849

Providing guarantees regarding the privacy of sensitive information in a distributed system consisting of mobile apps and services is a challenging task. Our IFlow approach allows the model-driven development of such systems, as well as the automatic generation of code and a formal model. In this paper, we introduce modeling guidelines for the design of intuitive, flexible and expressive information flow properties with UML. Further, we show how these properties can be guaranteed using a combination of automatic language-based information flow control and model-based interactive verification.

关键词： privacy information flow model-driven software development

来源：评论

学校读者我要写书评

暂无评论

modeling test cases for security protocols with SecureMDD

引用

COMPUTER NETWORKS 2014年第0期58卷 99-111页

作者： Katkalov, Kuzman Moebius, Nina Stenzel, Kurt Borek, Marian Reif, Wolfgang Univ Augsburg Augsburg Germany Dept Software Engn Augsburg Germany Univ Ulm D-89069 Ulm Germany

Designing and executing test cases for security-critical protocols is a technically complicated and tedious process. SecureMDD is a model-driven approach that enables development of security-critical applications based on cryptographic protocols. In this paper we introduce a method which combines the model-driven approach used in SecureMDD with the design of functional and security tests. We construct and evaluate new modeling guidelines that allow the modeler to easily define such test cases during the modeling stage. We also implement model transformation routines to generate runnable tests for actual implementation of applications developed with SecureMDD. (C) 2013 Elsevier B.V. All rights reserved.

关键词： model-driven testing Security protocols Security tests model-driven software development Unit tests

来源：评论

学校读者我要写书评

暂无评论

Extracting models from source code in software modernization

引用

software AND SYSTEMS modelING 2014年第2期13卷 713-734页

作者： Canovas Izquierdo, Javier Luis Garcia Molina, Jesus Univ Murcia Murcia Spain Univ Murcia Fac Informat Dept Informat & Sistemas E-30071 Murcia Spain EMN LINA INRIA AtlanMod Nantes France

model-driven software modernization is a discipline in which model-driven development (MDD) techniques are used in the modernization of legacy systems. When existing software artifacts are evolved, they must be transformed into models to apply MDD techniques such as model transformations. Since most modernization scenarios (e.g., application migration) involve dealing with code in general-purpose programming languages (GPL), the extraction of models from GPL code is an essential task in a model-based modernization process. This activity could be performed by tools to bridge grammarware and MDD technical spaces, which is normally carried out by dedicated parsers. Grammar-to-model Transformation Language (Gra2MoL) is a domain-specific language (DSL) tailored to the extraction of models from GPL code. This DSL is actually a text-to-model transformation language which can be applied to any code conforming to a grammar. Gra2MoL aims to reduce the effort needed to implement grammarware-MDD bridges, since building dedicated parsers is a complex and time-consuming task. Like ATL and RubyTL languages, Gra2MoL incorporates the binding concept needed to write mappings between grammar elements and metamodel elements in a simple declarative style. The language also provides a powerful query language which eases the retrieval of scattered information in syntax trees. Moreover, it incorporates extensibility and grammar reuse mechanisms. This paper describes Gra2MoL in detail and includes a case study based on the application of the language in the extraction of models from Delphi code.

关键词： model-driven engineering model-driven software development Domain-specific languages software modernization model-driven software modernization

来源：评论

学校读者我要写书评

暂无评论

Dynamic State Charts: composition and coordination of complex robot behavior and reuse of action plots

引用

INTELLIGENT SERVICE ROBOTICS 2014年第2期7卷 53-65页

作者： Stampfer, Dennis Schlegel, Christian Univ Appl Sci Ulm Dept Comp Sci D-89075 Ulm Germany

Support for separation of roles is decisive towards a successful business ecosystem where various stakeholders with dedicated expertises network and collaborate. However, it depends on means for composition(system of systems, reuse of black boxes). This paper proposes Dynamic State Charts as an extension of state charts for composition and coordination of complex robot behavior which is one of the challenges in service robotics. Their states allow to refine their content by choosing from a set of alternative matching state instances for robust task execution and to manage the complexity of real-world tasks. Dynamic State Charts allow reuse and can be bundled with software components and are provided in a repository (idea of an "robot app store") as a step towards composition and separation of roles as necessary for a business ecosystem in service robotics. The approach is demonstrated in a practical application with a service robot.

关键词： Service robotics Task coordination model-driven software development Robotic software development State charts

来源：评论

学校读者我要写书评

暂无评论

Combining models with Code: a Tale of Two Languages 9

Combining Models with Code: a Tale of Two Languages

引用

IEEE 9th International Conference on Global software Engineering Workshops (ICGSEW)

作者： Ma, Qin Schmit, Sam Glodt, Christian Kelsen, Pierre Amazon EU Serv L-2338 Luxembourg Luxembourg Univ Luxembourg L-1359 Luxembourg Luxembourg Publ Res Ctr Henri Tudor L-1855 Luxembourg Luxembourg

ISBN: (纸本)9781479952069

In the pure model-driven view of software engineering, models are the sole artifacts to be created and maintained and executable source code is entirely generated from the models. However, due to the variety of modern platforms and the complexity of capturing them correctly in models, this vision has not yet been fully realized. In this paper, we propose an approach that allows combining high-level models with low-level code into an executable system. The approach is based on two modeling languages, one presenting a common abstraction of modeling and programming languages, and the other allowing to express the bridge between the model and code. We illustrate our approach using a running example of an invoicing system for which the business logic requirements are captured by an executable model and the requirements on the graphical user interface are directly mocked up using a GUI designer tool that generates Java code.

关键词： Adaptation models Bridges Business Graphical user interfaces Java Object oriented modeling Unified modeling language Domain-Specific modeling Language Event-driven Communication Heterogeneous model Integration model-driven software development graphical user interfaces Object oriented modeling UML bridges Java Java programming language Business Adaptation models Codes

来源：评论

学校读者我要写书评

暂无评论

Domain-Specific Business modeling with the Business model Developer 6

Domain-Specific Business Modeling with the Business Model De...

引用

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Bosselmann, Steve Margaria, Tiziana Univ Potsdam Dept Comp Sci D-14482 Potsdam Germany

ISBN: (纸本)9783662452318;9783662452301

Discussing business models of companies and organizations based on graphical representations that emphasize essential factors has increased in recent years, particularly from a business perspective. However, feasible implementations of business modeling tools are rare, as they tend to be domain specific but at the same time tailored towards the requirements of a heterogeneous group of stakeholders. We present the Business model Developer (BMD) and the underlying framework for the creation of domain-specific business models. The approach relies on the definition of a domain-specific library of model components as well as structured parameters with different scopes, i.e. declared areas of applicability. This setup forms the basis for the development of custom techniques for model analysis. We align the development process with the approach of Extreme model driven development (XMDD) to keep it as simple as possible for domain experts to contribute in tailoring the tool towards specific needs. Furthermore, we present a practical application in the healthcare domain, as the BMD has been developed and applied in the course of a joint project in the area of Personalized Medicine.

关键词： business model personalized medicine model-driven software development simplicity

来源：评论

学校读者我要写书评

暂无评论

A model-driven approach for REST compliant services 21

A model-driven approach for REST compliant services

引用

21st IEEE International Conference on Web Services (ICWS)

作者： Haupt, Florian Karastoyanova, Dimka Leymann, Frank Schroth, Benjamin Univ Stuttgart Inst Architecture Applicat Syst D-70569 Stuttgart Germany

ISBN: (纸本)9781479950546

The design of applications that comply to the REST architectural style requires observing a given set of architectural constraints. Following these constraints and therefore designing REST compliant applications is a non-trivial task often not fulfilled properly. There exist several approaches for the modeling and formal description of REST applications, but most of them do not pay any attention to how these approaches can support or even force REST compliance. In this paper we propose a model-driven approach for modeling REST services. We introduce a multi layered model which enables (partially) enforcing REST compliance by separating different concerns through separate models. We contribute a multi layered meta-model for REST applications, discuss the connection to REST compliance and show an implementation of our approach based on the proposed meta-model and method. As a result our approach provides a holistic method for the design and realization of REST applications exhibiting the desired level of compliance to the constraints of the REST architectural style.

关键词： REST architectural style compliance model-driven software development architectural constraints representational state transfer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：