Modeling and Analyzing Concurrent Systems with MPA (1994)
| Venue: | Proc. of 2nd Process Algebra and Performance Modelling Workshop |
| Citations: | 14 - 2 self |
BibTeX
@INPROCEEDINGS{Bernardo94modelingand,
author = {Marco Bernardo and Lorenzo Donatiello and Roberto Gorrieri},
title = {Modeling and Analyzing Concurrent Systems with MPA},
booktitle = {Proc. of 2nd Process Algebra and Performance Modelling Workshop},
year = {1994},
pages = {175--189}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of specification, design and implementation of concurrent systems has been widely recognized. Hence, an effort has been made in order to handle also the temporal aspect of system behavior. In this paper the stochastic process algebra MPA (Markovian Process Algebra) is briefly introduced, together with its operational interleaving semantics, its markovian semantics and its operational net semantics. A concurrent system is described as a term of MPA. The operational interleaving semantics (defined by following Plotkin's structured operational semantics approach, augmented with two transformations) associates a labeled transition system with each MPA term. The markovian semantics is defined through an algorithm which transforms labeled t...
