This proceedings book presents selected peer-reviewed papers from the 9th International Workshop on 'Service Oriented, Holonic and Multi-agent Manufacturing Systems for the Industry of the Future' organized by Universitat Politecnica de Valencia, Spain, and held on October 3-4, 2019. The SOHOMA 2019 Workshop aimed to foster innovation in the digital transformation of manufacturing and logistics by promoting new concepts and methods and solutions through service orientation in holonic and agent-based control with distributed intelligence. The book provides insights into the theme of the SOHOMA'19 Workshop - 'Smart anything everywhere - the vertical and horizontal manufacturing integration, ' addressing 'Industry of the Future' (IoF), a term used to describe the 4th industrial revolution initiated by a new generation of adaptive, fully connected, analytical and highly efficient robotized manufacturing systems. This global IoF model describes a new stage of manufacturing, that is fully automatized and uses advanced information, communication and control technologies such as industrial IoT, cyber-physical production systems, cloud manufacturing, resource virtualization, product intelligence, and digital twin, edge and fog computing. It presents the IoF interconnection of distributed manufacturing entities using a 'system-of-systems' approach, discussing new types of highly interconnected and self-organizing production resources in the entire value chain; and new types of intelligent decision-making support based on from real-time production data collected from resources, products and machine learning processing. This book is intended for researchers and engineers working in the manufacturing value chain, and specialists developing computer-based control and robotics solutions for the 'Industry of the Future'. It is also a valuable resource for master's and Ph.D. students in engineering sciences programs.

Addressing the open problem of engineering normative open systems using the multi-agent paradigm, normative open systems are explained as systems in which heterogeneous and autonomous entities and institutions coexist in a complex social and legal framework that can evolve to address the different and often conflicting objectives of the many stakeholders involved. Presenting a software engineering approach which covers both the analysis and design of these kinds of systems, and which deals with the open issues in the area, ROMAS (Regulated Open Multi-Agent Systems) defines a specific multi-agent architecture, meta-model, methodology and CASE tool. This CASE tool is based on Model-Driven technology and integrates the graphical design with the formal verification of some properties of these systems by means of model checking techniques. Utilizing tables to enhance reader insights into the most important requirements for designing normative open multi-agent systems, the book also provides a detailed and easy to understand description of the ROMAS approach and the advantages of using ROMAS. This method is illustrated with case studies, in which the reader may develop a comprehensive understanding of applying ROMAS to a given problem. The case studies are presented with illustrations of the developments. Reading this book will help readers to understand the increasing demand for normative open systems and their development requirements; understand how multi-agent systems approaches can be used to deal with the development of systems of this kind; to learn an easy to use and complete engineering method for large-scale and complex normative systems and to recognize how Model-Driven technology can be used to integrate the analysis, design, verification and implementation of multi-agent systems.

ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design. ANEMONA defines a mixed top-down and bottom-up development process, and provides HMS-specific guidelines to help designers identify and implement holons. The analysis phase is defined in two stages: System Requirements Analysis, and Holon Identification and Specification. This analysis provides high-level HMS specifications, adopting a top-down recursive approach which provides a set of elementary elements and assembling rules. The next stage is Holon Design, a bottom-up process to produce the system architecture from the analysis models. The Holons Implementation stage produces an Executable Code for the SetUp and Configuration stage. Finally, maintenances functions are executed in the Operation and Maintenance stage. The book will be of interest to researchers and students involved in artificial intelligence and software engineering, and manufacturing engineers in industry and academia.

Addressing the open problem of engineering normative open systems using the multi-agent paradigm, normative open systems are explained as systems in which heterogeneous and autonomous entities and institutions coexist in a complex social and legal framework that can evolve to address the different and often conflicting objectives of the many stakeholders involved. Presenting  a software engineering approach which covers both the analysis and design of these kinds of systems, and which deals with the open issues in the area, ROMAS (Regulated Open Multi-Agent Systems) defines a specific multi-agent architecture, meta-model, methodology and CASE tool. This CASE tool is based on Model-Driven technology and integrates the graphical design with the formal verification of some properties of these systems by means of model checking techniques. Utilizing tables to enhance reader insights into the most important requirements for designing normative open multi-agent systems, the book also provides a detailed and easy to understand description of the ROMAS approach and the advantages of using ROMAS. This method is illustrated with case studies, in which the reader may develop a comprehensive understanding of applying ROMAS to a given problem. The case studies are presented with illustrations of the developments. Reading this book will help readers to understand the increasing demand for normative open systems and their development requirements; understand how multi-agent systems approaches can be used to deal with the development of systems of this kind; to learn an easy to use and complete engineering method for large-scale and complex normative systems and to recognize how Model-Driven technology can be used to integrate the analysis, design, verification and implementation of multi-agent systems.

ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design. ANEMONA defines a mixed top-down and bottom-up development process, and provides HMS-specific guidelines to help designers identify and implement holons. The analysis phase is defined in two stages: System Requirements Analysis, and Holon Identification and Specification. This analysis provides high-level HMS specifications, adopting a top-down recursive approach which provides a set of elementary elements and assembling rules. The next stage is Holon Design, a bottom-up process to produce the system architecture from the analysis models. The Holons Implementation stage produces an Executable Code for the SetUp and Configuration stage. Finally, maintenances functions are executed in the Operation and Maintenance stage. The book will be of interest to researchers and students involved in artificial intelligence and software engineering, and manufacturing engineers in industry and academia.