Behavioral Verification of Service Component Architecture.
Wael CharguiTaoufik Sakka RouisMourad KmimechMohamed Tahar BhiriLayth SlimanBadran RaddaouiPublished in: WETICE (2017)
Keyphrases
- management system
- service architecture
- loosely coupled
- service oriented
- reference architecture
- enterprise systems
- web services
- middleware architecture
- configuration management
- service management
- face verification
- real time
- application level
- service platform
- virtual organization
- protocol specification
- loose coupling
- service providers
- network services
- grid services
- formal verification
- customer service
- object model
- composite services
- software architecture
- service composition
- multi agent systems
- distributed multimedia
- service oriented architecture