Formal specification of CORBA services: Experience and lessons learned

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 35, Issue 10, 2000, Pages 105-117

  Bastide, R ^a   Palanque, P ^a   Sy, O ^a   Navarre, D ^a  

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

Behavioral specification; CORBA; Distributed systems; High level Petri nets

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; INTERFACES (COMPUTER); INTEROPERABILITY; MIDDLEWARE; SYNCHRONIZATION;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); COMMON OBJECT SERVICES (COS); OBJECT MANAGEMENT GROUP (OMG);

OBJECT ORIENTED PROGRAMMING;

EID: 0034450128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Overview and Theory for Unit Testing of Object-Oriented Software
2. A theory of specification-based testing for object-oriented software
3. A formal specification of the CORBA event service
4. Formal specification and prototyping of CORBA systems
5. Formal support for the engineering of CORBA-based distributed object systems
6. Formal specification and design of distributed systems
7. A process algebraic specification of the new asynchronous CORBA messaging service
8. Testing can be formal, too
9. Executable object modeling with statecharts
10. The design and performance of a real-time CORBA event service
11. Testing algebraic data types and processes: A unifying theory
12. Lessons learned from implementing the CORBA persistent object service
13. A general systematic approach to arc extensions for coloured petri nets
14. A behavioral notion of subtyping
15. Introducing formal notations in the development of object-based distributed systems
16. Types for active objects based on trace semantics
17. The OMG events service
18. Overcoming drawbacks in the OMG events service
19. Cooperative nets
20. Life-cycle inheritance, a petri-net based approach