Exploring Scenario Exploration
Exploring Scenario Exploration
复制标题
探索场景探索
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Tiago Guimarães
中科院分区：
文献类型：
--
作者：
Nuno Macedo;Alcino Cunha;Tiago Guimarães
模型查找器在探索场景时非常流行，它帮助用户通过浏览符合规范的模型实例来验证规范。为了实用，这种场景探索操作的语义应该是正式定义的，理想情况下，应该由用户控制，以便他们能够快速到达感兴趣的场景。
Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios.