Formal management of object behavior with statechart DNA

AFRICON 2007 Pub Date : 2007-12-12 DOI:10.1109/AFRCON.2007.4401522

B. de Leeuw, A. Hoogewijs

引用次数: 2

Abstract

We introduce and explore a new statechart (sc) abstraction method. We define simplified statecharts (ssc) and discuss the use of action abstraction in ssc models. We isolate sc DNA from UML sc models, and show how this sc DNA can be used to define behavior model metrics and more generally, to manage object behavior.

查看原文本刊更多论文

使用状态图DNA对对象行为进行正式管理

提出并探索了一种新的状态图抽象方法。我们定义了简化状态图(ssc)，并讨论了动作抽象在ssc模型中的使用。我们将sc DNA从UML sc模型中分离出来，并展示如何使用sc DNA来定义行为模型度量，以及更一般地说，如何管理对象行为。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

AFRICON 2007

自引率

0.00%

发文量