Towards a Balanced Specification Language for Distributed Object Computing Patterns

T. Taibi and D.C.L. Ngo

References

  1. [1] D.C. Schmidt, M. Stal, H. Rohnert, & F. Buschmann, Pattern-oriented software architecture: Patterns for concurrent andnetworked objects (England: Wiley & Sons, 2000).
  2. [2] V. Matena & M. Hapner, Entreprise JavaBeans, version 1.1(Sun Microsystems, December 1999).
  3. [3] D. Box, Essential COM (Reading, MA: Addison-Wesley, 1997).
  4. [4] Object Management Group, The common object request broker:Architecture and specification, version 2.3 (OMG, 1998).
  5. [5] R. Johnson, Frameworks = patterns + components, Comm.ACM, 40 (10), 1997, 39–42. doi:10.1145/262793.262799
  6. [6] W.R. Stevens, Unix network programming, Vol. 2: Inter-process communication, 2nd ed. (Upper Saddle River, NJ:Prentice Hall, 1999).
  7. [7] S. Chinnasamy, R.R. Raje, & Z. Liu, Specification of designpatterns: An analysis, Proc. 7th Int. Conf. on AdvancedComputing and Communications, Roorkee, India, 1999, 300-304.
  8. [8] T. Taibi & D.C.L. Ngo, Why and how should patterns beformalized?, Journal of Object-Oriented Programming, 14 (4),2001, 8–9.
  9. [9] E. Gamma, R. Helm, R. Johnson, & J. Vlissides, Design patterns: Elements of reusable object-oriented systems (Reading, MA: Addison-Wesley, 1995).
  10. [10] L. Lamport, The temporal logic of actions, ACM Trans. onProgramming Languages and Systems, 16 (3), 1994, 872–923. doi:10.1145/177492.177726
  11. [11] J. Rambaugh, I. Jacobson, & G. Booch, The unified modelinglanguage reference manual (Reading, MA: Addison-Wesley,1998).
  12. [12] R.J.R Back & R. Kurki-Suonio, Distributed cooperation withaction systems, ACM Trans. on Programming Languages andSystems, 10, 1988, 513–554. doi:10.1145/48022.48023
  13. [13] J. Warmer & A.G. Kleppe, The object constraint languageprecise modeling with UML (Reading, MA: Addison-Wesley,1998).
  14. [14] R. Helm, I.M. Holland, & D. Gangopadhyay, Contracts: Specifying behavioral compositions in object-oriented systems, Proc.ECOOP/OOPSLA’90, Ottawa, Canada, 1990, 169–180. doi:10.1145/97945.97967
  15. [15] D.D. Cowan & C.J.P. Lucena, Abstract data views: Aninterface specification concept to enhance design for reuse,IEEE Trans. on Software Engineering, 21 (3), 1995, 229–243. doi:10.1109/32.372150
  16. [16] A.H. Eden, Y. Hirshfeld, & K. Lundqvist, LePUS—Symboliclogic modeling of object oriented architectures: A case study,Proc. Second Nordic Workshop on Software Architecture, Ronneby, Sweden, 1999.
  17. [17] T. Mikkonen, Formalizing design patterns, Proc. IEEE Int. Conf. on Software Engineering, Kyoto, Japan, 1998, 115-124

Important Links:

Go Back