Abstract
We describe an extension of TwoTowers, a software tool for the functional and performance analysis of concurrent and distributed systems modeled in EMPA, in which a symbolic model based support for data driven computations is implemented and we recall its advantages both from the expressiveness and the analysis standpoint.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Aldini, M. Bernardo, R. Gorrieri, “An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking”, in Proc. of PAPM’ 99, Prensas Universitarias de Zaragoza, pp. 119–138, 1999
A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti, “A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods”, in Proc. of ESS’ 99, SCS International, pp. 281–288, 1999
M. Bernardo, “Theory and Application of Extended Markovian Process Algebra”, Ph.D. Thesis, University of Bologna (Italy), 1999 (http://www.di.unito.it/~bernardo/)
M. Bernardo, R. Cleaveland, S. Sims, W. Stewart, “TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems”, in Proc. of FORTE/PSTV’ 98, Kluwer, pp. 457–467, 1998
M. Bernardo, R. Gorrieri, M. Roccetti, “Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetized Audio over the Internet”, in Formal Aspects of Computing 10:313–337, 1999
W.R. Cleaveland, S. Sims, “The NCSU Concurrency Workbench”, in Proc. of CAV’ 96, LNCS 1102:394–397, 1996
S. Gilmore, J. Hillston, “The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling”, in Proc. of PERFORMANCE TOOLS’ 94, LNCS 794:353–368, 1994
H. Hermanns, V. Mertsiotakis, M. Rettelbach, “A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP”, in Proc. of TACAS’ 96, LNCS 1055:427–430, 1996
Z. Li, H. Chen, “Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes”, in Proc. of TACAS’ 99, LNCS 1579:300–314, 1999
R. Milner, “Communication and Concurrency”, Prentice Hall, 1989
W.J. Stewart, “Introduction to the Numerical Solution of Markov Chains”, Princeton University Press, 1994
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardo, M. (2000). Implementing Symbolic Models for Value Passing in TwoTowers. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds) Computer Performance Evaluation.Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46429-8_34
Download citation
DOI: https://doi.org/10.1007/3-540-46429-8_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67260-9
Online ISBN: 978-3-540-46429-7
eBook Packages: Springer Book Archive