Generating class contracts from UML protocol statemachines
Generating class contracts from UML protocol statemachines
复制标题
DOI：
10.1145/1656485.1656493
复制
发表时间：
2009-10
影响因子：
5.4
通讯作者：
Ivan Porres;I. Rauf
中科院分区：
文献类型：
--
作者：
Ivan Porres;I. Rauf
我们提出了一种方法来生成行为类接口的形式的类合同从UML 2.0协议状态机。生成的类协定为触发状态机中的转换的每个操作定义了前置条件和后置条件。我们考虑以下协议SM元素：状态和状态不变量，简单转换，复合转换，高级转换，完全转换，自转换也处理点火优先级的情况。生成的合约可以用作行为接口，用于文档编制、运行时检查和测试用例生成。
We present an approach to generate behavioral class interfaces in the form of class contracts from UML 2.0 protocol state machines. A generated class contract defines a pre- and post-condition for each operation that triggers a transition in the state machine. We consider the following protocol SM elements: state and state invariants, simple transitions, compound transitions, high-level transitions, complete transitions, self transitions also deal with the case of firing priorities. The generated contracts can be used as a behavioral interface, for documentation, run-time checking and test case generation.