文件名称：Speadsheet建模的逻辑/物理理论-研究论文
文件大小：7.13MB
文件格式：PDF
更新时间：2024-06-09 03:43:34
Theory Design Languages Model Management
尽管商业电子表格软件包的复杂性和功能日益强大，但我们仍然缺乏电子表格的形式化理论和辅助其构建和维护的方法。 本文使用一种新的功能性关系语言，确定了表征任何电子表格模型的四个主要组成部分：模型，数据，社论和绑定。 我们提出了一种分解因子算法，用于自动从常规电子表格中识别和提取这些组件，以及一种综合算法，可帮助用户从可重用组件中构建可执行电子表格。 这种方法为应用面向对象和模型管理技术来支持组织中电子表格模型的构建，共享和重用开辟了新的可能性。