High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
: Business processes are increasingly controlled by IT-systems automatically, but they still consist of many tasks that have to be performed by people. Despite an appropriate IT-in...
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...
As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promis...
Zhiming Wang, John A. Miller, Jessica C. Kissinger...
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...