机构名称：
¥ 1.0
Porgy 是一种基于端口图重写的可视化交互式建模工具。在 Porgy 中，系统状态由端口图表示，系统的动态演化通过端口图重写规则定义。策略表达式用于控制规则的应用，更准确地说，策略表达式既指示重写推导中每一步要应用的规则，也指示应用规则的图中位置（后者通过聚焦构造完成）。一些策略构造受到术语重写语言的强烈启发，例如 Elan Borovansk´y 等人（1998 年）、Stratego Visser（2001 年）和 Tom Balland 等人（2007 年）。术语重写语言中不存在聚焦运算符（尽管它们依赖于隐式遍历策略）。通过目标图中和定位端口图重写规则中可区分的位置和禁用子图来直接管理策略表达式中的位置是该语言的原始特征，并使用定位构造进行管理。本文档描述了策略表达式的具体语法，解释了如何使用不同类型的构造，并提供了示例。完整的形式语法在 Fern'andez 等人 (2019) 中进行了描述。有关 Porgy 的更多信息，我们请读者参阅 Pinaud 等人 (2012)（交互功能）、Fern'andez 等人 (2019)（语言的初步版本）、Fernandez 等人 (2018)（社交网络示例）和 Varga (2018)（规则应用条件）。
Porgy 策略语言：用户手册
主要关键词
相关文件推荐
