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

2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018

作者： Pietron, Jakob Raschke, Alexander Stegmaier, Michael Tichy, Matthias Rukzio, Enrico Institute of Software Engineering and Programming Languages Belgium Institute of Media Informatics Ulm University Ulm89081 Germany

Model-driven engineering aims at increasing the productivity of software engineering and the quality of the software. These positive results have been confirmed in several empirical studies. However, those studies also report that usability of model-driven engineering tools is generally considered to be poor. This is also the prevalent opinion on usability expressed in discussions in academica as well as in our collaborations with practitioners. Unfortunately, there are scarcely any empirical studies on identifying usability issues nor papers reporting on systematically evaluated usability improvements in model-driven engineering. In this paper, we present a study design template for identifying usability issues specifically in graphical editors. This template is grounded in usability research as well as empirical research methods. We illustrate the proposed study design on the example of identifying usability issues in a graphical editor for developing state machines. © 2018 CEUR-WS. All rights reserved.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Approaches for mastering change

Approaches for mastering change

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Schaefer, Ina Lochau, Malte Leucker, Martin Institute for Software Engineering and Automotive Informatics Technical University of Braunschweig Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9783642340253

Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software product line engineering [6,14]. Furthermore, software systems have to evolve over time in order to dealwith changing requirements which is referred to by the term temporal evolvability [10,13]. Additionally, modern software systems are designed to dynamically adapt their internal structure and behavior at runtime dependent on their environment in order to efficiently use the available resources, such as energy or computing power [5]. These three dimensions of change, static variability, temporal evolvability and dynamic adaptation, increase the complexity of system development in all phase, from requirements engineering and system design to implementation and quality assurance. In [15], the challenges of static variability and temporal evolution in all phases of the software development process are discussed. In [15], the engineering challenges of self-adaptive systems are described and future research directions are pointed out. © 2012 Springer-Verlag.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Experiences with an internal dsl in the iot domain 4

Experiences with an internal dsl in the iot domain

引用

4th Workshop on Model-Driven engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in software Language engineering, STAF-WS 2020

作者： Tichy, Matthias Pietron, Jakob Mdinger, David Juhnke, Katharina Hauck, Franz J. Institute of Software Engineering and Programming Languages Ulm University Germany Institute of Distributed Systems Ulm University Germany

Modeling the architecture and behavior of embedded systems has long been a success story in the engineering of embedded systems due to the positive effects on quality and productivity, e.g., by declarative specifications, by enabling formal analyses, and by the generation of optimized code. These benefits, however, can only be reaped with extensive investments in specialized languages and tools which typically come with a closed and highly restrictive ecosystem. In this paper, we report our experiences while building an internal domain-specific language for IoT systems. We present our modeling language realized in Type-Script and integrated into the TypeScript/JavaScript ecosystem. The modeling language supports the declarative specification and execution of components, connectors, and state machines. We also provide a simple state space exploration to enable quality assurance techniques like test case generation and model checking. The language is illustrated by a running example with IoT devices. We believe that our solution lies at a sweet spot of providing a declarative modeling experience while reaping benefits from modern programming languages and their ecosystem to boost productivity. © 2020 CEUR-WS. All rights reserved.

关键词： Productivity

来源：评论

学校读者我要写书评

暂无评论

A modeling framework for the development of provably secure E-commerce applications

A modeling framework for the development of provably secure ...

引用

2nd International Conference on software engineering Advances - ICSEA 2007

作者： Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 Augsburg Germany

ISBN: (纸本)0769529372

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical E-Commerce applications. We present an approach to model these applications with the unified modeling language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification. © 2007 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Digital Twin for Rescue Missions – a Case Study

Digital Twin for Rescue Missions – a Case Study

引用

2023 Workshop on Applications of Formal Methods and Digital Twins, FMDT 2023

作者： Leucker, Martin Sachenbacher, Martin Vosteen, Lars B. Institute for Software Engineering and Programming Languages Universität zu Lübeck Lübeck Germany

In this paper, we explain through a case study how to develop a digital twin that can be used for safety analysis of missions in physical contexts. More specifically, we consider a scenario where firefighters are operating inside a building under fire, but communicating online with a mission control station. One of the main tasks of the mission control is to ensure that the firefighters always have enough oxygen to exit the building safely. To this end, a Digital Twin can be created that reflects the physical structure of the burning building, the location of the firefighters and the oxygen level in their breathing apparatus. The Digital Twin uses these models and a shortest path algorithm to estimate the oxygen required to exit the building, and alerts mission control and the respective firefighter to exit the building on time. The case study is used to illustrate key concepts for building Digital Twins in safety-critical contexts. © 2023 CEUR-WS. All rights reserved.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Non-intrusive runtime verification within a system-on-chip

Ada User Journal

引用

Ada User Journal 2018年第4期39卷 296-299页

作者： Rufino, José Casimiro, António Lange, Felix Dino Leucker, Martin Scheffel, Torben Schmitz, Malte Thoma, Daniel LASIGE Faculdade de Ciências Universidade de Lisboa Portugal Institute for Software Engineering and Programming Languages Universität zu Lübeck Lübeck Germany

