Cloud-based manufacturing-as-a-service environment for customized products

This paper describes the paradigm of cloud-based services which are used to envisage a new generation of configurable manufacturing systems. Unlike previous approaches to mass customization (that simply reprogram individual machines to produce specific shapes) the system reported here is intended to enable the customized production of technologically complex products by dynamically configuring a manufacturing supply chain. In order to realize such a system, the resources (i.e. production capabilities) have to be designed to support collaboration throughout the whole production network, including their adaption to customer-specific production. The flexible service composition as well as the appropriate IT services required for its realization show many analogies with common cloud computing approaches. For this reason, this paper describes the motivation and challenges that are related to cloud-based manufacturing and illustrates emerging technologies supporting this vision byestablishing an appropriate Manufacturing-as-a-Service environment based on manufacturing service descriptions

SLA-Oriented Resource Provisioning for Cloud Computing: Challenges, Architecture, and Solutions

Cloud computing systems promise to offer subscription-oriented, enterprise-quality computing services to users worldwide. With the increased demand for delivering services to a large number of users, they need to offer differentiated services to users and meet their quality expectations. Existing resource management systems in data centers are yet to support Service Level Agreement (SLA)-oriented resource allocation, and thus need to be enhanced to realize cloud computing and utility computing. In addition, no work has been done to collectively incorporate customer-driven service management, computational risk management, and autonomic resource management into a market-based resource management system to target the rapidly changing enterprise requirements of Cloud computing. This paper presents vision, challenges, and architectural elements of SLA-oriented resource management. The proposed architecture supports integration of marketbased provisioning policies and virtualisation technologies for flexible allocation of resources to applications. The performance results obtained from our working prototype system shows the feasibility and effectiveness of SLA-based resource provisioning in Clouds.Comment: 10 pages, 7 figures, Conference Keynote Paper: 2011 IEEE International Conference on Cloud and Service Computing (CSC 2011, IEEE Press, USA), Hong Kong, China, December 12-14, 201

PlinyCompute: A Platform for High-Performance, Distributed, Data-Intensive Tool Development

This paper describes PlinyCompute, a system for development of high-performance, data-intensive, distributed computing tools and libraries. In the large, PlinyCompute presents the programmer with a very high-level, declarative interface, relying on automatic, relational-database style optimization to figure out how to stage distributed computations. However, in the small, PlinyCompute presents the capable systems programmer with a persistent object data model and API (the "PC object model") and associated memory management system that has been designed from the ground-up for high performance, distributed, data-intensive computing. This contrasts with most other Big Data systems, which are constructed on top of the Java Virtual Machine (JVM), and hence must at least partially cede performance-critical concerns such as memory management (including layout and de/allocation) and virtual method/function dispatch to the JVM. This hybrid approach---declarative in the large, trusting the programmer's ability to utilize PC object model efficiently in the small---results in a system that is ideal for the development of reusable, data-intensive tools and libraries. Through extensive benchmarking, we show that implementing complex objects manipulation and non-trivial, library-style computations on top of PlinyCompute can result in a speedup of 2x to more than 50x or more compared to equivalent implementations on Spark.Comment: 48 pages, including references and Appendi

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

A front-end system to support cloud-based manufacturing of customised products

In today’s global market, customized products are amongst an important means to address diverse customer demand and in achieving a unique competitive advantage. Key enablers of this approach are existing product configuration and supporting IT-based manufacturing systems. As a proposed advancement, it considered that the development of a front-end system with a next level of integration to a cloud-based manufacturing infrastructure is able to better support the specification and on-demand manufacture of customized products. In this paper, a new paradigm of Manufacturing-as-a-Service (MaaS) environment is introduced and highlights the current research challenges in the configuration of customizable products. Furthermore, the latest development of the front-end system is reported with a view towards further work in the research