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

Udayanto Dwi Atmojo; Zoran Salcic; Kevin I.Kai Wang

doi:10.1109/SOCA.2015.20

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

Udayanto Dwi Atmojo, Zoran Salcic, Kevin I.Kai Wang

Ei julkaistu Aalto-yliopiston affiliaatiolla

The University of Auckland

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

4 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015
Kustantaja	IEEE
Sivut	213-218
Sivumäärä	6
ISBN (elektroninen)	9781467394697
DOI - pysyväislinkit	https://doi.org/10.1109/SOCA.2015.20
Tila	Julkaistu - 3 helmik. 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	IEEE International Conference on Service-Oriented Computing and Applications - Rome, Italia Kesto: 19 lokak. 2015 → 21 lokak. 2015 Konferenssinumero: 8

Conference

Conference	IEEE International Conference on Service-Oriented Computing and Applications
Lyhennettä	SOCA
Maa/Alue	Italia
Kaupunki	Rome
Ajanjakso	19/10/2015 → 21/10/2015

Pääsy asiakirjaan

10.1109/SOCA.2015.20

Muut tiedostot ja linkit

Link to publication in Scopus

Siteeraa tätä

@inproceedings{45cb10c49ac6485a9de6bd75c5625bf7,

title = "Extending SOSJ Framework for Reliable Dynamic Service-Oriented Systems (Short Paper)",

abstract = "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.",

keywords = "distributed systems, dynamic reconfigurable manufacturing, industrial automation, service oriented architecture",

author = "Atmojo, {Udayanto Dwi} and Zoran Salcic and Wang, {Kevin I.Kai}",

year = "2016",

month = feb,

day = "3",

doi = "10.1109/SOCA.2015.20",

language = "English",

pages = "213--218",

booktitle = "Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015",

publisher = "IEEE",

address = "United States",

note = "IEEE International Conference on Service-Oriented Computing and Applications, SOCA ; Conference date: 19-10-2015 Through 21-10-2015",

}

Atmojo, UD, Salcic, Z & Wang, KIK 2016, Extending SOSJ Framework for Reliable Dynamic Service-Oriented Systems (Short Paper). julkaisussa Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015., 7399113, IEEE, Sivut 213-218, IEEE International Conference on Service-Oriented Computing and Applications, Rome, Italia, 19/10/2015. https://doi.org/10.1109/SOCA.2015.20

Extending SOSJ Framework for Reliable Dynamic Service-Oriented Systems (Short Paper). / Atmojo, Udayanto Dwi; Salcic, Zoran; Wang, Kevin I.Kai.
Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015. IEEE, 2016. s. 213-218 7399113.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

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

AU - Atmojo, Udayanto Dwi

AU - Salcic, Zoran

AU - Wang, Kevin I.Kai

N1 - Conference code: 8

PY - 2016/2/3

Y1 - 2016/2/3

N2 - 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.

AB - 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.

KW - distributed systems

KW - dynamic reconfigurable manufacturing

KW - industrial automation

KW - service oriented architecture

UR - http://www.scopus.com/inward/record.url?scp=84964819145&partnerID=8YFLogxK

U2 - 10.1109/SOCA.2015.20

DO - 10.1109/SOCA.2015.20

M3 - Conference article in proceedings

AN - SCOPUS:84964819145

SP - 213

EP - 218

BT - Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015

PB - IEEE

T2 - IEEE International Conference on Service-Oriented Computing and Applications

Y2 - 19 October 2015 through 21 October 2015

ER -

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

Abstrakti

Conference

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä