TY - JOUR
T1 - A service-oriented programming approach for dynamic distributed manufacturing systems
AU - Atmojo, Udayanto Dwi
AU - Salcic, Zoran
AU - Wang, Kevin I-Kai
AU - Vyatkin, Valeriy
PY - 2020/1/1
Y1 - 2020/1/1
N2 - 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.
AB - 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.
KW - Dynamic distributed software systems
KW - Manufacturing
KW - Reconfigurability
KW - Service oriented architecture (SOA)
UR - http://www.scopus.com/inward/record.url?scp=85078258743&partnerID=8YFLogxK
U2 - 10.1109/TII.2019.2919153
DO - 10.1109/TII.2019.2919153
M3 - Article
AN - SCOPUS:85078258743
SN - 1551-3203
VL - 16
SP - 151
EP - 160
JO - IEEE Transactions on Industrial Informatics
JF - IEEE Transactions on Industrial Informatics
IS - 1
M1 - 8747544
ER -