This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 16
Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions
Santa Fe, New Mexico
April 26-April 30
ISBN: 0-7695-2132-0
Doron Drusinsky, Time-Rover, Inc.
This paper describes TLCharts, a visual specification language that combines the visual and intuitive appeal of non-deterministic Harel Statecharts with formal specifications written in Linear-time (Metric) Temporal Logic (LTL and MTL). The formalism is described using a practical infusion pump requirement example. The infusion pump TLChart specification is then compared with two competing representations: temporal logic and deterministic Harel statecharts. The infusion pump example will also be used to point out the strength of each constituent TLCharts component. We provide an informal semantics for TLCharts using nondeterministic automata with negation and overlapping states. Finally, we show how natural language snippets are used instead of TLChart temporal logic conditions thereby inducing a formalism we call NTLCharts.
Citation:
Doron Drusinsky, "Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions," ipdps, vol. 17, pp.268a, 18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 16, 2004
Usage of this product signifies your acceptance of the Terms of Use.