SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio))

Type

• Contributo in volume (capitolo o saggio) (Classe)
• Prodotto della ricerca (Classe)

Label

• SoSL: A Service-Oriented Stochastic Logic (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-20401-2_21 (literal)

Alternative label

• De Nicola R., Latella D., Loreti M., Massink M. (2011)
  SoSL: A Service-Oriented Stochastic Logic
  Springer-Verlag Berlin, Berlin (Germania) in Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing,, 2011
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• De Nicola R., Latella D., Loreti M., Massink M. (literal)

Pagina inizio

• 447 (literal)

Pagina fine

• 466 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007/978-3-642-20401-2_21 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 6582 (literal)

Note

• ISI Web of Science (WOS) (literal)
• PuMa (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Università di Firenze, Italy; CNR-ISTI, Pisa, Italy; Università di Firenze, Italy; CNR-ISTI, Pisa, Italy (literal)

Titolo

• SoSL: A Service-Oriented Stochastic Logic (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-20400-5 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Martin Wirsing, Matthias Hölzl (literal)

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). (literal)

Editore

• Springer-Verlag Berlin (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "SoSL: A Service-Oriented Stochastic Logic" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• Springer-Verlag Berlin (Editore)

Insieme di parole chiave di

• Parole chiave di "SoSL: A Service-Oriented Stochastic Logic" (Insieme di parole chiave)