A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lessons learned from implementing the CORBA persistent object service
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal specification of the CORBA event service
Fourth International Conference on Formal methods for open object-based distributed systems IV
Object-Oriented Behavioral Specifications
Object-Oriented Behavioral Specifications
A Theory of Specification-Based Testing for Object-Oriented Software
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Formal Support for the Engineering of CORBA-based Distributed Object Systems
DOA '99 Proceedings of the International Symposium on Distributed Objects and Applications
PetShop: a tool for the formal specification of CORBA systems
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Formal description of a multimodal interaction technique in an immersive virtual reality application
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
Expressing and exploiting concurrency in networked applications with aspen
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
A formal framework for middleware behavioural specification
ACM SIGSOFT Software Engineering Notes
Challenges and research directions in autonomic communications
International Journal of Internet Protocol Technology
A new approach to modular database systems
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Semantics of a runtime adaptable transaction manager
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
The software testing automation framework
IBM Systems Journal
A Software Architecture-Based Approach for Formalising Middleware Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
A factory to design and build tailorable and verifiable middleware
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Self-checking widgets for interactive cockpits
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
A LOTOS framework for middleware specification
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Tuning an HCI curriculum for master students to address interactive critical systems aspects
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
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 produce interoperable and substitutable implementations. To illustrate our point, we give an account of an experiment based upon the formal specification of one COS, namely the CORBA Event Service. This formal specification highlights several ambiguities and under-specifications in the OMG document. We then test several commercial and public domain implementations of the CORBA Event Service, in order to assess how the implementers have dealt with these under-specifications. We show that the choices made by the implementers lead to incompatible implementations. We finally suggest a solution to overcome the problem of specification of object services, which satisfies the views of both implementers and users. Specifically, we suggest that the specification of such services be made using a formal description technique, and that implementers be provided with test cases derived from the formal specification.