the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature...
ISBN:
(纸本)9781450311298
the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature models from derived features;synthesizing iterators from abstraction functions;package templates: a definition by semantics-preserving source-to-source transformations to efficient java code;an inheritance system for structural & behavioral reuse in component-based software programming;a three-level component model in component based software development;pushouts in software architecture design;pol: specification-driven synthesis of architectural code frameworks for platform-based applications;faster program adaptation through reward attribution inference;and a calculus for modeling and implementing variation.
Power efficiency and predictable performance have become major concerns for cloud service providers as they significantly affect cloud adoption and tenancy cost. Providing guaranteed resources for predictable performa...
详细信息
Power efficiency and predictable performance have become major concerns for cloud service providers as they significantly affect cloud adoption and tenancy cost. Providing guaranteed resources for predictable performance in data centers drives the need for a request model which abstracts the traffic characteristics as well as the resource requirements of tenant applications. In this paper, we propose a novel Sliding Scheduled Tenant (SST) request model which enables tenants to request their resources for an estimated required time duration which can slide within a certain time-window. We investigate the power-efficient resource-guaranteed Virtual Machine (VM) -placement and routing problem for dynamically arriving SST requests. the problem requires provisioning of the specified resources in a data center for the required duration of requests by choosing an appropriate start- and end-time within their specified time-window, so as to maximize the number of accepted requests while consuming as low power as possible. We develop a mixed integer linear programming (MILP) optimization problem formulation based on the multi-component utilization-based power model. Since this problem which is a combination of VMplacement, scheduling and routing problems, is computationally rohibitive, we develop a fast and scalable heuristic algorithm. We demonstrate the effectiveness of the proposed algorithm and SST request model in terms of power saving and acceptance ratio through comprehensive simulation results.
One major problem in service design is the limited availability of information gathered during the development process. In particular, information on end-user requirements is difficult for designers, developers, and m...
详细信息
ISBN:
(纸本)9781479925056
One major problem in service design is the limited availability of information gathered during the development process. In particular, information on end-user requirements is difficult for designers, developers, and maintainers to access. Here, we provide a mechanism that supports the gathering and modeling of various types of information throughout the service and software development life cycle. As various existing tools focus on a particular part of the life cycle, essential information is not available, or it is more difficult to obtain in later stages. the linkage between information collected in the different stages is often lost. the implemented tool support enables the modeling of requirements;the abstraction of these requirements in the form of the required system functionalities, which can also be modeled;and the connection withcomponent-based software engineering to support the design of ICT-enabled services.
Approaches to improve software composition become remarkably important withthe gradual enlargement of software systems. Together with adaptation of component-based programming to cope with software complexity, extra-...
详细信息
ISBN:
(纸本)9783642323416
Approaches to improve software composition become remarkably important withthe gradual enlargement of software systems. Together with adaptation of component-based programming to cope with software complexity, extra-functional properties are playing a more important role. the problem addressed in this paper concerns an insufficient adoption of extra-functional properties into practise that consequently limits approaches to modularised software. As a solution this paper presents a comprehensive framework which enables the use of extra-functional properties in existing systems withthe promise to improve component application consistency. the framework is described in a formal manner and its practical application is shown on the Spring and OSGi component models.
We describe an experimental object-oriented programming language, ASL2, that supports program development by means of a series of abstraction steps. the language allows immediate object construction, and it is possibl...
详细信息
We describe an experimental object-oriented programming language, ASL2, that supports program development by means of a series of abstraction steps. the language allows immediate object construction, and it is possible to use the constructed objects for concrete problem solving tasks. Classes and class hierarchies can be derived from the objects - via gradual abstraction steps. We introduce two levels of object classification, called weak and strong object classification. Strong object classification relies on conventional classes, whereas weak object classification is looser, and less restrictive. As a central mechanism, weakly classified objects are allowed to borrow methods from each other. ASL2 supports class generalization, as a counterpart to class specialization and inheritance in mainstream object-oriented programming languages. the final abstraction step discussed in this paper is a syntactical abstraction step that derives a source file with a syntactical class form.
Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas sudde...
详细信息
Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas suddenly turn out inappropriate or the interplay of objects turns out more complex than initially expected before making changes. Programmers would benefit from tool support that provides immediate access to source code and run-time of previous development states of interest. We present IDE extensions, implemented for Squeak/Smalltalk, to preserve, retrieve, and work withthis information. With such tool support, programmers can work without worries because they can rely on tools that help them with whatever their explorations will reveal. they no longer have to follow certain best practices only to avoid undesired consequences of changing code.
Today's Internet is long past static web pages filled with HTML-formatted text sprinkled with an occasional image or animation. We have entered an era of Rich Internet Applications executed locally on Internet cli...
详细信息
Today's Internet is long past static web pages filled with HTML-formatted text sprinkled with an occasional image or animation. We have entered an era of Rich Internet Applications executed locally on Internet clients such as web browsers: games, physics engines, image rendering, photo editing, etc. Yet today's languages used to program Internet clients have limited ability to tap to the computational capabilities of the underlying, often heterogeneous, platforms. In this paper we present how a Domain Specific Language (DSL) can be integrated into ActionScript, one of the most popular scripting languages used to program Internet clients and a close cousin of JavaScript. We demonstrate how our DSL, called ASDP (ActionScript Data Parallel), can be used to enable data parallelism for existing sequential programs. We also present a prototype of a system where data parallel workloads can be executed on either CPU or a GPU, withthe runtime system transparently selecting the best processing unit, depending on the type of workload as well as the architecture and current load of the execution platform. We evaluate performance of our system on a variety of benchmarks, representing different types of workloads: physics, image processing, scientific computing and cryptography.
the proceedings contain 6 papers. the topics discussed include: exploring feature interactions in the wild: the new feature-interaction challenge;features, modularity, and variation points;executable modelling of dyna...
ISBN:
(纸本)9781450321686
the proceedings contain 6 papers. the topics discussed include: exploring feature interactions in the wild: the new feature-interaction challenge;features, modularity, and variation points;executable modelling of dynamic software product lines in the ABS language;an abstract representation of variational graphs;implementing refactorings for FOP lessons learned and challenges ahead;and program slicing to understand software generators.
this book constitutes the refereed proceedings of the 13thinternationalconference on Web engineering, ICWE 2013, held in Aalborg, Denmark, in July 2013. the 21 full research papers, 4 industry papers, and 11 short p...
ISBN:
(纸本)9783642392016
this book constitutes the refereed proceedings of the 13thinternationalconference on Web engineering, ICWE 2013, held in Aalborg, Denmark, in July 2013. the 21 full research papers, 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 92 submissions. the scientific program was completed with 7 workshops, 6 demonstrations and posters. the papers cover a wide spectrum of topics, such as, among others: web mining and knowledge extraction, semantic and linked data management, crawling and web research, model-driven web engineering, component-based web engineering, Rich Internet Applications (RIAs) and client-side programming, web services, and end-user development.
the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preproce...
ISBN:
(纸本)9781450306898
the proceedings contain 18 papers. the topics discussed include: tailoring dynamic software product lines;feature interactions, products, and composition;on the impact of feature dependencies when maintaining preprocessor-based software product lines;investigating the safe evolution of software product lines;static analysis of aspect interaction and composition in component models;infrastructure for component-based dds application development;generation of geometric programs specified by diagrams;model-driven engineering and run-time model-usage in service robotics;generating database migrations for evolving web applications;pragmatics for formal semantics;application of model based development to flexible code generation;Firepile: run-time compilation for GPUs in scala;and monitoring aspects for the customization of automatically generated code for big-step models.
暂无评论