Keyphrases
- formal specification
- software components
- model checking
- specification language
- specification languages
- object oriented design
- web services
- formal methods
- data abstraction
- service oriented
- service discovery
- process algebra
- reverse engineering
- service providers
- concurrent systems
- d objects
- software systems
- digital objects
- building blocks
- lightweight
- object oriented
- e learning
- business rules
- service composition
- service selection
- grid workflow