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

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Sven Jörges Bernhard Steffen Chair of Programming Systems TU Dortmund University Dortmund Germany

This paper shows how the reflexivity of Ecore can be exploited for incrementally bootstrapping domain-specific code generators in the model-driven and service-oriented code generation framework Genesys. Key to this technology is the EMF SIB Generator, which, based on a very small set of manually written code generator services called SIBs, incrementally generates services in a bootstrapping fashion. To this end, it leverages Ecore's metamodel, which is specified in Ecore itself, to iteratively enlarge the set of SIBs until all concepts of Ecore are covered. On this basis, the EMF SIB Generator can then be used to generate all services required for constructing a corresponding code generator for any given metamodel specified in Ecore. This approach can be staightforwardly applied to arbitrary metalevels and elegantly enables the model-driven and service-oriented construction of code generators for Ecore-based domain-specific languages.

关键词： Unified modeling language Biological system modeling Generators Taxonomy DSL Media Catalogs

来源：评论

学校读者我要写书评

暂无评论

Simplified Validation of Emergent systems through Automata Learning-Based Testing

Simplified Validation of Emergent Systems through Automata L...

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Bernhard Steffen Johannes Neubauer Chair of Programming Systems Technische Universität Dortmund Germany

In this paper we present a novel approach to the test-based validation of complex heterogeneous applications which is tailored to simplify the requirements for the responsible personnel. Key to our approach is to automate the corresponding testing procedure by means of active automata learning. This replaces typical prerequisites like manual test construction or the provision of adequate test models by the definition of an adequate learning alphabet. In practice this typically means by providing representative data for the parameters of the relevant API calls. Besides its simplicity this approach also guarantees that the testing procedure automatically adapts to system modifications, which makes it an ideal tool for dealing with evolving systems of unknown emergent behaviour, as will be illlustrated along the Online Conference System (OCS), a model-driven and service-oriented online conference manuscript submission and review system.

关键词： programming Testing Software Adaptation models Learning automata Navigation Communities

来源：评论

学校读者我要写书评

暂无评论

Offline Validation of Firewalls

Offline Validation of Firewalls

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Stephan Windmuller Chair for Programming Systems Technical University Dortmund Dortmund Germany

This paper introduces a simulation environment for testing firewall configurations without the need of an actual, complex network setup. It assists the user in defining the required rule set based on an existing, informal security concept and in validating the resulting setup virtually. Configurations consisting of network hosts and permitted or not permitted services are modeled using a graphical environment. A framework which supports model-driven development is used to visualize the resulting configuration in a single graph. Existing plug-ins can be used to check single nodes or the whole graph using model checking. Additionally it is possible to simulate the packet flow and track errors without actually setting up one of the network devices. Test cases may be defined manually, produced by an automatic packet generator or even imported from previously captured, genuine network traffic. Multiple operating systems and firewall products are supported without forcing the user to learn the implementation details between them.

关键词： Fires Security XML Servers Electronic mail Workstations Saturn

来源：评论

学校读者我要写书评

暂无评论

Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective

Requirement-Driven Evaluation of Remote ERP-System Solutions...

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Markus Doedt Bernhard Steffen Chair of Programming Systems Technical University Dortmund Dortmund Germany

This paper systematically evaluates four different APIs provided by popular ERP systems (SAP BAPI, SAP eSOA, Microsoft Dynamics NAV and Intuit Quick books) according to their potential for service-oriented enterprise application integration. Central is here the quality of access to and control of their business objects for developing complex business processes in a service oriented landscape. In an ideal world this development should be directly in the hands of the application/business experts, and thus be possible without coding. This can only work if the technical APIs can (semi-) automatically be bridged to a level an application expert can master, which leads to additional API requirements. Our evaluation reveals that the currently still quite unsatisfactory quality of the APIs very much reflects the business profile of each ERP solution. We are therefore convinced that, with changing market conditions, future ERP solutions will live up to the identified requirements.

关键词： Documentation Marketing and sales Graphical user interfaces Companies Java Software

来源：评论

学校读者我要写书评

暂无评论

An Evaluation of Service Integration Approaches of Business Process Management systems

An Evaluation of Service Integration Approaches of Business ...

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Markus Doedt Bernhard Steffen Chair of Programming Systems TU Dortmund University Dortmund Germany

In this paper, we evaluate and categorize how five representative, Java-based, state-of-the-art business process management systems, namely jBPM (4.x and 5.x), Activiti, AristaFlow and jABC, realize the integration of services. In particular, we show that the use of domain specific business activities is the currently most sophisticated technique for integrating services in business processes, and describe what they consist of, how they are created, how they can be organized and how they are used. This sheds light on the corresponding state-of-the-art, and shows that, in particular the supposedly big players, have quite some room for improvement.

