The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.

@inproceedings{DBLP:conf/er/GrauFKEPE98,
  author    = {Antonio Grau and
               Juliana K{\"u}ster Filipe and
               Mojgan Kowsari and
               Silke Eckstein and
               Ralf Pinger and
               Hans-Dieter Ehrich},
  editor    = {Tok Wang Ling and
               Sudha Ram and
               Mong-Li Lee},
  title     = {The TROLL Approach to Conceptual Modeling: Syntax, Semantics
               and Tools},
  booktitle = {Conceptual Modeling - ER '98, 17th International Conference on
               Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1507},
  year      = {1998},
  isbn      = {3-540-65189-6},
  pages     = {277-290},
  ee        = {db/conf/er/GrauFKEPE98.html},
  crossref  = {DBLP:conf/er/98},
  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]

...

[2]

...

[3]

...

[4]

...

[5]

...

[6]

Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198 BibTeX

[7]

...

[8]

...

[9]

Antonio Grau, Mojgan Kowsari: A Validation System for Object Oriented Specifications of Information Systems. ADBIS 1997: 249-256 BibTeX

[10]

...

[11]

Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich: Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22(2/3): 79-99(1997) BibTeX

[12]

...

[13]

Ralf Jungclaus, Gunter Saake, Thorsten Hartmann, Cristina Sernadas: TROLL - A Language for Object-Oriented Specification of Information Systems. ACM Trans. Inf. Syst. 14(2): 175-211(1996) BibTeX

[14]

...

[15]

...

[16]

...

[17]

...

[18]

Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel: Petri Nets, Event Structures and Domains, Part I. Theor. Comput. Sci. 13: 85-108(1981) BibTeX

[19]

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Romero, José Merseguer: OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. CAiSE 1997: 145-158 BibTeX

[20]

Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe: A Review of Object-oriented Approaches in Formal Methods. Comput. J. 38(10): 777-784(1995) BibTeX

[21]

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

[22]

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