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 e...
详细信息
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.
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 applicati...
详细信息
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
With MaTRICS, we describe an architecture for pervasive management of distributed systems. It allows remotely connected users (e.g., system administrators) to modify the configuration of any service provided by a spec...
详细信息
With MaTRICS, we describe an architecture for pervasive management of distributed systems. It allows remotely connected users (e.g., system administrators) to modify the configuration of any service provided by a specific (application) server, like email-, news- or Web-servers. Novel to our approach is that the system can manage configuration processes on heterogeneous software- and hardware- platforms, which are performed from a variety of peripherals unmatched in today's practice. In this sense, we realize a sort of pervasive system management, where devices like mobile phones, faxes, PDAs are enabled to be used by system managers as remote system configuration and management tools.
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software enginee...
详细信息
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software engineering, and, in particular, for the future role of formal methods in this area.
We show how our integrated test environment can be used for the validation of evolving Internet services, since it captures the (re-)configuration phase preceding the 'classical' steady state usage. This capab...
详细信息
We show how our integrated test environment can be used for the validation of evolving Internet services, since it captures the (re-)configuration phase preceding the 'classical' steady state usage. This capability is extremely important to test applications and products based on the high-end HICOM switch family: via a specific application they allow the remote, web-browser and Internet-based configuration of services built upon a new-generation, virtual switch. The paper illustrates this capability while focussing on the challenge of dealing with high availability systems.
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O...
详细信息
ISBN:
(数字)9783642347818
ISBN:
(纸本)9783642347801
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
暂无评论