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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units

  • The University of Auckland


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 languageEnglish
Title of host publicationProceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015
Publication statusPublished - 3 Feb 2016
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Service-Oriented Computing and Applications - Rome, Italy
Duration: 19 Oct 201521 Oct 2015
Conference number: 8


ConferenceIEEE International Conference on Service-Oriented Computing and Applications
Abbreviated titleSOCA

    Research areas

  • distributed systems, dynamic reconfigurable manufacturing, industrial automation, service oriented architecture

ID: 17157228