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.
| Original language | English |
|---|---|
| Article number | 8747544 |
| Pages (from-to) | 151-160 |
| Number of pages | 10 |
| Journal | IEEE Transactions on Industrial Informatics |
| Volume | 16 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 1 Jan 2020 |
| MoE publication type | A1 Journal article-refereed |
Funding
3) Dynamicity: In the presented example, dynamic changes in presence of software behaviors is common due to, e.g., addition/removal of machines, failures, and the mobility of SANs. Thus, the underlying programming framework should support handling dynamic changes in terms of presence of software behaviors and enable their composition as the changes in the system happen. This requirement is supported by SOA features incorporated into the framework. 4) Functional Correctness: All operations should be per-formed correctly to support production process. The pro-gramming framework ideally should be based on formal foundations to allow the design of correct-by-design and verifiable software behaviors. This requirement can be satisfied by underpinning programming framework by a formal MoC. This requirement is supported by un-derpinning SOA-based features implemented by formal mechanisms of the SystemJ language.
Keywords
- Dynamic distributed software systems
- Manufacturing
- Reconfigurability
- Service oriented architecture (SOA)