2011 | OriginalPaper | Buchkapitel
SoSL: A Service-Oriented Stochastic Logic
verfasst von : Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Erschienen in: Rigorous Software Engineering for Service-Oriented Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The Temporal
Mo
bile
S
tochastic
L
ogic (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).