Context-awareness in CCML based web service composition.
Zhiqing ChenXiuguo ZhangNing ZhouJiatong LiPublished in: SoCPaR (2011)
Keyphrases
- context awareness
- service composition
- asynchronous communication
- process algebra
- context aware
- ambient intelligence
- ubiquitous computing
- control flow
- operational semantics
- context modeling
- model checking
- web service composition
- formal model
- context sensitive
- service oriented
- web services
- human computer interaction
- formal specification
- wearable computing
- pervasive computing
- asynchronous circuits
- petri net
- concurrent systems
- computing environments
- context aware computing
- service discovery
- human centric
- communication protocols
- ubiquitous computing environments
- current context
- context aware systems
- data flow
- smart home
- mobile devices
- formal methods
- temporal logic
- artificial intelligence
- intelligent user interfaces
- software testing
- service oriented architecture
- process model
- response time
- fuzzy logic
- computer vision