Enriching OSGi Service Interfaces with Formal Sequential Contracts.
Marco MüllerMoritz BalzMichael GoedickePublished in: Software Engineering (Workshops) (2011)
Keyphrases
- service discovery
- service platform
- service oriented architecture
- web services
- supply chain
- user interface
- service providers
- data sets
- service quality
- service oriented
- human computer interaction
- formal model
- management system
- application development
- mobile services
- formal methods
- loosely coupled
- mathematical theory
- information services
- service composition
- open source
- end users
- customer service
- database