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

Not published at Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015
Publisher	IEEE
Pages	213-218
Number of pages	6
ISBN (Electronic)	9781467394697
DOIs	https://doi.org/10.1109/SOCA.2015.20
Publication status	Published - 3 Feb 2016
MoE publication type	A4 Article in a conference publication
Event	IEEE International Conference on Service-Oriented Computing and Applications - Rome, Italy Duration: 19 Oct 2015 → 21 Oct 2015 Conference number: 8

Conference

Conference	IEEE International Conference on Service-Oriented Computing and Applications
Abbreviated title	SOCA
Country	Italy
City	Rome
Period	19/10/2015 → 21/10/2015

Keywords

distributed systems
dynamic reconfigurable manufacturing
industrial automation
service oriented architecture

Access to Document

10.1109/SOCA.2015.20

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Extending SOSJ Framework for Reliable Dynamic Service-Oriented Systems (Short Paper)'. Together they form a unique fingerprint.

Cite this

@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). in Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015., 7399113, IEEE, pp. 213-218, IEEE International Conference on Service-Oriented Computing and Applications, Rome, Italy, 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. p. 213-218 7399113.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

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 contribution

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 -