Error Handling: From Theory to Practice

Ivan Lanese, Fabrizio Montesi [2010].
In proceedings of ISoLA (2) 2010, pp. 66-81.

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.

Links

doi.org

Additional notes

None

Cite (BibTeX)

Click to expand

@inproceedings{DBLP:conf/isola/LaneseM10,
  author       = {Ivan Lanese and
                  Fabrizio Montesi},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Error Handling: From Theory to Practice},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6416},
  pages        = {66--81},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16561-0\_13},
  doi          = {10.1007/978-3-642-16561-0\_13},
  timestamp    = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LaneseM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

A PDF is available (possibly a preprint):

Some data from DBLP and Crossref.