A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems

Abstract

Dynamic reconfigurability and adaptability are crucial features of the future manufacturing systems that must be supported by adequate software technologies. Currently, they are typically achieved as add-ons to existing software tools and run-time systems, which are not based on any formal foundation such as formal model of computation (MoC). This paper presents the new programming paradigm of service oriented SystemJ (SOSJ), which targets dynamic distributed software systems suited for future manufacturing applications. SOSJ is built on a merger and the synergies of two programming concepts of service oriented architecture, to support dynamic software system composition, and SystemJ programming language based on a formal MoC, which targets correct by construction design of static distributed software systems. The resulting programming paradigm allows the design and implementation of dynamic distributed software systems.

Dynamical Orchestration and Configuration Services in Industrial IoT Systems: An Autonomic Approach

“…12 represent the order of information flow of the adaptation control loop. To be monitored by the Autonomic Adaptation System, the Application Systems have to send their data (conforming to the SenML format) to the Data Manager system which acts as the central storage for real/time monitoring data (1). The Autonomic Adaptation System will use these data from the Data Manager (2), transform, and update the KB as presented above.…”

“…Industry 4.0 promotes a new generation of manufacturing systems with integrated sensors and actuators that are used for process control at the factory floor [1]. These physical devices, together with industrial production machines, are managed by software systems interconnected through industrial networks and protocols.…”

Dynamic Adapter Connections for IEC 61499

“…The innate capability of the underlying control software technology to support dynamicity in automated production is considered crucial by [14]. Adding and removing components at runtime is a key concept in many component frameworks in the IT world such as OSGi 1 in multi-agent systems paradigm such as JADE [7]), and also in system-level programming paradigm such as Service Oriented SystemJ (SOSJ) [8] and libDGALS [9]. Service oriented architecture concept defines that components should be loosely coupled to allow for flexible reconfiguration.…”

Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory

“…The second architecture utilizes a novel service-oriented programming approach with a formal globally asynchronous locally synchronous (GALS) model of computation called SOSJ-OPC UA [8]. This approach is based on the synergy of formal GALS programming approach SystemJ [14] [15] / Service Oriented SystemJ [9] and OPC UA, allowing the creation of functionally correct, formally verifiable software control with vast interoperability, dynamic reconfiguration, and service discovery and composition based on OPC UA. In SOSJ-OPC UA, software control of each production resource is modular, in the form of asynchronous software components called clock domains (CDs), which are distributable over multiple control devices.…”