迈向控制 Statecharts 的精化
软件工程
2015-03-26 v1
摘要
在增量开发策略中，建模者经常精化 Statecharts 模型以满足需求和变更。尽管针对 Statecharts 精化问题已有多种解决方案，但它们提供了过高的自由度，使得 statechart 无法对其未来结构做出假设或保证。在本文中，我们提出了一组边界规则，以限制允许的 Statecharts 精化操作，从而确保某些假设成立。
引用
@article{arxiv.1503.07266,
title = {Towards Controlling Refinements of Statecharts},
author = {Conner Hansen and Eugene Syriani and Levi Lucio},
journal= {arXiv preprint arXiv:1503.07266},
year = {2015}
}
备注
In Poster Proceedings of 6th Conference on Software Language Engineering (SLE) 2013 (http://www.sleconf.org/2013/)