Dynamic modelling of a simple existence constraint
作者：
Highlights：
•
摘要
A method is described for systematically deriving from a static formulation of a simple existence constraint the corresponding dynamic formulation. The latter formulation is embedded, under the form of applicability conditions, in a set of axiomatized update operations. A many-sorted first-order predicate calculus is used as the specification language. Update behaviour issues are identified and discussed.
论文关键词：
论文评审过程：Received 17 March 1980, Revised 25 August 1980, Available online 10 June 2003.
论文官网地址：https://doi.org/10.1016/0306-4379(81)90019-3
