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

Formal specification of CORBA-based distributed objects and behaviors

  • Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).
  • 2005
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A formal framework for middleware behavioural specification

  • ACM SIGSOFT Software Engineering Notes
  • 2007
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Behavioural specification of middleware systems

  • Journal of the Brazilian Computer Society
  • 2006
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Formalising Middleware Systems: A Design Pattern-Based Approach

  • 2013 IEEE 37th Annual Computer Software and Applications Conference
  • 2013
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND

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, +3 authors C Douglas
  • 1997
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Executable Object Modeling with Statecharts

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

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

Kleindienst, Jan, +3 authors Peter
  • 1996
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…