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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Automated continuous quality assurance

Automated continuous quality assurance

引用

Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

作者： Johannes Neubauer Bernhard Steffen Oliver Bauer Stephan Windmüller Maik Merten Tiziana Margaria Falk Howar Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product.

关键词： Testing Learning automata Monitoring Adaptation models Quality assurance Machine learning

来源：评论

学校读者我要写书评

暂无评论

Semantics-based composition of EMBOSS services

引用

Journal of Biomedical Semantics 2011年第1期2卷 1-21页

作者： Lamprecht, Anna-Lena Naujokat, Stefan Margaria, Tiziana Steffen, Bernhard Technical University Dortmund Chair for Programming Systems Dortmund D-44227 Germany Potsdam University Chair for Service and Software Engineering Potsdam D-14482 Germany

Background: More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, which is meant to address exactly this challenge, is currently one of the most ambitious projects in computer science. Collective efforts within the community have already led to a basis of standards for semantic service descriptions and meta-information. In combination with process synthesis and planning methods, such knowledge about types and services can facilitate the automatic composition of workflows for particular research questions. Results: In this study we apply the synthesis methodology that is available in the Bio-jETI workflow management framework for the semantics-based composition of EMBOSS services. EMBOSS (European Molecular Biology Open Software Suite) is a collection of 350 tools (March 2010) for various sequence analysis tasks, and thus a rich source of services and types that imply comprehensive domain models for planning and synthesis approaches. We use and compare two different setups of our EMBOSS synthesis domain: 1) a manually defined domain setup where an intuitive, high-level, semantically meaningful nomenclature is applied to describe the input/output behavior of the single EMBOSS tools and their classifications, and 2) a domain setup where this information has been automatically derived from the EMBOSS Ajax Command Definition (ACD) files and the EMBRACE Data and Methods ontology (EDAM). Our experiments demonstrate that these domain models in combination with our synthesis methodology greatly simplify working with the large, heterogeneous, and hence manually intractable EMBOSS collection. However, they also show that with the information that can be derived from the (current) ACD files and EDAM ontology alone, some essential connections between services can not be recognized. Conclusions: Our results show that adequate domain m

关键词： Service Description Synthesis Algorithm Input Type Synthesis Methodology Electronic Tool Integration

来源：评论

学校读者我要写书评

暂无评论

Leveraging Service-Orientation for Combining Code Generation Frameworks

Leveraging Service-Orientation for Combining Code Generation...

引用

IEEE International Conference on Engineering of Complex Computer systems

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

In this paper, we leverage service-orientation as a means for combining the strengths of the UML-based code generator framework AndroMDA for generating static application aspects with code generators focussing on the dynamic aspects. The latter are developed with Genesys, a code generation framework that combines the ideas of model-driven development and service-orientation in order to enable a high-level engineering of code generators. This demonstrates a new level of reusability and even has the potential for full code generation, which elegantly eliminates the need for the typical round-trip engineering in model-driven development environments. We demonstrate the applicability of our approach by means of an example from the field of bioinformatics.

关键词： Unified modeling language Generators Libraries Bioinformatics Web services Java Software

来源：评论

学校读者我要写书评

暂无评论

Tailoring Process Synthesis to Domain Characteristics

Tailoring Process Synthesis to Domain Characteristics

引用

IEEE International Conference on Engineering of Complex Computer systems

作者： Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Chair for Programming Systems Dortmund University Dortmund Germany

PROPHETS is our flexible framework for the synthesis of processes from libraries of basic services. In this paper we demonstrate how its synthesis strategy can be tailored to the considered application domain. For this purpose, PROPHETS provides a number of configuration options, such as different data exchange formats (e.g. shared variables and pipe lining) for the resulting process, as well as structural and temporal logic constraints for minimizing the inherent search space. We illustrate the impact of adequate synthesis tailoring by contrasting two real-life case studies with diametric characteristics.

关键词： Pipeline processing Libraries Taxonomy Biology programming Bioinformatics Semantics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：