Browsing by Department "Information Technologies in Industrial Automation"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    A service-oriented programming approach for dynamic distributed manufacturing systems
    (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020-01-01) Atmojo, Udayanto Dwi; Salcic, Zoran; Wang, Kevin I-Kai; Vyatkin, Valeriy; Information Technologies in Industrial Automation; University of Auckland; Department of Electrical Engineering and Automation
    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.