We describe the different issues that a language designer has to tackle when defining error handling mechanisms for service-oriented computing. We first discuss the issues that have to be considered when developing error handling mechanisms inside a process calculus, i.e. an abstract model. We then analyze how these issues change when moving from a process calculus to a full-fledged language based on it. We consider as an example the language Jolie, and the calculus SOCK it is based upon.
Error Handling: From Theory to Practice / I. LANESE; F. MONTESI. - STAMPA. - 6416:(2010), pp. 66-81. (Intervento presentato al convegno 4th International Symposium on Leveraging Applications, ISoLA 2010 tenutosi a Heraklion, Crete, Greece nel 18-21/10/2010) [10.1007/978-3-642-16561-0_13].
Error Handling: From Theory to Practice
LANESE, IVAN;MONTESI, FABRIZIO
2010
Abstract
We describe the different issues that a language designer has to tackle when defining error handling mechanisms for service-oriented computing. We first discuss the issues that have to be considered when developing error handling mechanisms inside a process calculus, i.e. an abstract model. We then analyze how these issues change when moving from a process calculus to a full-fledged language based on it. We consider as an example the language Jolie, and the calculus SOCK it is based upon.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.