Script: An Operational Semantics for Grid Computing Modeling

Script-o is an operational semantics of a modelling notation called Script. Script is a modelling language defined for grid computing. It provides popular and complicated grid behaviours in several simple reductions. Script-o follows the idea of Script but using a mathematical perspective. This paper firstly briefs Script and Script-o, secondly introduces the state of a model, the transactions which can changes the state and the mathematical functionalities, and finally shows the equivalence and translation from Script to Script-o.