Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications.
Mohamed HiliaAbdelghani ChibaniKarim DjouaniPublished in: ANT/SEIT (2013)
Keyphrases
- formal specification
- ambient assisted living
- model checking
- concurrent systems
- formal methods
- ambient intelligence
- temporal logic
- protocol specification
- process algebra
- grid workflow
- formal verification
- independent living
- reverse engineering
- daily activities
- service oriented
- smart environments
- smart home
- database
- pervasive computing
- machine learning
- human activities
- mobile agents
- artificial intelligence