论文信息 - Modelling dynamic constraints using augmented place transition nets

Modelling dynamic constraints using augmented place transition nets

Abstract 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.

Thomas A. Mück | Günther Vinek | G. Vinek

[1] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .

[2] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[3] DianeC . P. Smith,et al. Database Abstractions: Aggregation and Generalization , 1989 .

[4] Arne Sølvberg,et al. Activity Modeling and Behavior Modeling , 1986, Information Systems Design Methodologies: Improving the Practice.

[5] R. Snodgrass,et al. A Taxonomy of Time in Databases March , 1985 · ' , 1985 .

[6] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[7] Hirotaka Sakai,et al. A Method for Entity-Relationship Behavior Modeling , 1983, ER.

[8] D. A Jardine,et al. Concepts and terminology for the conceptual schema and the information base , 1984 .

[9] Michael D. Zisman,et al. Representation, specification and automation of office procedures , 1977 .

[10] Valeria De Antonellis,et al. DATAID-1: A database design methodology , 1985, Inf. Syst..

[11] Chris Gane,et al. Structured Systems Analysis: Tools and Techniques , 1977 .