Formal specification of CORBA services: experience and lessons learned

@inproceedings{Bastide2000FormalSO,
  title={Formal specification of CORBA services: experience and lessons learned},
  author={R{\'e}mi Bastide and Philippe A. Palanque and Ousmane Sy and David Navarre},
  booktitle={OOPSLA},
  year={2000}
}
CORBA is now established as one of the main contenders in object-oriented middleware. Beyond the definition of this standard for distributed object systems, the Object Management Group (OMG) has specified several object services (Common Object Services, COS) that should foster the interoperability of distributed applications. Based on experiment, the goal of this paper is to show that the OMG's style of specification of the CORBA services is not suited to guarantee that implementers will… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

The Design and Performance of a Real-Time CORBA Event Service." 12 Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’97)

  • Harrison, H Timothy, Levine, L David, Schmidt, C Douglas
  • 1997
Highly Influential
5 Excerpts

Lessons Learned From Implementing the CORBA Persistent Object Service." 11 Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’96)

  • Kleindienst, Jan, Frantisek, Plasil, Tuma, Peter
  • 1996
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…