A service-oriented programming approach for dynamic distributed manufacturing systems

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorAtmojo, Udayanto Dwien_US
dc.contributor.authorSalcic, Zoranen_US
dc.contributor.authorWang, Kevin I-Kaien_US
dc.contributor.authorVyatkin, Valeriyen_US
dc.contributor.departmentDepartment of Electrical Engineering and Automationen
dc.contributor.groupauthorInformation Technologies in Industrial Automationen
dc.contributor.organizationUniversity of Aucklanden_US
dc.date.accessioned2020-02-28T09:31:15Z
dc.date.available2020-02-28T09:31:15Z
dc.date.issued2020-01-01en_US
dc.description.abstractDynamic 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.en
dc.description.versionPeer revieweden
dc.format.extent10
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationAtmojo, U D, Salcic, Z, Wang, K I-K & Vyatkin, V 2020, 'A service-oriented programming approach for dynamic distributed manufacturing systems', IEEE Transactions on Industrial Informatics, vol. 16, no. 1, 8747544, pp. 151-160. https://doi.org/10.1109/TII.2019.2919153en
dc.identifier.doi10.1109/TII.2019.2919153en_US
dc.identifier.issn1551-3203
dc.identifier.issn1941-0050
dc.identifier.otherPURE UUID: f9e528f0-38cc-4e20-8ddb-1ee9d530c14den_US
dc.identifier.otherPURE ITEMURL: https://research.aalto.fi/en/publications/f9e528f0-38cc-4e20-8ddb-1ee9d530c14den_US
dc.identifier.otherPURE FILEURL: https://research.aalto.fi/files/41200930/ELEC_Atmojo_etal_A_Service_Oriented_Programming_IEEETraIndInf_16_1_2020_finalpublishedversion.pdf
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/43273
dc.identifier.urnURN:NBN:fi:aalto-202002282322
dc.language.isoenen
dc.publisherIEEE
dc.relation.fundinginfo3) 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.
dc.relation.ispartofseriesIEEE Transactions on Industrial Informaticsen
dc.relation.ispartofseriesVolume 16, issue 1, pp. 151-160en
dc.rightsopenAccessen
dc.subject.keywordDynamic distributed software systemsen_US
dc.subject.keywordManufacturingen_US
dc.subject.keywordReconfigurabilityen_US
dc.subject.keywordService oriented architecture (SOA)en_US
dc.titleA service-oriented programming approach for dynamic distributed manufacturing systemsen
dc.typeA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäfi
dc.type.versionpublishedVersion

Files

Collections

[article-cris] Sähkötekniikan korkeakoulu / ELEC