Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems.

@inproceedings{DBLP:conf/adbis/Rabih99,
  author    = {Yahia Rabih},
  editor    = {Johann Eder and
               Ivan Rozman and
               Tatjana Welzer},
  title     = {Formalisation and Analysis of Dynamic Behaviour in Object-Oriented
               Systems},
  booktitle = {Advances in Databases and Information Systems, Third East European
               Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999,
               Proceedings of Short Papers},
  publisher = {Institute of Informatics, Faculty of Electrical Engineering and
               Computer Science, Smetanova 17, IS-2000 Maribor, Slovenia},
  year      = {1999},
  isbn      = {86-435-0285-5},
  pages     = {163-170},
  ee        = {db/conf/adbis/Rabih99.html},
  crossref  = {DBLP:conf/adbis/99s},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

References

[1]

Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom: Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20(1): 3-41(1995) BibTeX

[2]

Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486 BibTeX

[3]

Elena Baralis, Stefano Ceri, Stefano Paraboschi: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Trans. Knowl. Data Eng. 10(3): 353-370(1998) BibTeX

[4]

Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Deriving Active Rules for Workflow Enactment. DEXA 1996: 94-115 BibTeX

[5]

Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse: Verification Problems in Conceptual Workflow Specifications. ER 1996: 73-88 BibTeX

[6]

Anton P. Karadimce, Susan Darling Urban: Conditional Term Rewriting as a Formal Basis for Active Database Rules. RIDE-ADS 1994: 156-162 BibTeX

[7]

Anton P. Karadimce, Susan Darling Urban: Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. ICDE 1996: 384-391 BibTeX

[8]

...

[9]

Angelika I. Kokkinaki: On Using Multiple Abstractions Models to Analyze Active Database Behavior. IADT 1998: 136-143 BibTeX

[10]

...

[11]

Sin Yeung Lee, Tok Wang Ling: A Path Removing Technique for Detecting Trigger Termination. EDBT 1998: 341-355 BibTeX

[12]

José Meseguer: A Logical Theory of Concurrent Objects. OOPSLA/ECOOP 1990: 101-115 BibTeX

[13]

Danilo Montesi, Riccardo Torlone: A Rewriting Technique for Implementing Active Object Systems. ISOOMS 1994: 171-188 BibTeX

[14]

Danilo Montesi, Riccardo Torlone: A Transaction Transformation Approach to Active Rule Processing. ICDE 1995: 109-116 BibTeX

[15]

...

[16]

...

[17]

...

[18]

Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng: Formalizing and Integrating the Dynamic Model within OMT. ICSE 1997: 45-55 BibTeX