eprintid: 910
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/09/10
datestamp: 2011-10-06 09:22:40
lastmod: 2011-10-06 09:28:54
status_changed: 2011-10-06 09:22:40
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Latella, Diego
creators_name: Loreti, Michele
creators_name: Massink, Mieke
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: SoSL: a service-oriented stochastic logic
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous works by the authors for formulating properties of systems specified in StoKlaim, a Markovian extension of Klaim. The main purpose of MoSL is addressing key functional aspects of network aware programming such as distribution awareness, mobility and security and to guarantee their integration with performance and dependability guarantees. In this paper we present SoSL, a variant of MoSL, designed for dealing with specific features of Service-Oriented Computing (SOC). We also show how SoSL formulae can be model-checked against systems descriptions expressed with MarCaSPiS, a process calculus designed for addressing quantitative aspects of SOC. In order to perform actual model checking, we rely on a dedicated front-end that uses existing state-based stochastic model-checkers, like e.g. the Markov Reward Model Checker (MRMC). 
date: 2011
date_type: published
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer-Verlag
pagerange: 447-466
id_number: doi:10.1007/978-3-642-20401-2_21
refereed: TRUE
isbn: 978-3-642-20400-5
issn: 0302-9743
book_title: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing
editors_name: Wirsing, Martin
editors_name: Hölzl, Matthias M.
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_21
projects: This work has been partially sponsored by the project Sensoria, IST-2005-016004. 
citation:   De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  SoSL: a service-oriented stochastic logic.   In:  Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing.   Lecture Notes in Computer Science  (6582).  Springer-Verlag, pp. 447-466.  ISBN 978-3-642-20400-5      (2011)