Abstract
We propose a structural operational semantics for mobile and distributed agents. From it we derive a stochastic transition system labelled by actions and their costs. These costs reflect the (net) architecture on which agents run. We then map stochastic transition systems to Markov chains, and performance evaluation is carried out using standard tools. The results of our approach are shown to agree with the ones obtained via classical evaluation techniques on a case study involving mobile computation.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baldi, M., Picco, G.P.: Evaluating the tradeoffs of mobile code design paradigms in network management applications. In: Proceedings of ICSE 1998. ACM Press, New York (1998)
Bernardo, M., Donatiello, L., Gorrieri, R.: A formal approach to the integration of performance aspects in the modelling and analysis of concurrent systems. Information and Computation 144, 83–154 (1998)
Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae XI(4), 433–452 (1988)
Buchholz, P.: On a markovian process algebra. Technical report, Informatik IV, University of Dortmund (1994)
Carzaniga, A., Picco, G.P., Vigna, G.: Designing distributed applications with mobile code paradigms. In: Proceedings of ICSE 1997, pp. 23–32. ACM Press, New York (1997)
Degano, P., De Nicola, R., Montanari, U.: Partial ordering derivations for CCS. In: Budach, L. (ed.) FCT 1985. LNCS, vol. 199, pp. 520–533. Springer, Heidelberg (1985)
Degano, P., Priami, C.: Proved trees. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 629–640. Springer, Heidelberg (1992)
Degano, P., Priami, C.: Enhanced operational semantics. ACM Computing Surveys 28(2), 352–354 (1996)
Degano, P., Priami, C.: Non interleaving semantics for mobile processes. Theoretical Computer Science (March 1999)
Götz, N., Herzog, U., Rettelbach, M.: TIPP-a language for timed processes and performance evaluation. Technical Report 4/92, IMMD VII, University of Erlangen-Nurnberg (1992)
Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, Department of Computer Science (1994)
Howard, R.: Dynamic Probabilistic Systems:Semi-Markov and Decision Systems, vol. II. Wiley, Chichester (1971)
Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science 114, 149–171 (1993)
Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Denmark (1981)
Priami, C.: Stochastic π-calculus. The Computer Journal 38(6), 578–589 (1995)
Priami, C.: Enhanced Operational Semantics for Concurrency. PhD thesis, Dipartimento di Informatica, Università di Pisa (March 1996). Available as Tech. Rep. TD-08/96
Priami, C.: Integrating behavioural and performance analysis with topology information. In: Proceedings of 29th Hawaian International Conference on System Sciences, Maui, Hawaii, vol. 1, pp. 508–516. IEEE, Los Alamitos (1996)
Priami, C.: Enabling and general distributions in stochastic process algebras. In: Proceedings of Italian Conference on Theoretical Computer Science, Prato, pp. 192–203. World Scientific, Singapore (1998)
Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nottegar, C., Priami, C., Degano, P. (1999). Semantic-Driven Performance Evaluation. In: Finance, JP. (eds) Fundamental Approaches to Software Engineering. FASE 1999. Lecture Notes in Computer Science, vol 1577. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49020-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-49020-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65718-7
Online ISBN: 978-3-540-49020-3
eBook Packages: Springer Book Archive