Behavioural Constraints Using Events.

@inproceedings{DBLP:conf/er/Teisseire95,
  author    = {Maguelonne Teisseire},
  editor    = {Mike P. Papazoglou},
  title     = {Behavioural Constraints Using Events},
  booktitle = {OOER'95: Object-Oriented and Entity-Relationship Modelling, 14th
               International Conference, Gold Coast, Australia, December 12-15,
               1995, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1021},
  year      = {1995},
  isbn      = {3-540-60672-6},
  pages     = {123-132},
  ee        = {db/conf/er/Teisseire95.html},
  crossref  = {DBLP:conf/er/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX

[2]

Grady Booch: Object-Oriented Design with Applications. Benjamin/Cummings 1990
BibTeX

[3]

José Carmo, Amílcar Sernadas: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems 1987: 31-46 BibTeX

[4]

...

[5]

...

[6]

David Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530(1988) BibTeX

[7]

C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall 1985, ISBN 0-13-153271-5
BibTeX

[8]

...

[9]

...

[10]

...

[11]

...

[12]

Pascal Poncelet, Maguelonne Teisseire, Rosine Cicchetti, Lotfi Lakhal: Towards a Formal Approach for Object Database Design. VLDB 1993: 278-289 BibTeX

[13]

...

[14]

...

[15]

James E. Rumbaugh, Michael R. Blaha, William J. Premerlani, Frederick Eddy, William E. Lorensen: Object-Oriented Modeling and Design. Prentice-Hall 1991, ISBN 0-13-630054-5
BibTeX

[16]

Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116 BibTeX

[17]

...

[18]

Maguelonne Teisseire, Rosine Cicchetti: An Algebraic Language for Event-Driven Modelling. DEXA 1994: 300-309 BibTeX

[19]

Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti: Dynamic Modelling with Events. CAiSE 1994: 186-199 BibTeX

[20]

Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti: Towards Event-Driven Modelling for Database Design. VLDB 1994: 285-296 BibTeX

[21]

Roel Wieringa: Steps towards a method for the formal modeling of dynamic objects. Data Knowl. Eng. 6: 509-540(1991) BibTeX

[22]

Roel Wieringa: A Formalization of Objects Using Equational Dynamic Logic. DOOD 1991: 431-452 BibTeX