Special Session on Industry 4.0

No abstract available

Eco‐Holonic 4.0 Circular Business Model to Conceptualize Sustainable Value Chain Towards Digital Transition

The purpose of this paper is to conceptualize a circular business model based on an Eco-Holonic Architecture, through the integration of circular economy and holonic principles. A conceptual model is developed to manage the complexity of integrating circular economy principles, digital transformation, and tools and frameworks for sustainability into business models. The proposed architecture is multilevel and multiscale in order to achieve the instantiation of the sustainable value chain in any territory. The architecture promotes the incorporation of circular economy and holonic principles into new circular business models. This integrated perspective of business model can support the design and upgrade of the manufacturing companies in their respective industrial sectors. The conceptual model proposed is based on activity theory that considers the interactions between technical and social systems and allows the mitigation of the metabolic rift that exists between natural and social metabolism. This study contributes to the existing literature on circular economy, circular business models and activity theory by considering holonic paradigm concerns, which have not been explored yet. This research also offers a unique holonic architecture of circular business model by considering different levels, relationships, dynamism and contextualization (territory) aspects

Multi-level agent-based modeling with the Influence Reaction principle

This paper deals with the specification and the implementation of multi-level agent-based models, using a formal model, IRM4MLS (an Influence Reaction Model for Multi-Level Simulation), based on the Influence Reaction principle. Proposed examples illustrate forms of top-down control in (multi-level) multi-agent based-simulations

An engineering framework for Service-Oriented Intelligent Manufacturing Systems

Nowadays fully integrated enterprises are being replaced by business networks in which each participant provides others with specialized services. As a result, the Service Oriented Manufacturing Systems emerges. These systems are complex and hard to engineer. The main source of complexity is the number of different technologies, standards, functions, protocols, and execution environments that must be integrated in order to realize them. This paper proposes a framework and associated engineering approach for assisting the system developers of Service Oriented Manufacturing Systems. The approach combines multi-agent system with Service Oriented Architectures for the development of intelligentautomation control and execution of manufacturing systems.Giret Boggino, AS.; Garcia Marques, ME.; Botti Navarro, VJ. (2016). An engineering framework for Service-Oriented Intelligent Manufacturing Systems. Computers in Industry. 81:116-127. doi:10.1016/j.compind.2016.02.002S1161278

The divergence of theoretical and actual designs in a holonic packing cell

The aim of this paper is to take the reader through the decisions made in designing a holonic system architecture to support customised packing of gift boxes with personal grooming (Gillette) products. The paper highlights issues that cause a divergence between a theoretical model of a holonic system and the approach that was actually encoded

A new approach for the validation of conceptual holonic constructions

The concepts of holon and holarchy were first applied in the manufacturing world to develop Holonic Manufacturing Systems. Since then, they have been used in many fields and have proved to be applicable concepts for developing applications in any business area. Resulting applications are based on conceptual holonic constructions. Like any model, a holarchy needs to be validated under real circumstances. Such validation assures the quality of the holarchy before it is implemented. In general, validation research tends to target: 1) the specific types of holons handled in each proposal and/or the selected development paradigms; and 2) algorithm performance rather than architecture quality. This paper proposes and evaluates a methodology that focuses on the quality of the architecture. This methodology is able to validate any holonic architecture built to meet trade requirements. Moreover, this is a general-purpose methodology. Therefore, the methodology would be valid for any domain and would not be invalidated by holon types and/or implementation paradigms emerging, changing or falling into disuse. For this purpose, we consider holonic architectures as conceptual models, using the pure holon and holarchy concepts and passing up not only any specific implementation paradigm but also any set of specific holon types

An Approach to Model Checking of Multi-agent Data Analysis

The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multi-agent data analysis system are expressed in logic LTL. We run several experiments with SPIN and the model.Comment: In Proceedings MOD* 2014, arXiv:1411.345

ADACOR: a holonic architecture for agile and adaptive manufacturing control

In the last decades significant changes in the manufacturing environment have been noticed: moving from a local economy towards a global economy, with markets asking for products with higher quality at lower costs, highly customised and with short life cycle. In these circumstances, the challenge is to develop manufacturing control systems with intelligence capabilities, fast adaptation to the environment changes and more robustness against the occurrence of disturbances. This paper presents an agile and adaptive manufacturing control architecture that addresses the need for the fast reaction to disturbances at the shop floor level, increasing the agility and flexibility of the enterprise, when it works in volatile environments. The proposed architecture introduces an adaptive control that balances dynamically between a more centralised structure and a more decentralised one, allowing combining the global production optimisation with agile reaction to unexpected disturbances