Abstract
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query specification with the expressive power and flexibility of the Performance Tree formalism. Specifically, we present a structured English grammar for Performance Trees, and use it to implement a Natural Language Query Builder (NLQB) for the Platform Independent Petri net Editor (PIPE). The NLQB guides users in the construction of performance queries in an iterative fashion, presenting at each step a range of natural language alternatives that are appropriate in the query context. We demonstrate our technique in the specification of performance queries on a model of a hospital’s Accident and Emergency department.
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
PIPE: Platform-Independent Petri net Editor, http://pipe2.sourceforge.net
Ajmone-Marsan, M., Conte, G., Balbo, G.: A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems 2, 93–122 (1984)
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous-time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269–276. Springer, Heidelberg (1996)
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous-time Markov chains. ACM Transactions on Computational Logic 1(1), 162–170 (2000)
Bonet, P., Llado, C.M., Puijaner, R., Knottenbelt, W.J.: PIPE v2.5: A Petri net tool for performance modelling. In: Proceedings of the 23rd Latin American Conference on Informatics (CLEI 2007), San Jose, Costa Rica (October 2007)
Brien, D.K., Dingle, N.J., Knottenbelt, W.J., Kulatunga, H., Suto, T.: Performance Trees: Implementation And Distributed Evaluation. In: Proc. 7th Intl. Workshop on Parallel and Distributed Methods in Verification (PDMC 2008), Budapest, Hungary, March 2008. Elsevier, Amsterdam (2008)
Dingle, N.J.: Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models. PhD thesis, Imperial College, London, United Kingdom (2004)
Flake, S., Müller, W., Ruf, J.: Structured English for model checking specification. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Frankfurt, February 2000, pp. 99–108 (2000)
Grunske, L.: Specification patterns for probabilistic quality properties. In: Proc. 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, pp. 31–40 (2008)
Holt, A., Klein, E.: A semantically-derived subset of English for hardware verification. In: Proc. 37th Annual Meeting of the Association for Computational Linguistics, Maryland VA, USA, pp. 451–456 (1999)
Knottenbelt, W.J.: Generalised Markovian analysis of timed transition systems. Master’s thesis, University of Cape Town, Cape Town, South Africa (July 1996)
Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol. 4309, pp. 372–381. Springer, Heidelberg (2006)
Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: An approach supporting property elucidation. In: Proc. 24th International Conference on Software Engineering (ICSE 2002), Orlando FL, USA, pp. 11–21 (2002)
Suto, T., Bradley, J.T., Knottenbelt, W.J.: Performance Trees: A New Approach to Quantitative Performance Specification. In: Proc. 14th IEEE/ACM Intl. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS 2006), Monterey, CA, USA, September 2006, pp. 303–313 (2006)
Suto, T., Bradley, J.T., Knottenbelt, W.J.: Performance trees: Expressiveness and quantitative semantics. In: Proceedings of the 4th International Conference on the Quantitave Evaluation of Systems (QEST 2007), September 2007, pp. 41–50. IEEE Computer Society Press, Los Alamitos (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, L., Dingle, N.J., Knottenbelt, W.J. (2008). Natural Language Specification of Performance Trees. In: Thomas, N., Juiz, C. (eds) Computer Performance Engineering. EPEW 2008. Lecture Notes in Computer Science, vol 5261. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87412-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-87412-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87411-9
Online ISBN: 978-3-540-87412-6
eBook Packages: Computer ScienceComputer Science (R0)