This paper describes how to enrich a System-on-Chip (SoC) design by flexible monitoring capabilities allowing to analyze the system's execution for ensuring safety requirements. To this end, a general SoC architecture is described enriched by observation means. Moreover, it is described how verification properties expressed in a temporal stream-based specification language can be translated into a monitor expressed in a hardware description language (Verilog) checking the underlying property. Finally, the link between the SoC and the monitoring unit is explained. Overall, a self-observing system is obtained that works coherently with the SoC. © 2018 *** rights reserved.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

The Business Experiments Navigator (BEN)

The Business Experiments Navigator (BEN)

引用

2018 IEEE International Conference on engineering, Technology and Innovation, ICE/ITMC 2018

作者： Gutbrod, Matthias Munch, Jurgen Tichy, Matthias Faculty of Informatics Reutlingen University Reutlingen Germany Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

ISBN: (纸本)9781538614693

Early reduction of risks in a startup or an innovation project is highly important. Appropriate means for risk reduction, such as testing business models with different kinds of experiments exist. However, deciding what to test and how to select the right test, is challenging for many startups and innovation projects. This article presents the so-called Business Experiments Navigator (BEN), a toolkit to assist startup and innovation processes. It compliments other tools such as the Business Model Canvas or the Lean Startup process. The main contribution of BEN is to bridge the gap between the riskiest assumptions of a business model and the multitude of available testing techniques by providing assumption templates. The Business Experiments Navigator has been validated in several workshops. Results show that it creates awareness among the workshop participants that a business model is based on assumptions, which impose risks and need to be validated. Further, users of BEN were able to identify relevant assumptions and map different kinds of assumptions to appropriate testing techniques. The process applied in the workshops, as well as the assumption templates, helped the participants understand the main concepts and transfer their learnings, to their own business ideas. © 2018 IEEE.

关键词： Systems engineering

来源：评论

学校读者我要写书评

暂无评论

An investigation of technical debt in automatic production systems 17

An investigation of technical debt in automatic production s...

引用

2017 XP Scientific Workshops, XP 2017

作者： Besker, Terese Martini, Antonio Bosch, Jan Tichy, Matthias Chalmers University of Technology Computer Science and Engineering Gothenburg Sweden Ulm University Institute of Software Engineering and Programming Languages Ulm Germany

ISBN: (纸本)9781450352642

Technical Debt is a recent concept, borrowed from the financial domain. It has been recently used in software development to describe technical sub-optimal solutions that have short-term benefits but long-term extra-costs. However, no body of literature investigates how Automatic Production Systems companies deal with Technical Debt. We investigated how Technical Debt is known, how much it hurts and how is managed in an automatic production systems company. Results from one in-depth investigation show that the automatic production systems company spend quite a lot of resources because of Technical Debt, both in the extra-costs (interest) and in its management. The company presents moderate awareness of what Technical Debt is and how much is present in its systems. However, the tracking level is quite low. We, therefore, claim that Technical Debt needs more research in this domain, as it is a source of substantial extracosts and the current practices to manage it are not suitable. © 2017 Association for Computing Machinery.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Improving Collaborative Modeling by an Operation-Based Versioning Approach

Improving Collaborative Modeling by an Operation-Based Versi...

引用

2024 software engineering, SE 2024

作者： Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias University of Antwerp Flanders Make Antwerp Belgium Ulm University Institute of Software Engineering and Programming Languages Ulm Germany

ISBN: (纸本)9783885797371

The presented work concerns our recent research on advanced collaboration and versioning techniques supporting blended modeling, originally published in the Journal of Computer languages in August 2023 [Ex23]. Collaboration is a rising topic not only but also in the domain of model-driven engineering. The more collaborators working together on a joint model or artifact, the more adequate tooling becomes important, especially if the collaborators use different, but for their specific task most appropriate notations/concrete syntaxes (CS) simultaneously. The presented approach supports collaboration in this context by applying and extending operation-based versioning to support bidirectional change propagation between multiple CSs and a common single abstract syntax (AS). We further broaden the topic of our talk by presenting benefits for the user of modeling tools introduced by operation-based versioning and the information included in the recorded operations. We especially focus on how we facilitate the comprehension of a model’s evolution over time and the impact of a distinct edit operation on the whole model. This allows modelers to understand how, why, when, and by whom the model or specific elements were modified [PFT22]. © 2024 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Blended Modeling Collaboration Evolution Modeling Understandability Versioning

来源：评论

学校读者我要写书评

暂无评论

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab

A Digital Twin for Coupling Mobility and Energy Optimization...

引用

2023 Workshop on Applications of Formal Methods and Digital Twins, FMDT 2023

作者： Thoma, Daniel Sachenbacher, Martin Leucker, Martin Ali, Aliyu Tanko Institute for Software Engineering and Programming Languages University of Lübeck Ratzeburger Allee 160 Lübeck23562 Germany

This paper presents a use case in the energy domain showing the benefits of digital twins. More specifically, we study the problem of peak shaving, which aims for managing a micro power grid in such a way that the energy demanded from the surrounding global power grid does not exceed certain limits. We examine a living lab consisting of university buildings as power consumers and power buffers in forms of fixed installed batteries as well as power-to-grid capable electrical vehicles that are booked by users. We provide a formal model of the relevant aspects of the micro grid and show how an artificial intelligence based prediction established from historical data as well as suitable simulation and optimization algorithms help to improve peak shaving. © 2023 CEUR-WS. All rights reserved.

关键词： Charging (batteries)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：