Extending SOSJ framework for large-scale dynamic manufacturing systems

This paper presents new changes and improvements in the architecture of a programming paradigm Service Oriented SystemJ (SOSJ) to tackle large distributed systems. The programming paradigm makes use of the synergy of two programming concepts of Service Oriented Architecture (SOA) suitable for dynamic system composition and formal GALS (Globally Asynchronous Locally Synchronous) language SystemJ amenable for designing safe static concurrent distributed systems. The use of SOSJ framework based on the new architecture is demonstrated in an industrial manufacturing example and initial benchmarks that evaluate the framework's performance in large distributed systems are shown.