Extending SOSJ Framework for Reliable Dynamic Service-Oriented Systems (Short Paper)

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

  • The University of Auckland

Kuvaus

This paper presents enhancements of Service Oriented SystemJ (SOSJ) framework, which extends a system-level language based on GALS model of computation SystemJ with services, into a new programming paradigm amenable for designing dynamic distributed automation systems such as reconfigurable manufacturing systems. The new paradigm combines correct-by-construction software systems development available in SystemJ with the dynamic features of service oriented architecture. The new approach introduces macro states into fundamental concurrent and distributed entities of SOSJ, called clock domains, which address typical behaviors in dynamic distributed systems. We showcase the use of the new paradigm on an example of reconfigurable manufacturing scenarios in a dynamic manufacturing system.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015
TilaJulkaistu - 3 helmikuuta 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaIEEE International Conference on Service-Oriented Computing and Applications - Rome, Italia
Kesto: 19 lokakuuta 201521 lokakuuta 2015
Konferenssinumero: 8

Conference

ConferenceIEEE International Conference on Service-Oriented Computing and Applications
LyhennettäSOCA
MaaItalia
KaupunkiRome
Ajanjakso19/10/201521/10/2015

ID: 17157228