Formal specification of CORBA services: experience and lessons learned.
Rémi BastidePhilippe A. PalanqueOusmane SyDavid NavarrePublished in: OOPSLA (2000)
Keyphrases
- lessons learned
- formal specification
- software components
- specification language
- specification languages
- object oriented design
- future directions
- model checking
- web services
- case study
- service oriented
- concurrent systems
- process algebra
- building blocks
- data abstraction
- service discovery
- software systems
- reverse engineering
- software development
- service composition
- formal methods
- participatory design
- lightweight
- business rules
- high level
- data sets
- grid workflow
- formal specification language
- grounded theory
- description language
- temporal logic
- distributed systems
- object oriented
- cooperative
- databases