DocumentCode
3467150
Title
Maximality semantics based stochastic process algebra for performance evaluation
Author
Arous, M. ; Saidouni, D. ; Ilie, J.
Author_Institution
MISC Lab., Mentouri Univ., Constantine, Algeria
fYear
2011
fDate
3-5 March 2011
Firstpage
1
Lastpage
6
Abstract
We introduce a true concurrency stochastic process algebra called S-LOTOS, such that stochastic durations of actions relate to general distributions. A structural operational semantics is defined so that the underlying model called MSLTS, extends the Maximality-based Labeled Transition Systems [1]. S-LOTOS is also viewed as a high level representation to specify Generalized Semi-Markov Processes (GSMP) in order to evaluate the system performances.
Keywords
Markov processes; concurrency control; performance evaluation; process algebra; MSLTS; S-LOTOS; generalized semiMarkov process; maximality based labeled transition system; stochastic durations; stochastic process algebra; structural operational semantics; Algebra; Clocks; Concurrent computing; Exponential distribution; Semantics; Stochastic processes; Synchronization; Generalized Semi-Markov Processes; Maximality-based Semantics; Performances Evaluation; Stochastic Process Algebras;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, Computing and Control Applications (CCCA), 2011 International Conference on
Conference_Location
Hammamet
Print_ISBN
978-1-4244-9795-9
Type
conf
DOI
10.1109/CCCA.2011.6031388
Filename
6031388
Link To Document