Formal Modelling of Java GUI Event Handling
Formal Modelling of Java GUI Event Handling
复制标题
Java GUI 事件处理的形式化建模
DOI：
10.1007/3-540-36103-0_37
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Jessica Chen
中科院分区：
文献类型：
--
作者：
Jessica Chen
由于通过多线程实现的复杂事件处理所导致的隐式不确定性，在Java Swing和AWT中编程可能非常容易出错。在这项工作中，我们提供了一个框架，正式建模的Java GUI事件处理标记的过渡系统。这项工作的意义有两个方面：一方面，它为更好地理解和正确使用Java GUI事件处理机制提供了形式化的基础;另一方面，它为正式推理基于GUI的Java应用程序针对某些属性的正确性奠定了基础，由于涉及的非确定性，这些属性可能很难检测。
Programming in Java Swing and AWT can be quite error-prone due to the implicit nondeterminism caused by the complex event handling realized via multithreading. In this work, we provide a framework on formal modelling of Java GUI event handling in terms of labelled transition systems. The significance of the work is twofold: on one hand, it provides a formal basis for a better understanding and correct use of Java GUI event handling mechanism; on the other hand, it lays the ground work for formally reasoning about the correctness of a GUI-based Java application against certain properties that, due to the nondeterminism involved, may be hard to detect.