Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.
Nabil HameurlainPublished in: SEFM (2007)
Keyphrases
- formal specification
- software components
- object oriented design
- model checking
- protocol specification
- specification language
- specification languages
- reverse engineering
- formal methods
- process algebra
- concurrent systems
- data abstraction
- communication protocols
- formal specification language
- database
- business rules
- real world
- communication networks
- high level
- web services
- databases