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

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

B. de Leeuw, A. Hoogewijs

{"title":"使用状态图DNA对对象行为进行正式管理","authors":"B. de Leeuw, A. Hoogewijs","doi":"10.1109/AFRCON.2007.4401522","DOIUrl":null,"url":null,"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.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"198 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Formal management of object behavior with statechart DNA\",\"authors\":\"B. de Leeuw, A. Hoogewijs\",\"doi\":\"10.1109/AFRCON.2007.4401522\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":112129,\"journal\":{\"name\":\"AFRICON 2007\",\"volume\":\"198 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-12-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AFRICON 2007\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AFRCON.2007.4401522\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AFRICON 2007","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AFRCON.2007.4401522","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

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

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

查看原文本刊更多论文

Formal management of object behavior with statechart DNA

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

AFRICON 2007

自引率

0.00%

发文量