Towards a Formal Verification Approach for Service Component Architecture.
Wael CharguiTaoufik Sakka RouisMourad KmimechMohamed Tahar BhiriLayth SlimanBadran RaddaouiPublished in: SoMeT (2017)
Keyphrases
- formal verification
- model checking
- management system
- service architecture
- loosely coupled
- model checker
- client server architecture
- bounded model checking
- symbolic model checking
- automated verification
- software architecture
- ubiquitous environment
- service providers
- grid services
- network services
- service management
- reference architecture
- application level
- real time
- enterprise systems
- configuration management
- program slicing
- service composition
- information services
- orders of magnitude
- open source
- web services