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
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;
Conference_Titel :
Communications, Computing and Control Applications (CCCA), 2011 International Conference on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4244-9795-9
DOI :
10.1109/CCCA.2011.6031388
