Abstract
One of the key challenges in modern manufacturing systems is how to dynamically reconfigure software behaviours that govern machines to reflect changes in physical manufacturing process without completely resetting the entire manufacturing operation. The existing software solutions used to describe software behaviours in manufacturing systems are typically not based on formal semantics and model of computation and have limited capabilities in handling dynamic adaptation/reconfiguration. This paper presents the Service Oriented SystemJ (SOSJ) framework that supports a new programming paradigm for designing dynamic distributed manufacturing systems. SOSJ combines the system-level language SystemJ and service oriented architecture (SOA) paradigm to take advantages of both SystemJ's correct-by-construction formal semantics and SOA's dynamic features, respectively. The paper describes the concepts and functionalities of SOSJ which enable dynamic reconfiguration of a typical manufacturing system. Performance benchmarks are run to compare the capabilities of SOSJ to a multi-agent system framework JADE.
| Original language | English |
|---|---|
| Pages (from-to) | 2353 - 2363 |
| Number of pages | 10 |
| Journal | IEEE Transactions on Industrial Informatics |
| Volume | 14 |
| Issue number | 6 |
| Early online date | 19 Feb 2018 |
| DOIs | |
| Publication status | Published - Jun 2018 |
| MoE publication type | A1 Journal article-refereed |
Keywords
- dynamic software systems
- industrial manufacturing
- Manufacturing systems
- Programming
- reconfiguration
- Semantics
- Semiconductor optical amplifiers
- service oriented architecture
- Service-oriented architecture