Search For:

Displaying 1-4 out of 4 total
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
Found in: IEEE Transactions on Services Computing
By Natallia Kokash,Farhad Arbab
Issue Date:April 2013
pp. 186-200
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of service-oriented computing. Transactions in this context may require long periods of time to complete and must be managed using nonblock...
Improving Web Service Discovery with Usage Data
Found in: IEEE Software
By Aliaksandr Birukou, Enrico Blanzieri, Vincenzo D'Andrea, Paolo Giorgini, Natallia Kokash
Issue Date:November 2007
pp. 47-54
Web service discovery is a difficult and challenging activity that makes the development of service-based applications a time-consuming and still not widely practiced process. Descriptions of publicly available services are scarce and their quality isn't g...
Applying Reo to service coordination in long-running business transactions
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By Farhad Arbab, Natallia Kokash
Issue Date:March 2009
pp. 1-5
This paper presents an approach to formal modeling of long-running business transactions. Our solution is based on the channel-based exogenous coordination language Reo, which is an expressive, compositional and semantically precise design language that ad...
IC-service: a service-oriented approach to the development of recommendation systems
Found in: Proceedings of the 2007 ACM symposium on Applied computing (SAC '07)
By Alessio Modena, Aliaksandr Birukou, Enrico Blanzieri, Natallia Kokash, Paolo Giorgini, Vincenzo D'Andrea
Issue Date:March 2007
pp. 1683-1688
Recommendation systems have proven to be useful in various application domains. However, current solutions are usually ad-hoc systems which are tightly-coupled with the application domain. We present the IC-Service, a recommendation service that can be inc...