enter search term and/or author name
Synthesizing hierarchical state machines from expressive scenario descriptions
Jon Whittle, Praveen K. Jayaraman
Article No.: 8
There are many examples in the literature of algorithms for synthesizing state machines from scenario-based models. The motivation for these is to automate the transition from scenario-based requirements to early behavioral design models. To date,...
Partial constraint checking for context consistency in pervasive computing
Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Article No.: 9
Pervasive computing environments typically change frequently in terms of available resources and their properties. Applications in pervasive computing use contexts to capture these changes and adapt their behaviors accordingly. However, contexts...
Design and implementation of Sator: A web service aggregator
Antonio Brogi, Razvan Popescu, Matteo Tanca
Article No.: 10
Our long-term objective is to develop a general methodology for deploying (Web) service aggregation and adaptation middleware, capable of suitably overcoming syntactic and behavioral mismatches in view of application integration within and across...