REFERENCES

Bacon, J. ( 1993 ). Concurrent systems . Reading, MA : Addison-Wesley .

Chen, Q., & Dayal, U. ( 2000 ). Multi-agent cooperative transactions for e-commerce . In Lecture notes in computer science: Vol. 1901 ( pp. 311 ‚ 322 ). New York : Springer-Verlag .

Clark, A., & Warmer, J. (Eds.). ( 2002 ). Lecture notes in computer science: Vol. 2263. Object modeling with the OCL . New York : Springer-Verlag .

Dani, A. R., & Radha Krishna, P. ( 2001 ). An e-check framework for e-payment systems in Web based environment . In Lecture notes in computer science: Vol. 2115. Electronic commerce and Web technologies ( pp. 91 ‚ 100 ). New York : Springer-Verlag .

Dignum, F., & Cortes, U. (Eds.). ( 2001 ). Lecture notes in artificial intelligence: Vol. 2003. Agent-mediated electronic commerce III . New York : Springer-Verlag .

Dignum, F., & Sierra, C. (Eds.). ( 2001 ). Lecture notes in artificial intelligence: Vol. 1991. Agent mediated electronic commerce . New York : Springer-Verlag .

Feng, Y., & Zhu, J. ( 2001 ). Wireless Java programming with J2ME . Indianapolis, IN : Sams .

Gamma, E., et al. ( 1995 ). Design patterns . Boston : Addison-Wesley .

Gogolla, M., & Kobryn, C. (Eds.). ( 2001 ). Lecture Notes in Computer Science: Vol. 2185. <<UML>> 2001 -The Unified Modeling Language . New York : Springer-Verlag .

Jezequel, M., Train, M., & Mingins, C. ( 2000 ). Design patterns and contracts . Reading, MA : Addison-Wesley .

Knabe, F. ( 1996 ). An overview of mobile agent programming . In Lecture notes in computer science: Vol. 1192. Analysis and verification of multiple-agent languages ( pp. 100 ‚ 115 ). New York : Springer-Verlag, .

Kramer, R. ( 1998 ). "iContract-The java Design by contract tool ,, 26 th Conference on Technology of object oriented Systems,(TOOLS USA'98) Santa Barbara .

Krishnamurthy, E. V., & Murthy, V. K. ( 1992 ). Transaction processing systems . Sydney, New South Wales : Prentice Hall .

Meyer, B. ( 1992a ). Eiffel: The language . New York : Prentice Hall .

Meyer, B. ( 1992b ). Applying design by contracts . IEEE Computer , 25 ( 10 ), 40 ‚ 52 .

Milner, R. ( 1999 ). Communicating and mobile systems: the pi-calculus . Cambridge, England : Cambridge University Press .

Nodine, M. H., Ramaswamy, S., & Zdonik, S. B. ( 1995 ). A cooperative transaction model for databases . In A. K. Elmagarmid (Ed.), Database transaction models ( pp. 53 ‚ 83 ). San Mateo, CA : Morgan Kaufmann .

Ozsu, M. T. ( 1994 ). Transaction models and transaction management in object-oriented database management systems . In A. Dogac, M. T. Ozsu, A. Bilris, & T. Sellis (Eds.), Series F: Computer and system sciences, Vol. 30. Advances in object-oriented database systems ., New York : Springer-Verlag .

Sendall, S., & Strohmeier, A. ( 2002 ). Specifying concurrent system behaviour and timing constraints using OCL and UML . In M. Gogolla & C. Kobryn (Eds.), Lecture notes in computer science: Vol. 2185. <<UML>> 2001 -The Unified Modeling Language ( pp. 391 ‚ 405 ). New York : Springer-Verlag .

Silva, F. M., & Krause, S. ( 1997 ). A distributed transaction model based on mobile agents . In Lecture notes in computer science: Vol. 1219 ( pp. 198 ‚ 209 ). New York : Springer-Verlag .

Thomas, P., & Weedon, R. ( 1998 ). Object-oriented programming in Eiffel . Reading, MA : Addison Wesley .

Vitek, J., & Tschudin, C. (Eds.). ( 1997 ). Lecture notes in computer science: Vol. 1222. Mobile object systems towards the programmable Internet . New York : Springer-Verlag .

Wachter, H., & Reuter, A. ( 1995 ). The ConTract model . In A. K. Elmagarmid (Ed.), Database transaction models ( pp. 219 ‚ 264 ). San Mateo, CA : Morgan Kaufmann .

Wang, G., & Das, A. ( 2001 ). Models and protocol structures for software agent based complex e-commerce transactions . In Lecture notes in computer science: Vol. 2115. Electronic commerce and Web technologies ( pp. 121 ‚ 131 ). New York : Springer-Verlag .

Warmer, J., & Kleppe, A. ( 1999 ). The Object Constraint Language . Reading, MA : Addison-Wesley .

Wiener, R. S. ( 1996 ). An object-oriented introduction to computer science using Eiffel . NJ : Prentice Hall .

Wooldridge, M., Muller, J. P., & Tambe, M. (Eds.). ( 1996 ). Lecture notes in computer science: Vol. 1037. Intelligent agents II -Agent theories , architectures, and languages . New York : Springer-Verlag .