ACM Transactions on Computer Systems (TOCS)
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A semantically-derived subset of English for hardware verification
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Performance Trees: A New Approach to Quantitative Performance Specification
MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
Performance Trees: Expressiveness and Quantitative Semantics
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
| Hi-index | 0.00 |
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.