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.
Highlights
I NDUSTRY 4.0 promotes a new breed of manufacturing systems comprising automated industrial machines extended with additional sensors and actuators in sensor and/or actuator nodes (SANs)
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 model of computation (MoC), which targets correct by construction design of static distributed software systems
Summary
I NDUSTRY 4.0 promotes a new breed of manufacturing systems comprising automated industrial machines extended with additional sensors and actuators in sensor and/or actuator nodes (SANs). Despite increased interest in using SOA in manufacturing applications, they lack formal underpinnings or MoCs. The formal MoC-based approach of SystemJ [14] enables the design of safe, correct-by-construction concurrent software behaviors and their use in distributed manufacturing systems. The formal MoC-based approach of SystemJ [14] enables the design of safe, correct-by-construction concurrent software behaviors and their use in distributed manufacturing systems It is only suited for static distributed systems, where software behaviors are specified at the design time and do not change during system operation [15]. This paper for the first time presents a complete description of the integral SOSJ framework for dynamic distributed systems design and a comprehensive performance evaluation and comparison between SOSJ and a SOA-only based framework WS4D JMEDS [16] in handling SOA features.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
