Modelling dynamic constraints using augmented place transition nets

摘要

Augmented place transition nets with token values (APTN for short) are used as a semantic data modelling formalism. This formalism is able to cover relevant aspects of the dynamic behaviour of a database in a concise manner and enables the data engineer to specify constraints for event sequences and object type assignments; therefore it is proposed as a data modelling tool to map object-event interactions from the universe of discourse to the conceptual schema.