关键词： Business Java Standards Context Technical activities Simple object access protocol

来源：评论

学校读者我要写书评

暂无评论

LearnLib: A library for automata learning and experimentation

LearnLib: A library for automata learning and experimentatio...

引用

FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical systems

作者： Raffelt, Harald Steffen, Bernhard Berg, Therese University of Dortmund Chair of Programming Systems Baroper Str. 301 44227 Dortmund Germany Department of Information Technology Uppsala University S-751 05 Uppsala Sweden

ISBN: (纸本)1595931481

In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. Copyright 2005 ACM.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Dynamic testing via automata learning

引用

International Journal on Software Tools for Technology Transfer 2009年第4期11卷 307-324页

作者： Raffelt, Harald Merten, Maik Steffen, Bernhard Margaria, Tiziana TU Dortmund Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Potsdam Germany

This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost without prerequisites. Based on interface descriptions and optional sample test cases, our method successively explores the system under test (SUT), in order to extrapolate a behavioural model. This is in turn used to steer the further exploration process. Due to the applied learning technique, our method is optimal in the sense that the extrapolated models are most concise (i.e. state minimal) in consistently representing all the information gathered during the exploration. Using the LearnLib, our framework for automata learning, our method can be elegantly combined with numerous optimisations of the learning procedure, with various choices of model structures, and with the option of dynamically/interactively enlarging the alphabet underlying the learning process. The latter is important in the Web context, where totally new situations may arise when following links. All these features are illustrated using as a case study the web application Mantis, a bug tracking system widely used in practice. In addition, we present another case study that demonstrates the scalability of the approach. We show how the dynamic testing procedure works and how behavioural models arise that concisely summarize the current testing effort. It turns out that these models reveal the system structure from a user perspective. Besides steering the automatic exploration process, they are ideal for user guidance and to support analyses to improve the system understanding, as they reveal the system structure from a user perspective.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Second-Order Semantic Web

Second-Order Semantic Web

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： T. Margaria B. Steffen Universität Gottingen Germany Chair of Programming Systems University of Dortmund Germany

We propose a framework for top-down Web service interoperation based on an aggressive version of model-driven development (AMDD). The point here is to govern the construction and customization of complex Web applications at the model level in a framework that allows application experts to directly formulate their desires in an adequate way. Adequate means in this context that applications can be automatically validated, executed, tested, and deployed by the application experts, inside a framework that takes care also of second-order concerns. Our approach, which focuses on functionalities as the basic entities of the design space is tailored to make second order issues like interoperation, distribution, and compatibility simple for the many, difficult for the few: simple for the many, as the advocated approach hides most of the intricate second-order issues from the application designer, and difficult for the few, as these issues must be dealt with by means of complex compilation, synthesis or technology mappings. Our experience indicates that this approach has the potential to cover and thereby drastically simplify the bulk of modern Web application development and customization

关键词： Semantic Web Application software Web services Ontologies Automatic logic units Automatic testing Collaboration Ubiquitous computing Computer languages Hardware

来源：评论

学校读者我要写书评

暂无评论

Simplicity principles for plug-in development: The jABC approach

Simplicity principles for plug-in development: The jABC appr...

引用

Workshop on Developing Tools as Plug-ins (TOPI)

作者： Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Sven Jörges Tiziana Margaria Chair for Programming Systems Technical University Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for “lightweight plug-in development”, that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins.

关键词： Generators Semantics programming Data models Java Load modeling Next generation networking

来源：评论

学校读者我要写书评

暂无评论

Context Classification in Dialog-Based Interaction

Context Classification in Dialog-Based Interaction

引用

International Conference on Semantic Computing

作者： Alexander Wachtel Felix Eurich Dominik Fuchß Walter F. Tichy Chair for Programming Systems Karlsruhe Institute of Technology Karlsruhe Germany Karlsruhe Institute of Technology

ISBN: (数字)9781728163321

ISBN: (纸本)9781728163338

A difficulty in processing of the natural language is recognizing the context of a statement. However, since this contains implicit knowledge which we unconsciously use in our formulations, it is necessary to assign the context for correct interpretation. A context in our system is managed by a service that interprets and processes input and provides feedback to the end user. In this paper, we present a solution how an end user input can be assigned to such a service. For this purpose, we score the end user inputs by the system with an ensemble of 6 different classifiers that consider semantics as well as syntax. The system learns the user's input at run time and adapts his enunciation step by step. During the evaluation, the system was able to classified 87% of the user statements to the correct service. Far from perfect, this research might lead to fundamental changes in computer use.

关键词： Natural languages Syntactics History Semantics programming Software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：