龚振和 关于概念模型的说明和验证。 （英文） Zbl 0641.68169号 J.计算。科学。Technol公司。 2，第1期，35-50（1987）. 概念模型分为四类：纯静态、动态、时态和全时间透视模型。本文提出了一个用于指定和验证概念模型的时态框架。规范由静态和时间约束以及操作描述组成。描述了规范的一致性检查。使用一个简单的示例来说明框架的特性。 MSC公司： 68第20页 信息存储和数据检索 68平方英寸 模拟（MSC2010） 关键词：信息系统规范;概念模型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gong}，J.计算。科学。Technol公司。2，编号1，35--50（1987；Zbl 0641.68169） 全文： 内政部 参考文献： [1] Bell，J.和M.Machover，《数理逻辑课程》，新罕布什尔州出版社。公司。，1977. ·Zbl 0359.02001 [2] Bubenko jr J.A.，系统开发背景下的信息建模，IFIP大会邀请论文，1980年，395–411。 [3] Chang，C.C和H.J.Keisler，模型理论，N.H.Publ。公司。，1973 [4] Hove，J.O.，Kungs Metode for Konsistensbevis og Modellkonstruksjon Anvendt pa Kommunikasjuns Protokaller，挪威理工学院计算机科学系硕士论文，挪威特隆赫姆，1984年。 [5] Kung C.H，《信息系统规范和验证的时间框架》，挪威理工学院计算机科学系博士论文，挪威特隆赫姆，1984年4月。 [6] Kung C.H，数据库规范和验证的时间框架。程序。第十届VLDB国际会议，新加坡，1984年8月27日至31日，91-99。 [7] Kung C.H.，一致性检查的表格方法，Proc。IFIP WG8.1信息系统理论和形式方面工作会议（Sernadas A.等人编辑），N.H.Publ Comp。，1985, 191–207. [8] Kung C.H.，关于数据库时间约束的验证，Proc。ACM SIGMOD数据管理年会。美国德克萨斯州奥斯汀，1985年5月28日至31日，169年至179年。 [9] Kung C.H.和A.Solvberg，信息系统的活动建模和行为建模，Proc。1986年5月5日至7日，荷兰诺德威克霍特，IFIP WG8.1 CRIS.3工作会议。N.H.出版物。公司。，1986, 145–171. [10] Leveson，N.G.、A.I.Wasserman和D.M.Berry，《基础：信息系统规范的行为方法》，载于《信息系统》，8:1（1983），15-23。 [11] Lipeck U.W.，动态数据库行为的逐步规范，Proc。ACM SIGMOD数据管理年度会议（C.Zanlolo eds），美国华盛顿特区，1986年5月28日至30日。 [12] McCarthy J.和P.Hayes，《从人工智能的角度来看的一些哲学问题》，载于《机器智能》第4期，B.Meltzer和D.Michie（编辑），爱丁堡大学出版社，1969年，463–502·Zbl 0226.68044号 [13] Olive，A.，《逻辑信息系统中的信息可衍生性分析》，CACM，26:11（1983），933-938·Zbl 0519.68088号 [14] Owicki，S.和L.Lamport，证明并发程序的活性属性，ACM Trans。项目。语言和系统。，4:3 (1982), 455–495. ·Zbl 0483.68013号 ·doi:10.1145/357172.357178 [15] Peterson，J.L.，《Petri网，计算调查》，9:3（1977），224–252·数字对象标识代码：10.1145/356698.356702 [16] Robinson J.A.，《基于分辨原理的机器导向逻辑》，J.ACM，12:1（1965），23-41·Zbl 0139.12303号 ·数字对象标识代码：10.1145/321250.321253 [17] Tremblay J.P.和R.Manohar，《离散数学结构及其在计算机科学中的应用》，McGraw-Hill，Inc.，1975年·Zbl 0313.68001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。