SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES

2007 ◽  
Vol 18 (06) ◽  
pp. 1441-1452
Author(s):  
SHENG YU ◽  
QING ZHAO

In this paper, SC-expressions are developed, based on automata theory, for specifying synchronization constraints in parallel object-oriented languages. The predecessor of SC-expressions, the synchronization expressions, was introduced in the ParC parallel programming language in the early nineties [19]. However, ParC is not an object-oriented language and also a number of basic features of synchronization expressions are inadequate for object-oriented languages. SC-expressions are developed for object-oriented environment. They are different from synchronization expressions in basic ideas and assumptions. Here we describe the basic ideas of SC-expressions and their applications in object-oriented languages. We also study the problem of inheritance of the SC-expressions.

Author(s):  
Koji Zaiki ◽  
Akiyoshi Wakatani ◽  
Tadashi Okamoto ◽  
Katsuyuki Kaneko ◽  
Tatsuo Nogi

Author(s):  
Vincenzo De Florio

The programming language itself is the focus of this chapter: Fault-tolerance is not embedded in the program (as it is the case e.g. for single-version fault-tolerance), nor around the language (through compilers or translators); on the contrary, faulttolerance is provided through the syntactical structures and the run-time executives of fault-tolerance programming languages. Also in this case a significant part of the complexity of dependability enforcement is moved from each single code to the architecture, in this case the programming language. Many cases exist of fault-tolerance programming languages; this chapter proposes a few of them, considering three cases: Object-oriented languages, functional languages, and hybrid languages. In particular it is discussed the case of Oz, a multi-paradigm programming language that achieves both transparent distribution and translucent failure handling.


2007 ◽  
Vol 33 (10-11) ◽  
pp. 648-662 ◽  
Author(s):  
Patrick McCormick ◽  
Jeff Inman ◽  
James Ahrens ◽  
Jamaludin Mohd-Yusof ◽  
Greg Roth ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document